|
Mar 29, 2024
|
|
|
|
2014-2015 University Catalog [ARCHIVED CATALOG]
|
PHIL 55000 - Advanced Symbolic Logic Credit Hours: 3.00. 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 58500 should not take this course; PHIL 65000 is more appropriate. Typically offered Spring.
|
|