Modern Logic

Modern Logic : A Text in Elementary Symbolic Logic

3.36 (25 ratings by Goodreads)
By (author) 

Free delivery worldwide

Available. Dispatched from the UK in 10 business days
When will my order arrive?


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 more

Product details

  • Paperback | 416 pages
  • 162.56 x 231.14 x 20.32mm | 612.35g
  • Oxford University Press Inc
  • New York, United States
  • English
  • UK ed.
  • line illustrations
  • 0195080297
  • 9780195080292
  • 591,216

About Graeme Forbes

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 more

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 ; Indexshow more

Rating details

25 ratings
3.36 out of 5 stars
5 16% (4)
4 24% (6)
3 40% (10)
2 20% (5)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X