Faculty of Arts

PHIL 315

Topics in Applied Logic

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


This course builds on Stage 2 logic courses, and introduces students to topics such as epistemic logic (the logic of knowledge and belief, including the logic of belief change), temporal logic (the logic of time) and dynamic logic (the logic of change).  Studying these logics will help students to understand philosophically important concepts such as knowledge, time and change. Applications in computer science will also be considered.

Availability 2012

Semester 2


Coordinator(s) Dr Patrick Girard


Coursework only


PHIL 315: 15.0 points


PHIL 222 and either COMPSCI 225 or PHIL 216

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