PHIL 220 - Symbolic Logic II

3 units (fi 6)(EITHER, 3-0-0)

Faculty of Arts

A brief review of sentential logic followed by an intensive study of predicate logic with identity. Topics include translation, semantics, decision procedures, natural deduction systems, mathematical induction. Other topics include: theories of definite descriptions, elementary modal logic, formal axiomatic systems. Prerequisite: PHIL 120 or consent of Department.

Winter Term 2026

Lectures

Section Capacity Class times Login to view Instructor(s) and Location
LECTURE B1
(88077)
Download syllabus
55
2026-01-05 - 2026-04-10 (MWF)
15:00 - 15:50