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.
|PHIL 251 or permission of instructor.||1 course|