PHIL 222
Intermediate Logic
Description
Natural deduction for propositional and predicate logic; introductory metalogic and related topics in formal logic.
For full course information see the Digital Course Outline.
Digital Course Outlines will be refreshed around November/December.
Availability 2025
Semester 2
Lecturer(s)
TBA
Reading/Texts
A pdf of the textbook for the course will be supplied.
Assessment
Coursework and exam
Points
PHIL 222: 15 points
Prerequisites
PHIL 101
Restrictions
PHIL 201