PHIL 222

Intermediate Logic

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 for 2026 will be refreshed around November/December.

Semester 2

A pdf of the textbook for the course will be supplied.

Coursework and exam

PHIL 222: 15 points

PHIL 101

PHIL 201