Introduction to the metatheory of logical systems. Completeness, compactness, Lowenheim-Skolem, and undecidability theorems for first-order logic. Preview of non-standard models, second-order logic, and Godel's first incompleteness theorem.
This course may not be repeated for credit.
Prerequisite(s)
- Philosophy 279 or 377 or consent of the Department.
Sections
This course will be offered next in
Winter 2014.