PHIL 3340

Last Updated

  • Schedule of Classes - January 11, 2024 7:32PM EST
  • Course Catalog - January 11, 2024 7:07PM EST

PHIL 3340
Modal Logic

Course information provided by the Courses of Study 2023-2024. Courses of Study 2023-2024 is scheduled to publish mid-June.

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. 

When Offered Fall.

Prerequisites/Corequisites Prerequisite: at least one prior course in philosophy, preferably in logic.

Distribution Category (MQR-AS, SMR-AS)

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: MATH 3850, PHIL 6311

  • 3 Credits Stdnt Opt

  • 17476 PHIL 3340   SEM 101

  •  
    • TR Morrill Hall 111
    • Aug 21 - Dec 4, 2023

    • Kocurek, A

  • Instruction Mode: In Person