Faculty of Arts


PHIL 305

Advanced Logic


Description

The techniques and philosophical significance of modern logical theory, including some model theory, proof theory, set theory and recursion theory. The main objective is to provide a level of understanding of these topics sufficient for an appreciation of Godel’s celebrated proof of the incompleteness of arithmetic.

Availability 2016

Semester 1

Lecturer(s)

Lecturer(s) Dr Jeremy Seligman

Assessment

Coursework only

Points

PHIL 305: 15.0 points

Prerequisites

PHIL 222


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