Description:
This course is an introduction to the formal analysis of deductive reasoning using symbolic language. You will learn how to translate various types of written arguments into logical notation and how to evaluate the validity of these arguments using a variety of methods (e.g. truth tables, natural deduction, truth trees). The skills learned in this class will strengthen your analytic reasoning ability, which is applicable in fields such as law, mathematics, computer science, and philosophy. These skills are also transferable to the analytic reasoning portions of graduate and professional school entrance examinations.

Topical Outline:
1. Orientation to Logical Concepts (e.g. arguments, validity, and soundness)
2. Deductive Argument Types (Propositional and Predicate Arguments)
3. Evaluation Methods (e.g. Truth Tables, Truth Trees, Natural Deduction/Proofs)

Learning Outcomes:
1. Identify and explain key terms and concepts
2. Translate natural language arguments into propositional and predicate logic notation
3. Assess the formal validity of arguments using a variety of methods (e.g. truth tables, natural deduction/proofs, truth trees)