i Please note:
To view the current calendar, go to
Axiomatic Logic PHIL 310 (3)
This course studies the metatheory of axiomatic propositional and quantificational logic. Topics include proof theory, the metatheory of propositional logic, the proof theory of first-order logic, first-order models, soundness and completeness. Prerequisite: One of PHIL 210, MACM 101, MATH 144, CMPT 205. Students with credit for PHIL 214 may not take this course for further credit. Quantitative.