Description

Book Synopsis

This concise text treats logic as a tool, “generated so that half the work involved in thinking is done for you by somebody else (the rules and laws of the logic).” Gabbay explains in a clear and careful manner how formal features of, and formal relations between, ordinary declarative sentences are captured by the systems of propositional and predicate logic.



Table of Contents

1. Arguments and Validity

  1. Validity and Arguments
    1. A little argument
    2. A theory of validity
  3. Examples of valid and invalid arguments
    1. Valid arguments
    2. Invalid arguments
  5. Validity and the structure of an argument
    1. Validity is independent of meaning
    2. Determining validity by changing to an easier meaning
  7. Other forms of argument
    1. Modus Ponens and friends
    2. More valid arguments
    3. Conclusions
  9. Exercises

2. Truth Functionality

  1. Embedded sentences
    1. Basic and simple sentences found in larger sentences
    2. Truth values
    3. Propositions
  3. Truth values of complex sentences
    1. Truth functional sentences
    2. Non-truth functional sentences
    3. Different words, same truth function
    4. Same word, different truth functions
  5. A problem for truth functionality
  6. Exercises

3. Formalisation of Truth Functions

  1. Formalising truth functions
    1. Formalising and, not and or
    2. Formalising sentences
  3. Truth Tables
    1. How to read truth tables
    2. Negation
    3. Conjunction
    4. Disjunction
  5. Material equivalence
    1. The formalisation of material equivalence
    2. Material equivalence in sentences
  7. Exercises

4. Truth Tables and Tautologies

  1. Tautologies and how to find them
  2. Truth tables with more than two letters
  3. How to write the exclusive “or”
  4. Exercises

5. Material Implication and Validity

  1. Material implication in theory
    1. The truth conditions of material implication
    2. The truth table for material implication
    3. Counterfactuals, a problem for the truth tables
    4. Material implication does not imply any causality
    5. Only if
  3. Material implication in practice
    1. More interesting tautologies
    2. DeMorgan’s Laws
    3. Some jolly big truth tables
  4. Truth tables for analysing arguments
  5. Exercises

6. The Tableaux Method

  1. Indirect Proof: a preliminary
  2. The way of the tableau for tautologies
    1. The rules of the tableau
  4. Exercises
  5. The way of the tableau for validity
  6. Exercises

7. Propositional Logic: The Interesting Bits

  1. What is so interesting?
  2. Only three truth functions are necessary
  3. Only two truth functions are necessary
  4. Only one truth function is necessary
    1. Sheffer stroke
    2. Another sufficient truth function
  6. The big problem with propositional logic
    1. Natural language is more than a few sentences
  8. Exercises

8. Where Sheffer Can Put His Stroke

  1. Everyone will have a stroke, eventually
  2. A shelf shuffling game
  3. An interesting property of truth tables
  4. Back to the shelf game
  5. What’s the connection?
  6. Sheffer stroke
  7. What we have just been doing

9. Syllogisms and Venn Diagrams

  1. The Syllogism
    1. The Greek’s theory
    2. The modern theory
    3. Formalising syllogisms
  3. Venn diagrams
    1. What to do with your Venn diagrams
    2. Some intuition for Venn diagrams
  5. Venn diagrams for validity
    1. Three circle Venn diagrams
    2. Venn and Aristotle
  7. Problems with Venn diagrams
    1. Complicated arguments can be difficult to draw
    2. Venn diagrams cannot do truth functions
  9. Exercises

10. Predicate Logic: On Natural Language

  1. Names and Predicates
  2. Formalisation of sentences
  3. Exercises
  4. Quantifiers and Variables
    1. An important and helpful convention
  6. Sentences with multiple Quantifiers
  7. Syllogisms in predicate logic
  8. Buckets of eggs
  9. Exercises

11. The Tableaux and Identity

  1. A BIG warning
  2. The extra rules
  3. Choice of variables
  4. Exercises
  5. Arguments in predicate logic
    1. The standard arguments
    2. Arguments with multiple qualifiers
  7. Exercises
  8. Identity
    1. Identity and more new rules
    2. Identity for sentences of quantity
    3. There is at least
    4. There are at most
    5. There are exactly
  10. Exercises
  11. Will it ever end?

A. The complete tableaux rules
B. Famous Truth Tables
C. A brief summary of Classical Logic

References
Index

Logic with Added Reasoning

    Product form

    A Paperback / softback by Michael Gabbay

    £53.10

    Includes FREE delivery

    RRP £59.00 – you save £5.90 (10%)

    Order before 4pm today for delivery by Wed 9 Sep 2026.

    2 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Logic with Added Reasoning by Michael Gabbay

      Book details

      Publisher Broadview Press Ltd
      Published 30 September 2002
      ISBN-13 9781551114057
      978-1551114057
      ISBN-10 1551114054
      Also in:
      Philosophy: logic

      Description

      Book Synopsis

      This concise text treats logic as a tool, “generated so that half the work involved in thinking is done for you by somebody else (the rules and laws of the logic).” Gabbay explains in a clear and careful manner how formal features of, and formal relations between, ordinary declarative sentences are captured by the systems of propositional and predicate logic.



      Table of Contents

      1. Arguments and Validity

      1. Validity and Arguments
        1. A little argument
        2. A theory of validity
      3. Examples of valid and invalid arguments
        1. Valid arguments
        2. Invalid arguments
      5. Validity and the structure of an argument
        1. Validity is independent of meaning
        2. Determining validity by changing to an easier meaning
      7. Other forms of argument
        1. Modus Ponens and friends
        2. More valid arguments
        3. Conclusions
      9. Exercises

      2. Truth Functionality

      1. Embedded sentences
        1. Basic and simple sentences found in larger sentences
        2. Truth values
        3. Propositions
      3. Truth values of complex sentences
        1. Truth functional sentences
        2. Non-truth functional sentences
        3. Different words, same truth function
        4. Same word, different truth functions
      5. A problem for truth functionality
      6. Exercises

      3. Formalisation of Truth Functions

      1. Formalising truth functions
        1. Formalising and, not and or
        2. Formalising sentences
      3. Truth Tables
        1. How to read truth tables
        2. Negation
        3. Conjunction
        4. Disjunction
      5. Material equivalence
        1. The formalisation of material equivalence
        2. Material equivalence in sentences
      7. Exercises

      4. Truth Tables and Tautologies

      1. Tautologies and how to find them
      2. Truth tables with more than two letters
      3. How to write the exclusive “or”
      4. Exercises

      5. Material Implication and Validity

      1. Material implication in theory
        1. The truth conditions of material implication
        2. The truth table for material implication
        3. Counterfactuals, a problem for the truth tables
        4. Material implication does not imply any causality
        5. Only if
      3. Material implication in practice
        1. More interesting tautologies
        2. DeMorgan’s Laws
        3. Some jolly big truth tables
      4. Truth tables for analysing arguments
      5. Exercises

      6. The Tableaux Method

      1. Indirect Proof: a preliminary
      2. The way of the tableau for tautologies
        1. The rules of the tableau
      4. Exercises
      5. The way of the tableau for validity
      6. Exercises

      7. Propositional Logic: The Interesting Bits

      1. What is so interesting?
      2. Only three truth functions are necessary
      3. Only two truth functions are necessary
      4. Only one truth function is necessary
        1. Sheffer stroke
        2. Another sufficient truth function
      6. The big problem with propositional logic
        1. Natural language is more than a few sentences
      8. Exercises

      8. Where Sheffer Can Put His Stroke

      1. Everyone will have a stroke, eventually
      2. A shelf shuffling game
      3. An interesting property of truth tables
      4. Back to the shelf game
      5. What’s the connection?
      6. Sheffer stroke
      7. What we have just been doing

      9. Syllogisms and Venn Diagrams

      1. The Syllogism
        1. The Greek’s theory
        2. The modern theory
        3. Formalising syllogisms
      3. Venn diagrams
        1. What to do with your Venn diagrams
        2. Some intuition for Venn diagrams
      5. Venn diagrams for validity
        1. Three circle Venn diagrams
        2. Venn and Aristotle
      7. Problems with Venn diagrams
        1. Complicated arguments can be difficult to draw
        2. Venn diagrams cannot do truth functions
      9. Exercises

      10. Predicate Logic: On Natural Language

      1. Names and Predicates
      2. Formalisation of sentences
      3. Exercises
      4. Quantifiers and Variables
        1. An important and helpful convention
      6. Sentences with multiple Quantifiers
      7. Syllogisms in predicate logic
      8. Buckets of eggs
      9. Exercises

      11. The Tableaux and Identity

      1. A BIG warning
      2. The extra rules
      3. Choice of variables
      4. Exercises
      5. Arguments in predicate logic
        1. The standard arguments
        2. Arguments with multiple qualifiers
      7. Exercises
      8. Identity
        1. Identity and more new rules
        2. Identity for sentences of quantity
        3. There is at least
        4. There are at most
        5. There are exactly
      10. Exercises
      11. Will it ever end?

      A. The complete tableaux rules
      B. Famous Truth Tables
      C. A brief summary of Classical Logic

      References
      Index

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account