Mar 29, 2024  
2014-2015 University Catalog 
    
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.