PHIL 303
Introduction to Symbolic Logic
An introduction to formal logic with emphasis on truth-functional languages and monadic predicate logic with identity. The course will cover the metatheory of truth-functional logic in detail, and also basic concepts of the proof theory and model theory for first-order languages.
Prerequisites & course information
(4; 3 - 4 in the half-term). (MSA). (BS). (QR/1). May not be repeated for credit. No credit granted to those who have completed or are enrolled in PHIL 296 or 414. F, W, Sp.
Sources
- Course catalogue ↗2026-2027