PHIL 0103 - Symbolic Logic I


Credits: 3

An introduction to standard, first-order propositional calculus and natural deduction. Topics include: identifying and classifying inference as emotive, inductive, or deductive; judging inference as tautologous, contingent, or contradictory; distinguishing between the truth of statements and the validity of arguments; identifying valid argument forms and substitution rules; evaluating truth-functions using natural deduction; evaluating arguments using alternative truth table techniques; forcing, direct proof, indirect proof, conditional proof, and the strengthened rule of conditional proof.



Print-Friendly Page (opens a new window)