University of Calgary

PHIL 379 - Logic II - Fall 2014

  • 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-8491886/js/lib/js/lib/respond.min.js', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/1-8491886/js/lib/js/lib/respond.min.js', '', '136.159.190.101', 1716004611) 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/215-28356/js/lib/js/script.js', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/215-28356/js/lib/js/script.js?v=2', '', '136.159.190.101', 1716004611) 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-5956434/js/css/screen.css', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/1-5956434/js/css/screen.css', '', '136.159.190.101', 1716004612) 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/215-28305/js/lib/css/screen.css', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/215-28305/js/lib/css/screen.css', '', '136.159.190.101', 1716004612) 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-5956434/js/images/crest.png', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/1-5956434/js/images/crest.png', '', '136.159.190.101', 1716004612) 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/215-28312/js/js/lib/respond.min.js', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/215-28312/js/js/lib/respond.min.js', '', '136.159.190.101', 1716004613) 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-4116193/js/js/script.js', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/1-4116193/js/js/script.js?v=2', 'http://phil.ucalgary.ca/profiles/1-4116193/js/js/script.js?v=2', '136.159.190.101', 1716004613) 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-6007682/js/lib/js/lib/jquery.placeholder.js', 1, '', 'https://phil.ucalgary.ca/manageprofile/profiles/1-6007682/js/lib/js/lib/jquery.placeholder.js', 'http://phil.ucalgary.ca/manageprofile/profiles/1-6007682/js/lib/js/lib/jquery.placeholder.js', '136.159.190.101', 1716004614) 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 Winter 2015.
top
Powered by UNITIS. More features.