University of Calgary

PHIL 379 - Logic II - Winter 2013

  • 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-4191080/images/images/crest.png', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/1-4191080/images/images/crest.png', 'http://phil.ucalgary.ca/profiles/1-4191080/images/images/crest.png', '136.159.190.101', 1716056204) in /mnt/web/drupal5-wcm/includes/database.mysql.inc on line 174.
  • 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-4191080/js/js/lib/jquery-1.10.2.min.js', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/1-4191080/js/js/lib/jquery-1.10.2.min.js', 'http://phil.ucalgary.ca/profiles/1-4191080/js/js/lib/jquery-1.10.2.min.js', '136.159.190.101', 1716056205) in /mnt/web/drupal5-wcm/includes/database.mysql.inc on line 174.
  • 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-7050036/js/lib/js/lib/jquery.placeholder.js', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/1-7050036/js/lib/js/lib/jquery.placeholder.js', 'http://phil.ucalgary.ca/manageprofile/profiles/1-7050036/js/lib/js/lib/jquery.placeholder.js', '136.159.190.101', 1716056207) in /mnt/web/drupal5-wcm/includes/database.mysql.inc on line 174.
  • 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-8508589/images/images/crest.png', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/1-8508589/images/images/crest.png', 'http://phil.ucalgary.ca/manageprofile/profiles/1-8508589/images/images/crest.png', '136.159.190.101', 1716056208) 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 2013.
top
Powered by UNITIS. More features.