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.

View the course syllabus

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