Logic for Philosophy

Designed for both advanced undergraduate and graduate students, this groundbreaking work by a leading philosopher of logic is ideal for courses in logical literacy. Logic for Philosophy covers basic approaches to logic (including proof theory and especially model theory); extensions of standard logic that are important in philosophy; and some elementary philosophy of logic. Easily accessible to students without extensive mathematics backgrounds, this lucid and vividly written text emphasizes breadth of coverage rather than depth. Featuring numerous exercises, answers, and helpful hints, it concisely and effectively introduces students to the logic they need to know in order to read contemporary philosophy journal articles.

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy.

1 - What is Logic?
2 - Propositional Logic
3 - Beyond Standard Propositional Logic
4 - Predicate Logic
5 - Beyond Standard Predicate Logic
6 - Propositional Modal Logic
7 - Beyond Standard MPL
8 - Counterfactuals
9 - Quantified Modal Logic
10 - Two-dimensional modal logic

Theodore Sider is Professor of Philosophy at New York University