This unit introduces students to semantic and proof-theoretic methods of formal logic including the predicate calculus and its meta-theory. Students learn how to prove important meta-theoretical results, and become familiar with Godel's incompleteness theorems. The unit also covers propositional modal logic. Students who complete this unit expand the range of natural language sentences they can translate into logic, and acquire a familiarity with modal logic and meta-theoretical results, both of which are essential for understanding a great deal of contemporary philosophy. -- Course Website
Instructor: Reverend Richard Borthwick
Prerequisites: PHIL2205 Introduction to Logic or PHIL2002 Logic
