Modern Logic: A Text in Elementary Symbolic Logic

Paperback | January 1, 1994

byGraeme Forbes

not yet rated|write a review
Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a specialappendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic gives equal weight to semantics and proof theory and explains their relationship,and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding sectiondeals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, Modern Logic provides a thorough understanding of basic concepts and a sound basis for more advancedwork.

Pricing and Purchase Info

$105.82 online
$118.95 list price (save 11%)
Ships within 1-3 weeks
Ships free on orders over $25

From the Publisher

Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a specialappendix that shows how to use MacLogic as a teac...

Graeme Forbes is Professor of Philosophy at Tulane University and the author of The Metaphysics of Modality (Oxford, 1985) and Languages of Possibility (1989). 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.

other books by Graeme Forbes

Attitude Problems: An Essay On Linguistic Intensionality
Attitude Problems: An Essay On Linguistic Intensionalit...

Hardcover|Jul 29 2006

$95.36 online$113.50list price(save 15%)
Format:PaperbackDimensions:416 pages, 6.5 × 9.13 × 0.75 inPublished:January 1, 1994Publisher:Oxford University PressLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0195080297

ISBN - 13:9780195080292

Look for similar items by category:

Customer Reviews of Modern Logic: A Text in Elementary Symbolic Logic

Reviews

Extra Content

Table of Contents

Introduction I. Classical Sentential Logic1. What is Logic?2. First Steps in Symbolization3. Semantics for Sentential Logic4. Natural Deduction in Sentential LogicII. Monadic Predicate Logic5. Predication and Quantification in English6. Validity and Provability in Monadic Predicate LogicIII. First-Order Logic with Identity7. Advanced Symbolizations8. Validity and Provability in First-Order Logic with IdentityIV. Extensions and Alternatives to Classical Logic9. Modal Logic10. Intuitionistic Logic11. Fuzzy LogicAppendix: Using MacLogicSolutions to Selected ExercisesBibliographyIndex

Editorial Reviews

"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