Header image for the course page

Philosophy

We have a time and place for you

Philosophy of Logic

Philosophy 4051 - Spring 2019

This course surveys some important issues in the philosophy of logic. We begin with basic foundational issues in classical logic, including the relation of logic to psychological reasoning and Tarski's definition of logical consequence, and gradually go on to consider the motivations and status of well-known extensions (sometimes regarded as 'neo-classical' logics) such as modal logics and second-order logic. In the last weeks of the course, we'll examine some outright challengers, including intuitionistic and paraconsistent logics. After evaluating the arguments for and against these challenges, we'll examine one recent, controversial view-logical pluralism-which suggests that we might not need to choose among the rival systems. Many of the readings for this course are classics of contemporary philosophy, and the subject is likely to be of especial interest to students who have interests in logic, and in the philosophy and foundations of mathematics and language. Some of the important ideas in the course presuppose at least a basic acquaintance with formal logic, and hence either Phil 100 or Phil 301 (or permission of the instructor) are prerequisites.
Course Attributes: EN HAS HUMFA HUMAR HUM

Section 01

Philosophy of Logic
INSTRUCTOR: Sorensen
View Course Listing