|
|
1 | (22) |
|
|
|
2 | (3) |
|
1.2 Godel's Commitment to Phenomenology |
|
|
5 | (4) |
|
1.3 The Religious Component in Phenomenology |
|
|
9 | (5) |
|
1.4 The Pragmatic Value of Husserl's and Godel's Historical Turn |
|
|
14 | (1) |
|
1.5 Overview of the Essays |
|
|
15 | (8) |
|
|
18 | (5) |
|
|
|
2 A Note on Leibniz's Argument Against Infinite Wholes |
|
|
23 | (10) |
|
|
|
23 | (1) |
|
2.2 Leibniz's Argument and Its Refutation |
|
|
24 | (4) |
|
2.3 The Consistency of Cantorian Set Theory |
|
|
28 | (1) |
|
|
29 | (1) |
|
|
30 | (3) |
|
|
31 | (2) |
|
3 Monads and Sets: On Godel, Leibniz, and the Reflection Principle |
|
|
33 | (32) |
|
|
|
33 | (1) |
|
3.2 Fitting Cantor's Sets into Leibniz' Metaphysics |
|
|
34 | (5) |
|
3.3 The Reflection Principle |
|
|
39 | (4) |
|
3.4 Godel's Analogy Argument for the Reflection Principle |
|
|
43 | (17) |
|
3.4.1 Presentation of the Argument |
|
|
43 | (4) |
|
3.4.2 The Analogy Is Ineffective |
|
|
47 | (11) |
|
|
58 | (2) |
|
|
60 | (5) |
|
|
|
4 Godel's Dialectica Interpretation and Leibniz |
|
|
65 | (12) |
|
|
|
73 | (4) |
|
Part II Godel and Husserl |
|
|
|
5 Phenomenology of Mathematics |
|
|
77 | (18) |
|
|
5.1 Connecting Phenomenology and Mathematics |
|
|
77 | (3) |
|
5.1.1 Mathematics as Part of Husserl's Motivation to Develop Phenomenology |
|
|
77 | (2) |
|
5.1.2 Mathematics and Phenomenology can be Described as Two (Different) Types of Science, with Correspondingly Different Types of Knowledge and of Reasoning |
|
|
79 | (1) |
|
5.1.3 Phenomenology of Mathematics |
|
|
79 | (1) |
|
5.2 Transcendental Phenomenology as a Foundation of Mathematics |
|
|
80 | (5) |
|
|
85 | (10) |
|
5.3.1 Intuitionistic Logic |
|
|
86 | (1) |
|
|
87 | (1) |
|
|
88 | (1) |
|
|
89 | (1) |
|
5.3.5 Incompleteness and Intuition |
|
|
90 | (1) |
|
5.3.6 The Dialectica Interpretation |
|
|
90 | (2) |
|
|
92 | (3) |
|
6 On the Philosophical Development of Kurt Godel |
|
|
95 | (52) |
|
|
|
|
95 | (3) |
|
6.2 Godel's Position in the 1950s: A Stalemate |
|
|
98 | (9) |
|
6.2.1 Inconclusive Arguments |
|
|
98 | (1) |
|
6.2.2 Realism and Rationalism |
|
|
99 | (4) |
|
6.2.3 Epistemological Parity |
|
|
103 | (3) |
|
|
106 | (1) |
|
6.3 Godel's Turn to Husserl's Transcendental Idealism |
|
|
107 | (17) |
|
6.3.1 Varieties of Idealism |
|
|
107 | (1) |
|
6.3.2 Godel and German Idealism |
|
|
108 | (4) |
|
6.3.3 The Turn to Husserl's Transcendental Idealism |
|
|
112 | (10) |
|
6.3.4 Godel's Criticisms of Husserl's Idealism |
|
|
122 | (2) |
|
6.4 How Is the Turn Related to Leibniz? |
|
|
124 | (6) |
|
6.4.1 Phenomenology as a Methodical Monadology |
|
|
124 | (3) |
|
6.4.2 Searching for the Primitive Terms |
|
|
127 | (3) |
|
6.5 Comparison with Earlier Interpretations |
|
|
130 | (3) |
|
6.6 Influence from Husserl on Godel's Writings |
|
|
133 | (5) |
|
6.6.1 On the Schools in the Foundations of Mathematics |
|
|
133 | (1) |
|
|
134 | (2) |
|
6.6.3 Revisions in the Main Text of the Cantor Paper |
|
|
136 | (2) |
|
6.7 Godel's Assessment of His Philosophical Project |
|
|
138 | (9) |
|
|
140 | (7) |
|
7 Godel, Mathematics, and Possible Worlds |
|
|
147 | (10) |
|
|
|
154 | (3) |
|
8 Two Draft Letters from Godel on Self-Knowledge of Reason |
|
|
157 | (8) |
|
|
|
162 | (3) |
|
Part III Godel and Brouwer |
|
|
|
9 Godel and Brouwer: Two Rivalling Brothers |
|
|
165 | (8) |
|
|
|
171 | (2) |
|
10 Mysticism and Mathematics: Brouwer, Godel, and the Common Core Thesis |
|
|
173 | (16) |
|
|
|
|
173 | (3) |
|
|
176 | (3) |
|
|
179 | (2) |
|
10.4 Comparison of Brouwer and Godel: Mathematics and the Good |
|
|
181 | (4) |
|
10.5 A Partial Argument Against CCT |
|
|
185 | (1) |
|
|
185 | (4) |
|
|
186 | (3) |
|
11 Godel and Intuitionism |
|
|
189 | (48) |
|
|
|
189 | (1) |
|
|
190 | (4) |
|
|
190 | (1) |
|
|
191 | (3) |
|
11.3 Philosophical Contacts |
|
|
194 | (43) |
|
11.3.1 The Incompleteness Theorem |
|
|
194 | (1) |
|
11.3.2 Weak Counterexamples |
|
|
195 | (1) |
|
11.3.3 Intuitionistic Logic as a Modal Logic |
|
|
195 | (1) |
|
11.3.4 Continuity Arguments in Set Theory |
|
|
196 | (1) |
|
11.3.5 Around the Dialectica Interpretation |
|
|
196 | (31) |
|
Appendix: Finitary Mathematics and Autonomous Transfinite Progressions |
|
|
227 | (2) |
|
|
229 | (8) |
|
Part IV A Partial Assessment |
|
|
|
12 Construction and Constitution in Mathematics |
|
|
237 | |
|
|
|
237 | (2) |
|
12.2 Intuitionistic Mathematics Is Part of Transcendental Phenomenology |
|
|
239 | (29) |
|
12.2.1 Husserl: Pure Mathematics as Formal Ontology |
|
|
239 | (5) |
|
12.2.2 Brouwer: Mathematics as Mental Constructions |
|
|
244 | (2) |
|
12.2.3 A Systematic Comparison |
|
|
246 | (17) |
|
12.2.4 Discussion of Some Remaining Objections |
|
|
263 | (5) |
|
12.3 Beyond Intuitionistic Mathematics? |
|
|
268 | (10) |
|
|
278 | (1) |
|
|
278 | |
|
Appendix: Null on Choice Sequences |
|
|
279 | (3) |
|
|
282 | |
Erratum |
|
1 | (288) |
Bibliography |
|
289 | (20) |
Original Publications |
|
309 | (2) |
Author and Citation Index |
|
311 | (8) |
Name and Subject Index |
|
319 | |