Logic for Philosophy
Theodore Sider
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.