PHIL 305
Advanced Logic
Please note: this is archived course information from 2018 for PHIL 305.
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 2018
Not taught in 2018
Lecturer(s)
Lecturer(s) Dr Jeremy Seligman
Assessment
Coursework only
Points
PHIL 305: 15 points
Prerequisites
PHIL 222