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