PHIL 4311

Last Updated

  • Schedule of Classes - June 19, 2018 12:09PM EDT
  • Course Catalog - March 23, 2018 2:31PM EDT

PHIL 4311
Topics in Logic and the Foundations of Mathematics

Course information provided by the 2017-2018 Catalog.

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.


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

Distribution Category (MQR-AS)

When Offered Spring.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: MATH 4820, PHIL 6310

  • 4 Credits Stdnt Opt

  • Topic: Intensional Logics

  • 16066 PHIL 4311   SEM 101

  •  

  • Instruction Mode: In Person