Mathematical Logic: Revised Edition

Willard Van Orman Quine

Buch

Mathematical Logic

Revised Edition

Willard Van Orman Quine

Sprache: Englisch

Veröffentlicht/Copyright: 1951

Veröffentlicht von

Weitere Titel anzeigen von Harvard University Press

Zur Verlagsseite

Über dieses Buch

W. 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.”

Rezensionen

Every section of this book provides evidence of rare skill, both in research and communication; it deserves to be read and read again by all who have a serious interest in mathematical logic.
-- Max Black Mind

Combines exemplary clarity and precision with an unusual vividness and originality in style which actually makes the study of the work a fascinating adventure.
-- Carl G. Hempel Philosophic Abstracts

An excellent systematic presentation of mathematical logic… Because it is a clear, exact, and exhaustive treatment of the subject, Professor Quine’s book should serve well as a text in a course on mathematical logic.
-- Morton G. White Philosophical Review

Fachgebiete

Philosophie Wissenschaftsphilosophie

Frontmatter Öffentlich zugänglich PDF downloaden	i
PREFACE, 1981 Öffentlich zugänglich PDF downloaden	iii
PREFACE TO THE REVISED EDITION Öffentlich zugänglich PDF downloaden	vii
PREFACE Öffentlich zugänglich PDF downloaden	viii
CONTENTS Öffentlich zugänglich PDF downloaden	xi
Introduction Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	1
CHAPTER ONE. Statelfzents
1. Conjunction, Alternation, and Denial Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	11
2. The Conditional Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	14
3. Iterated Composition Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	18
4. Use versus Mention Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	23
5. Statements about Statements Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	27
6. Quasi-Quotation Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	33
7. Parentheses and Dots Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	37
8. Reduction to Three Primitives Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	42
9. Reduction to One Primitive Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	45
10. Tautology Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	50
11. Selected Tautologous Forms Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	55
CHAPTER TWO. Quantification
12. The Quantifier Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	65
13. Formulae Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	71
14. Bondage, Freedom, Closure Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	76
15. Axioms of Quantification Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	80
16. Theorems Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	85
17. Metatheorems Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	89
18. Substitutivity of the Biconditional Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	96
19. Existential Quantification Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	101
20. Distribution of Quantifiers Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	105
21. Alphabetic Variance Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	109
CHAPTER THREE. Terms
22. Class and Member Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	119
23. Logical Formulae Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	123
24. Abstraction Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	128
25. Identity Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	134
26. Abstraction Resumed Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	140
27. Descriptions and Names Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	146
CHAPTER FOUR. Extended Theory of Classes
28. Stratification Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	155
29. Further Axioms of Membership Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	160
30. Substitutivity of Identity Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	167
31. Substitution for Variables Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	170
32. Further Consequences Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	175
33. Logical Product, Sum, Complement Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	179
34. Inclusion Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	185
35. Unit Classes Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	189
CHAPTER FIVE. Relations
36. Pairs and Relations Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	197
37. Abstraction of Relations Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	202
38. Converse, Image, Relative Product Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	208
39. The Ancestral Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	215
40. Functions Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	221
41. Abstraction of Functions Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	225
42. Identity and Membership as Relations Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	229
CHAPTER SIX. Number
43. Zero, One, Successor Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	237
44. Natural Numbers Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	241
45. Counter Sets Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	246
46. Finite and Infinite Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	250
47. Powers of Relations Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	253
48. Arithmetical Sum, Product, Power Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	259
49. Familiar Identities of Arithmetic Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	262
50. Ratios Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	266
51. Real Numbers Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	271
52. Further Extensions Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	275
CHAPTER SEVEN. Syntax
53. Formality Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	283
54. The Syntactical Primitive Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	287
55. Protosyntax Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	291
56. Formula and Matrix Defined Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	295
57. Axioms of Quantification Defined Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	299
58. Theorem Defined Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	302
59. Protosyntax Self-Applied Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	306
60. Incompleteness Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	312
APPENDIX. Theorem versus Metatheorem Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	319
List of Definitions Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	323
List of Theorems and Metatheorems Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	325
Bibliographical References Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	331
Index of Proper Names Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	339
Index of Subjects Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden	341

Informationen zur Veröffentlichung

Seiten und Bilder/Illustrationen im Buch

eBook veröffentlicht am:

1. Juli 2009

eBook ISBN:

9780674042469

Seiten und Bilder/Illustrationen im Buch

Inhalt:

358

https://doi.org/10.4159/9780674042469

eBook ISBN: 9780674042469

Zielgruppe(n) für dieses Buch

Professional and scholarly;

Mathematical Logic

Übersicht

Über dieses Buch

Rezensionen

Fachgebiete

Inhaltsverzeichnis

Bibliographische Daten