University of Calgary

PHIL 677 - Metalogic - Fall 2020

Introduction to the metatheory of logical systems. Completeness, compactness, Loewenheim-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.


  • H(3-0)


This course will be offered next in Winter 2021.
Powered by UNITIS. More features.