Modern Logic

Graeme Forbes is Professor of Philosophy at the University of Colorado at Boulder. He is the author of Attitude Problems (Oxford, 2006), Languages of Possibility (1989), and The Metaphysics of Modality (Oxford, 1985). He has held research fellowships at New College, Oxford, and Edinburgh University, and has taught at the University of California at Santa Barbara and at Riverside.

Introduction ; Part I: Classical Sentential Logic ; 1. What is logic? ; 2. First steps in symbolization ; 3. Semantics for sentential logic ; Part II: Monadic Predicate Logic ; 5. Predication and quantification in English ; 6. Validity and provability in monadic predicate logic ; Part III: First-Order Logic with Identity ; 7. Advanced symbolizations ; 8. Validity and provability in first-order logic with identity ; Part IV: Extensions and Alternatives ; 9. An extension to classical logic: Modal logic ; 10. Alternatives to classical logic (I): Intuitionism ; 11. Alternatives to classical logic (II): Fuzzy logic ; Solutions to selected exercises ; Bibliography ; Index