Seminar, four hours. Topics may include logic of sense and denotation, modal logic, logic of demonstratives, epistemic logic, intensional logic of "Principia Mathematica," possible worlds semantics. May be repeated for credit with consent of instructor. S/U or letter grading.