Faculty of Arts

PHIL 216

Modal Logic

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


The system of logic studied in most introductory courses (including PHIL 101) is known as classical logic. It is the standard system of logic, designed to apply widely to all branches of knowledge. Despite its orthodox status and foundational role, many of the most interesting developments in logic, especially in philosophy, have concerned modal and non-classical logics. These are logical systems that are intended to supplement or replace classical logic. This course introduces these systems and shows how they can be applied to philosophically important concepts such as necessity, time, knowledge, vagueness, action and obligation. Applications in Computer Science might also be considered.

Availability 2017

Semester 1



Recommended Reading

Rod Girle, Modal Logics and Philosophy, 1st or 2nd ed. (Montreal and Kingston: McGill-Queen's University Press, 2009)


PHIL 216: 15.0 points


PHIL 101

Contact details | Search | Accessibility | Copyright | Privacy | Disclaimer | 1