國立虎尾科技大學 |

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer/ by Mark van Atten.
Author:	van Atten, Mark.
Description:	XIV, 328 p.online resource. :
Contained By:	Springer Nature eBook
Subject:	Phenomenology . -
Online resource:	https://doi.org/10.1007/978-3-319-10031-9
ISBN:	9783319100319

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
van Atten, Mark.

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer[electronic resource] /by Mark van Atten. - 1st ed. 2015. - XIV, 328 p.online resource. - Logic, Epistemology, and the Unity of Science,352214-9775 ;. - Logic, Epistemology, and the Unity of Science,37.

Chapter 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. <.

This 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.

ISBN: 9783319100319

Standard No.: 10.1007/978-3-319-10031-9doiSubjects--Topical Terms:

1253735
Phenomenology .

LC Class. No.: B829.5.A-829.5.Z

Dewey Class. No.: 142.7

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
LDR:04382nam a22004095i 4500 001 969112
003 DE-He213
005 20200920012938.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319100319 $9 978-3-319-10031-9
024 7 $a 10.1007/978-3-319-10031-9 $2 doi
035 $a 978-3-319-10031-9
050 4 $a B829.5.A-829.5.Z
072 7 $a HPCF3 $2 bicssc
072 7 $a PHI018000 $2 bisacsh
072 7 $a QDHR5 $2 thema
082 0 4 $a 142.7 $2 23
100 1 $a van Atten, Mark. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1264696
245 1 0 $a Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer $h [electronic resource] / $c by Mark van Atten.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XIV, 328 p. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Logic, Epistemology, and the Unity of Science, $x 2214-9775 ; $v 35
505 0 $a Chapter 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. <.
520 $a This 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.
650 0 $a Phenomenology . $3 1253735
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Philosophy and science. $3 555818
650 1 4 $a Phenomenology. $3 555526
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Philosophy of Science. $3 668204
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319100326
776 0 8 $i Printed edition: $z 9783319100302
776 0 8 $i Printed edition: $z 9783319376578
830 0 $a Logic, Epistemology, and the Unity of Science, $x 2214-9775 ; $v 37 $3 1258799
856 4 0 $u https://doi.org/10.1007/978-3-319-10031-9
912 $a ZDB-2-SHU
912 $a ZDB-2-SXPR
950 $a Humanities, Social Sciences and Law (SpringerNature-11648)
950 $a Philosophy and Religion (R0) (SpringerNature-43725)