Faculty of Arts
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.
PHIL 305: 15.0 points
30 points from PHIL 222, PHIL 216, COMPSCI 225, MATHS 255