Muutke küpsiste eelistusi

Collected Papers of Bertrand Russell, Volume 5: Toward Principia Mathematica, 190508 [Kõva köide]

, Edited by (McMaster University, Canada)
  • Formaat: Hardback, 960 pages, kõrgus x laius: 234x156 mm, kaal: 1880 g
  • Sari: The Collected Papers of Bertrand Russell
  • Ilmumisaeg: 10-Jan-2014
  • Kirjastus: Routledge
  • ISBN-10: 0415820987
  • ISBN-13: 9780415820981
  • Formaat: Hardback, 960 pages, kõrgus x laius: 234x156 mm, kaal: 1880 g
  • Sari: The Collected Papers of Bertrand Russell
  • Ilmumisaeg: 10-Jan-2014
  • Kirjastus: Routledge
  • ISBN-10: 0415820987
  • ISBN-13: 9780415820981

This volume of Bertrand Russell's Collected Papers finds Russell focused on writing Principia Mathematica during 1905–08. Eight previously unpublished papers shed light on his different versions of a substitutional theory of logic, with its elimination of classes and relations, during 1905-06. A recurring issue for him was whether a type hierarchy had to be part of a substitutional theory. In mid-1907 he began writing up the final version of Principia, now using a ramified theory of types, and eleven unpublished drafts from 1907-08 deal with this. Numerous letters show his thoughts on the process.

The volume's 80-page introduction covers the evolution of his logic from 1896 until 1909, when volume I of Principia went to the printer.

Arvustused

"For logicians and metaphysicians curious about the evolution of Russells logic from The Principles of Mathematics (1903) to Principia Mathematica (1910), no volume of the Collected Papers of Bertrand Russell was more eagerly awaited than Volume 5. Moores editing of Russells dauntingly technical manuscripts has produced a wonderful resource." - Gregory Landini, History and Philosophy of Logic Journal

Illustrations
x
Abbreviations xii
Introduction xiii
Acknowledgements xciii
Chronology xcv
PART I NO-CLASSES THEORIES AND SUBSTITUTIONAL THEORIES, 1905--06
General Headnote to Part I
3(11)
1 The Theory of Implication [ 1905--06]
14(48)
2 On Some Difficulties in the Theory of Transfinite Numbers and Order Types [ 1905--06]
62(28)
3 Early Work on the Substitutional Theory [ 1905]
90(14)
a A Letter to Hardy on Substitution
93(4)
b On Substitution
97(7)
4 Developing the Substitutional Theory [ 1906--07]
104(22)
a Substitution
106(7)
b A Theory of Determination
113(6)
c *20ff
119(5)
d Verbal Definitions
124(1)
e A Paradox of the Substitutional Theory
125(1)
5 Two Drafts on Substitution [ 1906]
126(110)
a On Substitution
129(104)
b A Partial Draft
233(3)
6 A Paper Withdrawn from Publication [ 1906]
236(26)
a On the Substitutional Theory of Classes and Relations: Abstract
241(2)
b On the Substitutional Theory of Classes and Relations
243(19)
7 Logic in Which Propositions Are Not Entities [ 1906]
262(6)
8 On the Functional Theory of Propositions, Classes and Relations [ 1906]
268(5)
9 The Paradoxes of Logic [ 1906]
273(24)
10 Multiplicative Axiom [ 1906]
297(20)
11 The Paradox of the Liar [ 1906]
317(58)
a The Paradox of the Liar
320(49)
b A Partial Draft
369(6)
12 List of Propositions [ 1906]
375(42)
PART II THEORIES OF TRUTH, 1906--08
General Headnote to Part II
417(2)
13 Two Reviews of Joachim [ 1906]
419(14)
a What Is Truth?
423(4)
b Review of Joachim, The Nature of Truth
427(6)
14 On the Nature of Truth [ 1907]
433(22)
15 The Nature of Truth [ 1907]
455(10)
16 William James's Conception of Truth [ 1908]
465(24)
PART III FROM SUBSTITUTIONAL THEORIES TO THE RAMIFIED THEORY OF TYPES, 1906--08
General Headnote to Part III
489(3)
17 Corrections Required in Present Work [ 1906]
492(3)
18 Early Drafts on the Theory of Types [ 1906--08]
495(41)
a Types
498(17)
b On Types
515(5)
c Notes on Types
520(5)
d Fourth Theory
525(4)
e Individuals
529(7)
19 Fundamentals [ 1907]
536(35)
20 The Regressive Method of Discovering the Premises of Mathematics [ 1907]
571(10)
21 "If" and "Imply", A Reply to Mr. MacColl [ 1908]
581(4)
22 Mathematical Logic as Based on the Theory of Types [ 1908]
585(41)
23 Partial Drafts of Principia Mathematica [ c.1908]
626(33)
a *10. Theory of One Apparent Variable
629(3)
b Deduction of Theory of Propositions of Higher Type from That of Those of Lower Type
632(3)
c *27. The Hierarchy of Types
635(6)
d *92. The Schroder-Bernstein Theorem
641(4)
e *130. Selections from Relations
645(14)
PART IV REVIEWS ON FOUNDATIONS OF MATHEMATICS
24 M. Poincare's Science et hypothese [ 1906]
659(2)
25 Two Reviews of MacColl [ 1906]
661(15)
a Review of MacColl, Symbolic Logic and Its Applications, in the Athenaeum
666(4)
b Review of MacColl, Symbolic Logic and Its Applications, in Mind
670(6)
26 Review of Pastore, Logica formale dedotta dalla considerazione di modelli meccanici [ 1906]
676(2)
27 The Study of Logic [ 1906]
678(2)
28 Two Reviews of Meinong [ 1906--07]
680(13)
a Review of Meinong, Uber die Erfahrungsgrundlagen unseres Wissens [ 1906]
685(4)
b Review of Meinong, Uber die Stellung der Gegenstands-theorie im System der Wissenschaften [ 1907]
689(4)
29 Mr. Haldane on Infinity [ 1908]
693(8)
PART V OTHER PHILOSOPHICAL REVIEWS AND WRITINGS
30 Is Reason Irrational? [ 1906]
701(4)
31 Metaphysics for the Man of Action [ 1907]
705(8)
32 Spinoza's Moral Code [ 1907]
713(3)
33 Newton's Philosophy [ 1908]
716(3)
34 Determinism and Morals [ 1908]
719(10)
35 Review of Essays, Philosophical and Psychological, in Honor of William James [ 1908]
729(6)
36 A Reply to Dr. Schiller [ 1908]
735(8)
APPENDICES
I Les Paradoxes de la logique [ 1906]
743(19)
II Comments on Definitions of Philosophical Terms [ 1905--06]
762(3)
III Notes on Ward's Comments on The Principles of Mathematics [ 1905]
765(5)
IV Berry's Letters to Russell [ 1904--10]
770(13)
Missing And Unprinted Texts 783(2)
Annotation 785(54)
Textual Notes 839(44)
Bibliographical Index 883(24)
Symbols Index 907(16)
General Index 923
Bertrand Russell, Gregory Moore