Prerequisites: PHIL 124 or consent of instructor
Description: The basic metatheory of first-order logic; with an emphasis on the precise relation between its syntax (formulas, rules of inference, and proofs) and semantics (interpretations, truth, validity), leading to the soundness and completeness theorems.