PHIL 2010 Symbolic Logic I (3)

Also offered as LING 2010 . Classical propositional and first-order predicate logic; syntax and semantics of formal languages; translation between formal languages and English; formal methods of proof.