Logic for Philosophy by Theodore Sider

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.