PHIL 405
Advanced Logic and Metalogic
Philosophy
College of Humanities
Course Description
Completeness, soundness, and undecidability of first-order logic; incompleteness of arithmetic; treatment of related philosophical topics and of nonclassical topics as time permits.
When Taught
Winter
Grade Rule
Grade Rule 8: A, B, C, D, E, I (Standard grade rule)
Min
3
Fixed
3
Fixed
3
Fixed
0
Recommended
Phil 300 or equivalent
Title
History
Learning Outcome
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.
Title
Figures and Topics
Learning Outcome
Formulate and evaluate the philosophical ramifications of these theorems.
