MATH 4820

MATH 4820

Course information provided by the Courses of Study 2017-2018.

After reviewing some material on standard logics (classical and intuitionistic), and covering Tarskian consequence relations, we will focus on logics for monadic operators (especially for necessity and possibility, for which the logics are called modal).  Time permitting, we will also consider dyadic operators (especially conditionals). Logics will be considered proof-theoretically and model-theoretically. A background in logic is required.

When Offered Spring.

Prerequisites/Corequisites Prerequisite: PHIL 2310, MATH 2810/PHIL 3310, MATH 3840/PHIL 3300, or permission of instructor.

Distribution Category (MQR-AS)

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: PHIL 4311PHIL 6310

  • 4 Credits Stdnt Opt

  • Topic: Intensional Logics

  • 16067 MATH 4820   SEM 101