An introduction to formal (sentential and quantifier) logic. Students will learn to translate natural-language arguments into formal systems and evaluate their logical forms for validity. Emphasis on translation from natural language; truth tables and interpretations; proof systems up to relational predicate logic with identity. Also introductory metalogic, including proofs of soundness and completeness. This is a hybrid section, with synchronous online lectures and in-person exams. PHIL 220-006 is the same course material in a fully in-person format.
Syllabus: http://bit.ly/phil220