This course introduces the basic principles and techniques of analyzing arguments formally. Topics to be covered include: translating natural language arguments into symbolic notation; testing validity using truth tables and interpretations; deduction rules for sentential and predicate logic. This is an introductory course that assumes no prior familiarity with formal logic.

Course Outline [1]