PHIL 341 Formal Logic II

Topics include inference rules for first order logic, logical metatheory (including proofs of the soundness and completeness of a first order predicate calculus), identity and terms, and formalized theories.