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.
