PHIL 216
Modal Logic
Please note: this is archived course information from 2018 for PHIL 216.
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 2018
Semester 1
Lecturer(s)
Coordinator(s) Dr Andrew Withy
Recommended Reading
Graham Priest, An Introduction to No?n-Classical Logic, available online.
Points
PHIL 216: 15 points
Prerequisites
PHIL 101