PHIL 341 Formal Logic II

Prerequisite: PHIL 340. 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.