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.
PHIL
405
 Hours3.0 Credit, 3.0 Lecture, 0.0 Lab
 PrerequisitesPhil 305.
 RecommendedPhil 300 or equivalent.
 TaughtFall, Winter
 ProgramsContaining PHIL 405
Course Outcomes

History

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.