PHIL 216

Modal Logic

Please note: this is archived course information from 2022 for PHIL 216.


An introduction to modal logic, which is a variation of the system of predicate logic studied in PHIL 101. Modal logic is well-suited for studying philosophically important concepts such as necessity, time, knowledge, vagueness, action and obligation. It is also used in computer science for studying the behaviour of programs and is recommended as preparation for studying logic at Stage III.

For full course information see the Digital Course Outline for PHIL 216.

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.

Availability 2022

Not taught in 2022




An Introduction to Non-Classical Logic: From If to Is - Graham Priest, Cambridge University Press, 2008. 


Coursework plus Exam


PHIL 216: 15 points


PHIL 101