

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:  AF (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. 