PHIL 305
Advanced Logic
Please note: this is archived course information from 2012 for PHIL 305.
Description
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
Lecturer(s)
Coordinator(s) Professor Fred Kroon
Dr Jeremy Seligman
Assessment
Coursework only
Points
PHIL 305: 15 points
Prerequisites
30 points from PHIL 222, PHIL 216, COMPSCI 225, MATHS 255