Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

  • Mark van Atten

Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 35)

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Mark van Atten
    Pages 1-20
  3. Gödel and Leibniz

  4. Gödel and Husserl

    1. Front Matter
      Pages 75-75
    2. Mark van Atten
      Pages 77-94
    3. Mark van Atten, Juliette Kennedy
      Pages 95-145
    4. Mark van Atten
      Pages 147-155
  5. Gödel and Brouwer

    1. Front Matter
      Pages 163-163
    2. Mark van Atten
      Pages 165-171
    3. Mark van Atten, Robert Tragesser
      Pages 173-187
    4. Mark van Atten
      Pages 189-234
  6. A Partial Assessment

    1. Front Matter
      Pages 235-235
    2. Mark van Atten
      Pages 237-288
  7. Mark van Atten
    Pages E1-E1
  8. Back Matter
    Pages 289-328

About this book


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.


Edmund Husserl Gottfried Wilhelm von Leibniz Kurt Gödel L.E.J. Brouwer Platonism intuitionism monadology phenomenology of mathematics philosophy of mathematics

Authors and affiliations

  • Mark van Atten
    • 1
  1. 1.Sciences, Normes, Décision (CNRS/Paris IV)CNRSParisFrance

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Humanities, Social Sciences and Law
  • Print ISBN 978-3-319-10030-2
  • Online ISBN 978-3-319-10031-9
  • Series Print ISSN 2214-9775
  • Series Online ISSN 2214-9783
  • Buy this book on publisher's site