May 25, 2024  
2022-2023 Undergraduate Catalog 
    
2022-2023 Undergraduate Catalog [Archived 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