University of Calgary

PHIL 379 - Logic II - Winter 2019

user warning: Field 'wid' doesn't have a default value query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'access denied', 'profiles/1-4998588/images/css/screen.css', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/1-4998588/images/css/screen.css', 'http://phil.ucalgary.ca/manageprofile/profiles/1-4998588/images/css/screen.css', '136.159.190.101', 1715939908) in /mnt/web/drupal5-wcm/includes/database.mysql.inc on line 174.
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 2019.
top
Powered by UNITIS. More features.