Faculty of Arts

PHIL 305

Advanced Logic


Continuing the sequence from PHIL 101 (Introduction to Logic) and PHIL 222 (Intermediate Logic) this course introduces the study of logic from a theoretical perspective. Systems of deduction, theories and models are introduced as objects of study, together with techniques for reasoning about them. In particular, we will be concerned with soundness, consistency, completeness, canonicity, decidability and axiomatisation. The latter two topics will involve the study of some topics in the theory of computation, such as Turing machines and recursive functions. The culmination of the course is a discussion of Godel’s Incompleteness Theorems.

Availability 2012

Semester 1


Coordinator(s) Professor Fred Kroon
Dr Jeremy Seligman


Coursework only


PHIL 305: 15.0 points


30 points from PHIL 222, PHIL 216, COMPSCI 225, MATHS 255

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