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 |