PHIL 4500: Advanced Logic (3)
Lecture: 3, Lab: 0, Other: 0
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. Pre-requisite: PHIL 1001, HIST 2370 or PHIL 2200