PHIL 0103 - Symbolic Logic I

Credits: 3

An introduction to standard, first-order propositional calculus and natural deduction. Topics to 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.

Catalog

WHAT PATH WILL YOU TAKE?

Westfield State University

PHIL 0103 - Symbolic Logic I