Description: Prerequi- site(s): PHIL 124 or consent of instructor. 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 (interpreta- tions, truth, validity), leading to the soundness and completeness theorems.