PHIL 3395 MODAL LOGIC

Jim Garson Office: AH 502, Phone: x3208, Office Hours: MWF 10-11 and by appt.

email: jgarson@uh.edu

Books:

The course will be based on my book: Modal Logic for Philosophers

Corrections to the book are found at: http://www.class.uh.edu/PHIL/GARSON/MLPErrata.pdf

Other accessible books on modal logic include:

B. Chellas, Modal Logic, Cambridge, 1980.

A well thought out book with a technical outlook.

G. Hughes & M. Cresswell, An Introduction to Modal Logic, Methuen, 1968.

A classic. Somewhat dated, but comprehensive.

G. Hughes and M. Cresswell, A Companion to Modal Logic, Methuen, 1984.

Brings their previous book up to date.

K. Konyndyk, Introductory Modal Logic, Notre Dame, 1986.

A gentle introduction with philosophical topics.

Course Schedule (This is conservative estimate. I hope to cover more before the Midterm)

Aug. 22 - 29 1. The System K: A Basic Modal Logic

Aug. 29 - Sep. 7 2. Extensions of K

Sep. 10 -14 3. Basic Concepts of Intensional Semantics

Sep. 17 - 21 4. Trees for K

Sep. 24 - 28 5. The Accessibility Relation

Oct. 1 - 8 6. Trees for Extensions of K

Oct. 10 - 12 REVIEW

Oct. 15 MIDTERM EXAM

Oct. 17 - 24 7. Converting Trees to Proofs

Oct. 26 - Nov. 2 8. The Adequacy of Propositional Modal Logics

Nov. 5 - 12 9. Completeness Using Canonical Models

Nov. 14 - 26 10. - 11. General Results

Nov. 28 - 30 REVIEW OF THE COURSE

Dec 12 2-5pm FINAL

At the beginning of each class, I will assign the reading and exercises for the following classes. Completing exercises in a timely way is crucial for success in this course. You are expected to turn in the exercises on the day they are due. Please get in touch with me if you have to miss a class, so that you can complete, and turn in, the work you have missed on the day you return. There will be a midterm, two short ≥pop≤ quizzes, one before and one after the midterm, and a final. Your grade will be determined as follows:

Exercises: 30%, Two pop quizzes @ 10% each: 20% Midterm Exam: 20%, Final: 30% .