LEADER 05108nam 22006735 450 001 9910483588503321 005 20230810183926.0 010 $a3-319-10031-9 024 7 $a10.1007/978-3-319-10031-9 035 $a(CKB)3710000000291555 035 $a(EBL)1968138 035 $a(OCoLC)896824913 035 $a(SSID)ssj0001386462 035 $a(PQKBManifestationID)11860981 035 $a(PQKBTitleCode)TC0001386462 035 $a(PQKBWorkID)11373813 035 $a(PQKB)11327912 035 $a(DE-He213)978-3-319-10031-9 035 $a(MiAaPQ)EBC1968138 035 $a(PPN)183095154 035 $a(EXLCZ)993710000000291555 100 $a20141121d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aEssays on Go?del?s Reception of Leibniz, Husserl, and Brouwer /$fby Mark van Atten 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (336 p.) 225 1 $aLogic, Epistemology, and the Unity of Science,$x2214-9783 ;$v35 300 $aDescription based upon print version of record. 311 $a3-319-10030-0 320 $aIncludes bibliographical references and indexes. 327 $aChapter 1. Introduction -- Part I Gödel and Leibniz -- Chapter 2 A note on Leibniz?s argument against infinite wholes -- Chapter 3. Monads and sets: on Gödel, Leibniz, and the Reflection Principle -- Chapter 4. Gödel?s Dialectica Interpretation and Leibniz -- Part II Gödel and Husserl -- Chapter 5. Phenomenology of mathematics -- Chapter 6. On the philosophical development of Kurt Gödel (with Juliette Kennedy) -- Chapter 7. Gödel, mathematics, and possible worlds -- Chapter 8. Two draft letters from Gödel on self-knowledge of Reason -- Part III Gödel and Brouwer -- Chapter 9. Gödel and Brouwer: two rivalling brothers -- Chapter 10. Mysticism and mathematics: Brouwer, Gödel, and the common core thesis (with Robert Tragesser) -- Chapter 11. Gödel and intuitionism -- Part IV A partial assessment -- Chapter 12. Construction and constitution in mathematics. <. 330 $aThis volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of that project, and then evaluates it, with an emphasis on the second stage. The book is organised around Gödel's use of Leibniz, Husserl and Brouwer. Far from considering past philosophers irrelevant to actual systematic concerns, Gödel embraced the use of historical authors to frame his own philosophical perspective. The philosophies of Leibniz and Husserl define his project, while Brouwer's intuitionism is its principal foil: the close affinities between phenomenology and intuitionism set the bar for Gödel's attempt to go far beyond intuitionism. The four central essays are `Monads and sets', `On the philosophical development of Kurt Gödel', `Gödel and intuitionism', and `Construction and constitution in mathematics'. The first analyses and criticises Gödel's attempt to justify, by an argument from analogy with the monadology, the reflection principle in set theory. It also provides further support for Gödel's idea that the monadology needs to be reconstructed phenomenologically, by showing that the unsupplemented monadology is not able to found mathematics directly. The second studies Gödel's reading of Husserl, its relation to Leibniz' monadology, and its influence on his publishe d writings. The third discusses how on various occasions Brouwer's intuitionism actually inspired Gödel's work, in particular the Dialectica Interpretation. The fourth addresses the question whether classical mathematics admits of the phenomenological foundation that Gödel envisaged, and concludes that it does not. The remaining essays provide further context.  The essays collected here were written and published over the last decade. Notes have been added to record further thoughts, changes of mind, connections between the essays, and updates of references. 410 0$aLogic, Epistemology, and the Unity of Science,$x2214-9783 ;$v35 606 $aPhenomenology 606 $aMathematical logic 606 $aScience$xPhilosophy 606 $aPhenomenology 606 $aMathematical Logic and Foundations 606 $aPhilosophy of Science 615 0$aPhenomenology. 615 0$aMathematical logic. 615 0$aScience$xPhilosophy. 615 14$aPhenomenology. 615 24$aMathematical Logic and Foundations. 615 24$aPhilosophy of Science. 676 $a193 700 $avan Atten$b Mark$4aut$4http://id.loc.gov/vocabulary/relators/aut$01229453 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483588503321 996 $aEssays on Go?del?s Reception of Leibniz, Husserl, and Brouwer$92853771 997 $aUNINA