Logic With Added Reasoning
  • Publication Date: September 4, 2002
  • ISBN: 9781551114057 / 1551114054
  • 224 pages; 6" x 9"
Exam Copy

Availability: Worldwide

Logic With Added Reasoning

  • Publication Date: September 4, 2002
  • ISBN: 9781551114057 / 1551114054
  • 224 pages; 6" x 9"

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.

1. Arguments and Validity

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

2. Truth Functionality

  1. Embedded sentences
    1. Basic and simple sentences found in larger sentences
    2. Truth values
    3. Propositions
  2. 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
  3. A problem for truth functionality
  4. Exercises

 
3. Formalisation of Truth Functions

  1. Formalising truth functions
    1. Formalising and, not and or
    2. Formalising sentences
  2. Truth Tables
    1. How to read truth tables
    2. Negation
    3. Conjunction
    4. Disjunction
  3. Material equivalence
    1. The formalisation of material equivalence
    2. Material equivalence in sentences
  4. 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
  2. Material implication in practice
    1. More interesting tautologies
    2. DeMorgan’s Laws
    3. Some jolly big truth tables
  3. Truth tables for analysing arguments
  4. Exercises

 
6. The Tableaux Method

  1. Indirect Proof: a preliminary
  2. The way of the tableau for tautologies
    1. The rules of the tableau
  3. Exercises
  4. The way of the tableau for validity
  5. 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
  5. The big problem with propositional logic
    1. Natural language is more than a few sentences
  6. 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
  2. Venn diagrams
    1. What to do with your Venn diagrams
    2. Some intuition for Venn diagrams
  3. Venn diagrams for validity
    1. Three circle Venn diagrams
    2. Venn and Aristotle
  4. Problems with Venn diagrams
    1. Complicated arguments can be difficult to draw
    2. Venn diagrams cannot do truth functions
  5. 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
  5. Sentences with multiple Quantifiers
  6. Syllogisms in predicate logic
  7. Buckets of eggs
  8. 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
  6. Exercises
  7. 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
  8. Exercises
  9. Will it ever end?

A. The complete tableaux rules

B. Famous Truth Tables

C. A brief summary of Classical Logic

References
Index

Michael Gabbay teaches in the department of Philosophy at Kings College, the University of London.