Faculty of Arts


PHIL 315

Topics in Applied Logic


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.

View the course syllabus

Availability 2018

Semester 2

Lecturer(s)

Coordinator(s) Dr Jeremy Seligman

Reading/Texts

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

Assessment

50% coursework
50% exam

Points

PHIL 315: 15.0 points

Prerequisites

15 points from PHIL 222, 216 or 266


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