03891nam 2200565Ia 450 991081292090332120200520144314.00-674-04246-810.4159/9780674042469(CKB)1000000000805646(StDuBDS)AH21620471(SSID)ssj0000199103(PQKBManifestationID)11172348(PQKBTitleCode)TC0000199103(PQKBWorkID)10184679(PQKB)10468785(Au-PeEL)EBL3300750(CaPaEBR)ebr10331337(OCoLC)923117190(DE-B1597)574584(DE-B1597)9780674042469(MiAaPQ)EBC3300750(EXLCZ)99100000000080564619861003d1981 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierMathematical logic /by Willard Van Orman QuineRev. ed.Cambridge, MA Harvard University Pressc19811 online resource (xii, 346 pages)Bibliographic Level Mode of Issuance: Monograph0-674-55450-7 0-674-55451-5 Includes bibliography and index.Frontmatter --PREFACE, 1981 --PREFACE TO THE REVISED EDITION --PREFACE --CONTENTS --Introduction --CHAPTER ONE. Statelfzents --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. Formulae --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 Formulae --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 SubjectsLogic, Symbolic and mathematicalMathematicsLogic, Symbolic and mathematical.Mathematics.Quine W. V(Willard Van Orman)58505MiAaPQMiAaPQMiAaPQBOOK9910812920903321Mathematical logic1011660UNINA