PHIL 315

Topics in Applied Logic

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

Description

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

Lecturer(s)

Coordinator(s) Dr Patrick Girard

Assessment

Coursework only

Points

PHIL 315: 15 points

Prerequisites

PHIL 222 and either COMPSCI 225 or PHIL 216