PHIL478M     Modal Logic
Semester:Fall 2015
Instructor: Eric Pacuit
Room:SKN 1115
Meeting Times:MW 1:00pm - 1:50pm

Modal logic began as the study of different sorts of modalities, or modes of truth: alethic ("it is necessarily true that''), epistemic ("it is known that''), deontic ("it ought to be the case that''), temporal ("it has always been the case that''), among others.  By now, modal logic has become a broad area of research, forming a sort of lingua franca between many disciplines, especially philosophy, computer science, economics, and linguistics.

The course covers core concepts and basic metatheory of propositional modal logic, including relations to first-order logic; the basics of quantified modal logic; and selected   applications of modal logic.  Topics that may be discussed (the final choice of topics may be adapted to fit students' interests) include (dynamic) epistemic/doxastic logic, conditional logic, non-normal modal logics, logics of action and agency, temporal logics, and applications of modal logic in game theory.

Students will come away from this course with a working knowledge of modal logic and its use in philosophy, computer science and game theory. The main objective is that students should be able to confidently apply techniques from modal logic to problems in their area of research.   After completing the course, students will be  able to apply existing modal logics where appropriate and design new logical systems when necessary, and rigorously analyze their properties.