Logic for Philosophy

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 in order to do 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.