|
|
Mar 28, 2024
|
|
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)
|
|
|