Nov 23, 2024  
2024-2025 Undergraduate Catalog 
    
2024-2025 Undergraduate Catalog

PHIL 4500 - Advanced Logic


A study of the syntax and semantics of modern propositional logic and first order quantification theory. This course will also survey some of the meta-mathematical results, including Godel’s completeness and incompleteness theorems.

Prerequisite/Corequisite:
Prerequisite: PHIL 2010 or PHIL 2200

Hours:
3