PHIL 204

Introduction to Symbolic Logic

4 Undergraduate credits
Effective August 24, 2002 – Present

Graduation requirements this course fulfills

Symbolic logic uses formal methods in order to study the properties of arguments in a precise and rigorous manner. In this course, we learn about both the propositional calculus, which deals with the logical relations that hold among whole propositions, and the predicate calculus, a system which allows more precise analysis of linguistic structure. The course will focus on both translation of natural languages into symbolic form, and proofs using natural deduction.

Learning outcomes


  • Evaluate arguments given in a natural language
  • Translate natural language into the propositional calculus
  • Translate natural language into the predicate calculus
  • Construct proofs in a system of natural deduction
  • Transfer these reasoning skills to life as a student and citizen