Advanced Logic and Metalogic

Advanced Logic and Metalogic
Completeness, soundness, and undecidability of first-order logic; incompleteness of arithmetic; treatment of related philosophical topics and of nonclassical topics as time permits.
 Hours3.0 Credit, 3.0 Lecture, 0.0 Lab
 PrerequisitesPhil 305.
 RecommendedPhil 300 or equivalent.
 TaughtFall, Winter
 ProgramsContaining PHIL 405
Course Outcomes


Prove and understand the completeness and consistency of first-order logic as well as the Solem-Löwenheim theorem, Gödel incompleteness, Church's undecidability theorem, etc.

Figures and Topics

Formulate and evaluate the philosophical ramifications of these theorems.