Book:Willard Van Orman Quine/Mathematical Logic/Revised Edition
Jump to navigation
Jump to search
Willard Van Orman Quine: Mathematical Logic (Revised Edition)
Published $\text {1951}$, Harvard University Press
- ISBN 0-674-55451-5
Subject Matter
Contents
- Preface, 1981 (Harvard University, January 1981)
- Preface to the Revised Edition (Cambridge, Mass. January 28, 1951)
- Preface (Cambridge, Mass. April 7, 1940)
- Introduction
- Chapter one. Statements
- 1. Conjunction, Alternation and Denial
- 2. The Conditional
- 3. Iterated Composition
- 4. Use versus Mention
- 5. Statements about Statements
- 6. Quasi-Quotation
- 7. Parentheses and Dots
- 8. Reduction to Three Primitives
- 9. Reduction to One Primitive
- 10. Tautology
- 11. Selected Tautologous Forms
- Chapter two. Quantification
- 12. The Quantifier
- 13. Formulæ
- 14. Bondage, Freedom, Closure
- 15. Axioms of Quantification
- 16. Theorems
- 17. Metatheorems
- 18. Substitutivity of the Biconditional
- 19. Existential Quantification
- 20. Distribution of Quantifiers
- 21. Alphabetic Variance
- Chapter three. Terms
- 22. Class and Member
- 23. Logical Formulæ
- 24. Abstraction
- 25. Identity
- 26. Abstraction Resumed
- 27. Descriptions and Names
- Chapter four. Extended Theory of Classes
- 28. Stratification
- 29. Further Axioms of Membership
- 30. Substitutivity of Identity
- 31. Substitution for Variables
- 32. Further Consequences
- 33. Logical Product, Sum, Complement
- 34. Inclusion
- 35. Unit Classes
- Chapter five. Relations
- 36. Pairs and Relations
- 37. Abstraction of Relations
- 38. Converse, Image, Relative Product
- 39. The Ancestral
- 40. Functions
- 41. Abstraction of Functions
- 42. Identity and Membership as Relations
- Chapter six. Number
- 43. Zero. One. Successor
- 44. Natural Numbers
- 45. Counter Sets
- 46. Finite and Infinite
- 47. Powers of Relations
- 48. Arithmetical Sum, Product, Power
- 49. Familiar Identities of Arithmetic
- 50. Ratios
- 51. Real Numbers
- 52. Further Extensions
- Chapter seven. Syntax
- 53. Formality
- 54. The Syntactical Primitive
- 55. Protosyntax
- 56. Formula and Matrix Defined
- 57. Axioms of Quantification Defined
- 58. Theorem Defined
- 59. Protosyntax Self-Applied
- 60. Incompleteness
- Appendix. Theorem versus Metatheorem
- List of Definitions
- List of Theorems and Metatheorems
- Bibliographical References
- Index of Proper Names
- Index of Subjects
Further Editions
Source work progress
- 1951: Willard Van Orman Quine: Mathematical Logic (revised ed.) ... (previous) ... (next): Introduction