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. Draft syllabus available at http://bit.ly/phil220