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

Subject Matter

 * Mathematical Logic

Contents

 * Preface, 1981 (Harvard University, January 1981)
 * Preface to the Revised Edition ( January 28, 1951)
 * Preface ( April 7, 1940)


 * Introduction


 * 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


 * 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


 * Terms
 * 22. Class and Member
 * 23. Logical Formulæ
 * 24. Abstraction
 * 25. Identity
 * 26. Abstraction Resumed
 * 27. Descriptions and Names


 * 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


 * 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


 * 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


 * 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


 * Theorem versus Metatheorem
 * List of Definitions
 * List of Theorems and Metatheorems
 * Bibliographical References
 * Index of Proper Names
 * Index of Subjects



Source work progress
* * : Introduction


 * Redo from start