Legacy Course Catalog

PHIL 550 - Advanced Symbolic Logic

Effectivity: 08/20/2001 - 05/10/2003 @ Purdue West Lafayette Traditional
Credits: 3
Instructional Types: Lec
Usually Offered: spr
Short Title: Adv Symbolic Logic
Description: A study of the properties of formal systems, including consistency and completeness theorems for the propositional calculus, the first order predicate calculus, and/or various modal logics, as well as a brief consideration of Gdel's incompleteness theorem.
School: College Of Liberal Arts
Department: Philosophy
Credit By Exam: NO
Repeatable Flag: YES
Max Repeatable Credits: 6.00
Temporary Flag: NO
Full Time Privilege Flag: NO
Honors Flag: NO
Variable Title Flag: NO

Fall 2007 *** indicates the course was still an active course and was transferred to the Banner Catalog effective Spring 2008. This course was not expired Fall 2007.

Purdue University, 610 Purdue Mall, West Lafayette, IN 47907, (765) 494-4600

2018 Purdue University | An equal access/equal opportunity university | Copyright Complaints | Maintained by Office of Registrar

Need accessibility help? For help with this page, contact Office of the Registrar at registrar@purdue.edu.