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