Legacy Course Catalog
PHIL 550 - Advanced Symbolic Logic
| Effectivity: | 05/19/2003 - Fall 2007 *** @ 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 various modal logics, as well as a brief consideration of Godel's incompleteness theorem. Students who have taken MA 585 should not take this course; PHIL 650 is more appropriate. |
| 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.
