Faculty of Arts

PHIL 315

Topics in Applied Logic


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 2019

Semester 2




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


Coursework only


PHIL 315: 15.0 points


15 points from PHIL 222, 216 or 266

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