Courses of Study 2019-2020 
    Jun 13, 2024  
Courses of Study 2019-2020 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

PHIL 3340 - Modal Logic

Fall. 4 credits. Student option grading.

Prerequisite: At least one prior course in philosophy, preferably in logic.

A. Kocurek.

Modal logic is a general logical framework for systematizing reasoning about qualified and relativized truth. It has been used to study the logic of possibility, time, knowledge, obligation, provability, and much more. This course will explore both the theoretical foundations and the various philosophical applications of modal logic. On the theoretical side, we will cover basic metatheory, including Kripke semantics, soundness and completeness, correspondence theory, and expressive power. On the applied side, we will examine temporal logic, epistemic logic, deontic logic, counterfactuals, two-dimensional logics, and quantified modal logic. 

Add to Favorites (opens a new window)