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, and deduction rules for sentential and predicate logic. This course is introductory and assumes no prior familiarity with formal logic and requires no special aptitude in math.

Course outlines [1]