Courses of Study 2013-2014 
    
    Oct 07, 2022  
Courses of Study 2013-2014 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

PHIL 3320 - [Logic for Philosophy]


(KCM-AS)
Fall or spring. 4 credits.

Prerequisite: One of the following: PHIL 2310 , MATH 2210 , MATH 2230 , or permission of instructor. Next offered 2014-2015.

T. Sider.

The goal of this course is “logic literacy.” Contemporary philosophy is steeped in logic: in order to read journal articles and take part in discussions, one needs to know a certain amount of logic. We will study i) the basic techniques of logic, including syntax, semantics, proof theory, metalogic, and a bit of philosophy of logic; and ii) a number of extensions of standard logic that are important in philosophy (for example, intuitionist logic, modal logic, counterfactuals). The course will be more broad than deep: we will examine many different systems, but will not spend a lot of time proving difficult metalogical results about these systems (except for completeness in propositional modal logic).



Add to Favorites (opens a new window)