Course Description
Modal logic, epistemic logic, temporal logic, conditional logic, nonmontonic logic, the problem of induction, and the logic of belief revision.
Athena Title
SEMINAR IN LOGIC
Prerequisite
PHIL(LING) 4510/6510 or permission of department
Semester Course Offered
Offered spring
Grading System
A - F (Traditional)
Course Objectives
Students will be expected to be able to prove basic lemmas for the theorems proved in the course.
Topical Outline
There is no set topic for this course. Any advanced topic in logic may be covered, for example: I. Modal logic II. Epistemic logic III. Temporal logic IV. Conditional logic V. Nonmonotonic logic VI. Logic of belief revision.