Button Menu
PHIL 351

Advanced Logic

Techniques of proof in sentential logic, predicate calculus and predicate calculus with identity. Introduction of metalogical issues of consistency, completeness and Godel incompleteness. Topics in philosophical logic such as modal, tense and epistemic logics. Prerequisite: PHIL 251 or permission of instructor.

Distribution Area Prerequisites Credits
PHIL 251 or permission of instructor. 1 course