Book:Willard Van Orman Quine/Mathematical Logic/Revised Edition

From ProofWiki
Jump to: navigation, search

Willard Van Orman Quine: Mathematical Logic (Revised Edition)

Published $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