Course Descriptions

The title of this course is “Logic for philosophy”.  The goal is for graduate students in philosophy to achieve "logic literacy”.  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, modal logic and counterfactuals). Connections to philosophical issues will be made, though the focus will be on logic itself.  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 logic and modal  propositional logic.). Note: there is no need to purchase a textbook, since I am writing a second edition of my book Logic for Philosophy and will distribute a pdf.