PHIL 315
Topics in Applied Logic
Please note: this is archived course information from 2020 for PHIL 315.
Description
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.
Availability 2020
Semester 2
Lecturer(s)
Coordinator(s) Dr Jeremy Seligman
Recommended Reading
van Benthem, J. Modal Logic for Open Minds (2010). CSLI Press. ISBN 9781575865980
Assessment
Coursework and exam
Points
PHIL 315: 15 points
Prerequisites
15 points from PHIL 222, 216 or 266