Cart
Free US shipping over $10
Proud to be B-Corp

Modern Logic Graeme Forbes (Professor of Philosophy, Professor of Philosophy, Tulane University)

Modern Logic By Graeme Forbes (Professor of Philosophy, Professor of Philosophy, Tulane University)

Summary

This undergraduate introduction to symbolic logic has been carefully structured with graded exercises, selected answers to which are provided at the back of the book. The aim is to provide students with a thorough understanding of all concepts.

Modern Logic Summary

Modern Logic: A Text in Elementary Symbolic Logic by Graeme Forbes (Professor of Philosophy, Professor of Philosophy, Tulane University)

Modern Logic is a text designed for a first course in symbolic logic for students in philosophy, mathematics, computer science, or linguistics. The book covers classical sentential logic, monadic predicate logic, and full first-order logic with identity, in three separate sections. Modern Logic's natural deduction system will be easy for students to understand, and the material is carefully structured, with graded exercises at the end of each section, selected answers to which are provided at the back of the book. The book's emphasis throughout is to give the student a thorough understanding of the concepts rather than just a facility with formal procedures.

Modern Logic Reviews

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

About Graeme Forbes (Professor of Philosophy, Professor of Philosophy, Tulane University)

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.

Table of Contents

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

Additional information

GOR003277237
9780195080292
0195080297
Modern Logic: A Text in Elementary Symbolic Logic by Graeme Forbes (Professor of Philosophy, Professor of Philosophy, Tulane University)
Used - Very Good
Paperback
Oxford University Press Inc
19940407
448
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us

Customer Reviews - Modern Logic