University of Calgary
UofC Navigation

PHIL 379 - Logic II - Winter 2010

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.

Hours

  • H(3-0)

Prerequisite(s)

  • Philosophy 279 or 377 or consent of the Department

Sections

This course will be offered next in Fall 2010.
Powered by UNITIS. More features.
Connect with Us Twitter Facebook LinkedIn