| Course ID: | PHIL 8500. 3 hours. Repeatable for maximum 9 hours credit. |
| Course Title: | Seminar in Problems of Logic |
Course
Description: | 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 |
Semester Course
Offered: | Offered spring semester every year. |
| 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. |