Natural deduction for propositional and predicate logic; introductory metalogic and related topics in formal logic.
For full course information see the Digital Course Outline for PHIL 222.
Digital Course Outlines are refreshed in November for the following year. Digital Course Outlines for courses to be offered for the first time may be published slightly later.
Coordinator(s) Dr Jeremy Seligman
A pdf of the textbook for the course will be supplied.
Coursework and exam
PHIL 222: 15 points