|142||Philosophical Logic||MacFarlane||TuTh 12:30-2||126 Barrows|
An introduction to the philosophy of logic and to philosophical applications of logic. In the first part of the course (“Fundamentals”) we will discuss two notions that play a central role in logical theory: truth and validity. We will pay special attention to the philosophical significance of Tarski’s formal definitions of both notions. In the second part (“Applications”) we will look at applications of logical theory to two philosophical problems: the sorites paradox (or “paradox of the heap”) and the problem of future contingents. In grappling with these problems we will learn about many-valued logics, modal operators, supervaluations, and the logic of indexicals, and we will bring to bear our earlier, more abstract discussions of truth and validity. Prerequisites: I will not presuppose any knowledge of logic beyond what is taught in Philosophy 12A. In addition to 12A, you must have taken at least one other course in philosophy. Requirements will include both papers and occasional problem sets.
Readings: John Etchemendy, The Concept of Logical Consequence; Timothy Williamson, Vagueness; course reader.