Courses of Study 2018-2019 
    Aug 10, 2022  
Courses of Study 2018-2019 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

PHIL 4311 - [Topics in Logic and the Foundations of Mathematics]

(crosslisted) MATH 4820  

Spring. Next Offered: 2020-2021. 4 credits. Student option grading.

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

H. Hodes.

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.

Topic:  Intensional Logics

Add to Favorites (opens a new window)