Advanced Deductive Logic

Catalog description

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.