04628nam 2200625Ia 450 991095429860332120200520144314.09780674042469067404246810.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(Perlego)1133326(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: Monograph9780674554504 0674554507 9780674554511 0674554515 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 SubjectsW. V. Quine's systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic.Max Black, in Mind, has said of this book, "It will serve the purpose of inculcating, by precept and example, standards of clarity and precision which are, even in formal logic, more often pursued than achieved." Logic, Symbolic and mathematicalMathematicsLogic, Symbolic and mathematical.Mathematics.Quine W. V(Willard Van Orman)58505MiAaPQMiAaPQMiAaPQBOOK9910954298603321Mathematical logic1011660UNINA