Elementary Logic

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: QUINE, W. V.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cumberland : Harvard University Press, 1980.
Temas:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
PHILOSOPHY / General
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Intro
  • CONTENTS
  • Preface, 1980
  • Preface to the Revised Edition
  • Preface to the 1941 Edition
  • 1. Introduction
  • I. STATEMENT COMPOSITION
  • 2. Truth Values
  • 3. Conjunction
  • 4. Denial
  • 5. 'Or'
  • 6. 'But', 'although', 'unless'
  • 7. 'If'
  • 8. General and Subjunctive Conditionals
  • 9. 'Because', 'hence', 'that'
  • 10. Reduction to Conjunction and Denial
  • 11. Grouping
  • 12. Verbal Cues to Grouping
  • 13. Paraphrasing Inward
  • II. TRUTH-FUNCTIONAL TRANSFORMATIONS
  • 14. Substitution in Truth-Functional Schemata
  • 15. Instances
  • 16. Equivalent Schemata
  • 17. Truth-Functional Equivalence
  • 18. Replacement
  • 19. Transformation
  • 20. Proofs of Equivalence
  • 21. Alternation and Duality
  • 22. Normal Schemata
  • 23. Validity
  • 24. Truth-Functional Truth
  • 25. Inconsistency and Truth-Functional Falsity
  • 26. Implication between Schemata
  • 27. Truth-Functional Implication
  • III. QUANTIFICATION
  • 28. 'Something'
  • 29. Quantifiers
  • 30. Variables and Open Sentences
  • 31. Variants of 'Some'
  • 32. 'Some' Restricted
  • 33. 'No'
  • 34. 'Every'
  • 35. Variants of 'Every'
  • 36. Persons
  • 37. Times and Places
  • 38. Quantification in Context
  • IV. QUANTIFICATIONAL INFERENCE
  • 39. Quantificational Schemata
  • 40. Predicates
  • 41. Restraints on Introducing
  • 42. Substitution Extended
  • 43. Validity Extended
  • 44. Equivalence Extended
  • 45. Inconsistency Proofs
  • 46. Logical Arguments
  • 47. Identity and Singular Terms
  • 48. Membership
  • Index

Ejemplares similares