|Course ID:||PHIL 8500. 3 hours. Repeatable for maximum 9 hours credit. |
|Course Title:||Seminar in Problems of Logic|
|Modal logic, epistemic logic, temporal logic, conditional logic, nonmontonic logic, the problem of induction, and the logic of belief revision.|
|Oasis Title:||SEMINAR IN LOGIC|
|Prerequisite:||PHIL(LING) 4510/6510 or permission of department|
|Offered spring semester every year. |
|Grading System:||A-F (Traditional)|
Students will be expected to be able to prove basic lemmas for the theorems proved
in the course.
There is no set topic for this course. Any advanced topic in logic may be covered,
I. Modal logic
II. Epistemic logic
III. Temporal logic
IV. Conditional logic
V. Nonmonotonic logic
VI. Logic of belief revision.