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 01Philosophy of Logic
INSTRUCTOR: SorensenView Course Listing