Faculty of Arts


PHIL 216

Modal Logic


Description

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

Lecturer(s)

TBA

Recommended Reading

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

Points

PHIL 216: 15.0 points

Prerequisites

PHIL 101


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