PHIL 3320

Logic for Philosophy

Course Description

Course information provided by the Courses of Study 2014-2015.

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).

When Offered Fall.

Prerequisites/Corequisites Prerequisite: One of the following: PHIL 2310, MATH 2210, MATH 2230, or permission of instructor.

Distribution Category (KCM-AS)

View Enrollment Information