- Schedule of Classes - January 8, 2020 7:14PM EST
- Course Catalog - January 8, 2020 7:15PM EST
Course information provided by the Courses of Study 2019-2020.
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 Fall.
Prerequisites/Corequisites Prerequisite: PHIL 2310, MATH 2810/PHIL 3310, MATH 3840/PHIL 3300, or permission of instructor.
Distribution Category (MQR-AS)
Regular Academic Session. Combined with: PHIL 4311
Credits and Grading Basis
4 Credits Stdnt Opt(Letter or S/U grades)
Topic: Weakenings of Standard Classical 1st-Order Logic
Class Number & Section Details
- TRUris Hall G26
Fall 2019: Weakenings of standard classical 1st-order logic, with special attention to standard intuitionistic 1st-order logic, and (probably) some attention to others (free logics, 3-valued logics, maybe relevant logics). From proof-theoretic, model-theoretic, and perhaps algebraic, viewpoints, but we might digress into higher-order logics.
Disabled for this roster.