Formal Logic (PHIL*2110)
Code and section: PHIL*2110*01
Term: Winter 2018
Instructor: Karyn Freedman
Details
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.