Faculty of Arts

PHIL 315

Topics in Applied Logic

Please note: this is archived course information from 2018 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.

View the course syllabus

Availability 2018

Semester 2


Coordinator(s) Dr Jeremy Seligman


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


50% coursework
50% exam


PHIL 315: 15.0 points


15 points from PHIL 222, 216 or 266

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