Cantitate/Preț
Produs
Total produse
Vezi coșul
Logic With Added Reasoning de Michael Gabbay

Logic With Added Reasoning

Autor Michael Gabbay
en Limba Engleză Paperback – 4 sep 2002
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.
Citește tot Restrânge

Preț: 40856 lei

Preț vechi: 53001 lei
-23%

Puncte Express: 613
Preț estimativ în valută:
7232€ • 8400$ • 6266£

Carte disponibilă

Livrare economică 10-24 februarie
Livrare express 27-31 ianuarie pentru 7158 lei

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781551114057
ISBN-10: 1551114054
Pagini: 217
Dimensiuni: 152 x 229 x 11 mm
Greutate: 0.37 kg
Editura: BROADVIEW PR
Colecția Broadview Press
Locul publicării:Peterborough, Canada

Recenzii

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.

Cuprins

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