MATH 3850

Last Updated

  • Schedule of Classes - January 8, 2020 7:14PM EST
  • Course Catalog - January 8, 2020 7:15PM EST

MATH 3850
Modal Logic

Course information provided by the Courses of Study 2019-2020.

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. 

View Enrollment Information

Syllabi:

  •   Regular Academic Session.  Combined with: PHIL 3340

  • 4 Credits Stdnt Opt

  • 18104 MATH 3850   SEM 101

  •