A comprehensive introduction to formal logic, LOGIC AND PHILOSOPHY: A MODERN INTRODUCTION, International Edition is a rigorous, yet accessible text appropriate for students encountering the subject for the first time. Numerous carefully crafted exercise sets accompanied by clear, crisp exposition give students a firm grasp of basic concepts and take the student from sentential logic through first-order predicate logic, the theory of descriptions, and identity. As the title suggests, this is a book devoted not merely to logic; students will encounter an abundance of philosophy as well.
1. Introduction.
2. Symbolizing in Sentential Logic.
3. Truth Tables.
4. Proofs.
5. Conditional and Indirect Proofs.
6. Sentential Logic Truth Trees.
7. Predicate Logic Symbolization.
8. Predicate Logic Semantics.
9. Predicate Logic Proofs Proving Validity.
10. Relational Predicate Logic.
,etc.