Units: 4
Hours: Lecture, 3, hours; extra reading, 2 hours; term paper, 1 hour
Catalog page 535
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.