Advanced Symbolic Logic (PHIL 456)
Instructor: Keith Simmons. This course meets on Wednesdays from 1:00 – 3:30 p.m. in Caldwell 103.
Modal logic is the study of the logic of possibility and necessity. We will study the major propositional and quantificational modal systems. As time allows, we will also explore philosophical issues concerning the metaphysics and epistemology of modality, modal semantics, and the application of modal logic. (Prerequisite for the course: Phil 455.)
Keith Simmons’s webpage