Modal Logic

Catalog description

Modal logic concerns the logic of necessity and possibility. In this course, we will look at formal systems that have been developed to handle these and related notions. We will cover three topics: propositional modal logic, quantified modal logic, and the logic of counterfactual conditionals. We will discuss philosophical issues, but the main focus of the course will be on the technical material. No official prerequisite. It is strongly recommended that students have taken PHIL 0540 or have a working knowledge of elementary logic.