This volume tackles GApdel'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 GApdel's use of Leibniz, Husserl and Brouwer. Far from considering past philosophers irrelevant to actual systematic concerns, GApdel 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 GApdel's attempt to go far beyond intuitionism. The four central essays are `Monads and sets', `On the philosophical development of Kurt GApdel', `GApdel and intuitionism', and `Construction and constitution in mathematics'. The first analyses and criticises GApdel's attempt to justify, by an argument from analogy with the monadology, the reflection principle in set theory. It also provides further support for GApdel'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 GApdel'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 GApdel's work, in particular the Dialectica Interpretation. The fourth addresses the question whether classical mathematics admits of the phenomenological foundation that GApdel 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.of the two choices mentioned, GApdel opts for a form of idealism, not for realism (in the sense in which it is opposed to idealism as ... Not that I consider myself an expert on Gurdjieff. ... I prepared a 2-page outline, to be handed out at the talk.
|Title||:||Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer|
|Author||:||Mark van Atten|
|Publisher||:||Springer - 2014-11-21|