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.

"Looks like an attractive text, pitched at an appropriate level and with good exercises. I have adopted it."--A.M. Ungar, SUNY at Albany"An excellent introduction to elementary logic. Rigorous yet accessible to the superior undergraduate student. The sections on extensions to classical logic are especially appreciated."--Jan A. Smucker, Hanover College"Of very real value, especially the final chapter on intuitionism and fuzzy logic--long overdue in introductory texts."--Patrick Grim, State University of New York at Stony Brook

• 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