Advanced Deductive Logic

PHIL 1880 S01 [CRN: 24374]

This course provides an introduction to the metatheory of first-order logic. We will prove the completeness of first-order logic. We then move on to the major "limitative" results, including the undecidability of first-order logic, the Gödel incompleteness theorems, and the undefinability in arithmetic of arithmetical truth. Prerequisite: PHIL 0540 or instructor's permission.
Term
Spring 2018
Credit Hours
1
Maximum Enrollment
999
Primary Instructor
Meetings
12:00 - 12:50 Mon, Wed, Fri - from Jan 24, 2018 to May 18, 2018
Exam Group Code
05