Faculty of Arts

PHIL 315

Topics in Applied Logic

Please note: this is archived course information from 2021 for PHIL 315.


This course is an introduction to applications of logic in philosophy. The goal is to gain experience of the process of applying logical methods to the analysis of problems that are difficult to think about, rather than the acquisition of a body of theory.

We will study three or four topics, time permitting, in each case looking at some philosophically motivated problem and a range of logical techniques that have been used to study it. On the way, you will also pick up some logical theory, especially related to modal logic: Kripke semantics, truth trees for modal logic, axiomatisation, the relationship to (second-order) predicate logic and certain model-theoretic concepts such as bisimulation.


Coursework + exam

Availability 2021

Semester 2


Coordinator(s) Dr Jeremy Seligman

Recommended Reading

van Benthem, J. Modal Logic for Open Minds (2010). CSLI Press. ISBN 9781575865980


Coursework and exam


PHIL 315: 15.0 points


15 points from PHIL 222, 216 or 266

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