Lecture, four hours; discussion, one hour. Enforced requisite: course 31. Possible topics include formal theories, definitions, alternative theories of descriptions, many-valued logics, deviant logics. May be repeated for credit with consent of instructor. P/NP or letter grading.