Monads and Sets: On Gödel, Leibniz, and the Reflection Principle

@inproceedings{Atten2015MonadsAS,
  title={Monads and Sets: On G{\"o}del, Leibniz, and the Reflection Principle},
  author={Mark van Atten},
  year={2015}
}
Godel once offered an argument for the general reflection principle in set theory that took the form of an analogy with Leibniz’ monadology. I discuss the mathematical and philosophical background to Godel’s argument, reconstruct the proposed analogy in detail, and argue that it has no justificatory force. The paper also provides further support for Godel’s idea that the monadology needs to be reconstructed phenomenologically, by showing that the unsupplemented monadology is not able to found… 
5 Citations
Construction and Constitution in Mathematics
I argue that Brouwer’s notion of the construction of purely mathematical objects and Husserl’s notion of their constitution by the transcendental subject coincide. Various objections to Brouwer’s
Gödel’s Cantorianism
Godel’s philosophical conceptions bear striking similarities to Cantor’s. Although there is no conclusive evidence that Godel deliberately used or adhered to Cantor’s views, one can successfully
Leibniz on Infinite Numbers, Infinite Wholes, and Composite Substances
Leibniz claims that nature is actually infinite but rejects infinite number. Are his mathematical commitments out of step with his metaphysical ones? It is widely accepted that Leibniz has a viable
Absolute infinity in class theory and in theology
In this article we investigate similarities between the role that ineffability of Absolute Infinity plays in class theory and in theology.

References

SHOWING 1-10 OF 78 REFERENCES
On the philosophical development of Kurt Gödel
TLDR
It is argued that (1) Godel turned to Husserl in search of a means to make Leibniz’ monadology scientific and systematic, and (2) this explains Godel’s specific turn to Hussers’ transcendental idealism as opposed to the realism of the earlier Logical Investigations.
Gödel, Mathematics, And Possible Worlds
Hintikka has claimed that Godel did not believe in possible worlds and that the actualism this induces is the motivation behind his Platonism. I argue that Hintikka is wrong about what Godel
Gödel’s Modernism: On Set-Theoretic Incompleteness
On Friday, November 15, 1940, Kurt Godel gave a talk on set theory at Brown University. The topic was his recent proof of the consistency of Cantor's Continuum Hypothesis, henceforth CH, with the
Reflections on Kurt Gödel
Newton/Descartes. Einstein/Gdel. The seventeenth century had its scientific and philosophical geniuses. Why shouldn't ours have them as well? Kurt Gdel was indisputably one of the greatest thinkers
The Philosophy of Leibniz: Metaphysics and Language
This is the first, and indeed the definitive systematic account of the wide-ranging philosophical ideas of Leibniz. The author, a highly respected analytical philosopher, has brought his own
Mathematics without Numbers: Towards a Modal-Structural Interpretation
Part 1 The natural numbers and analysis: the modal-structural framework - the hypothetical component the categorical component - an axiom of infinity and a derivation (inspired by Dedekind with help
The light of the soul : theories of ideas in Leibniz, Malebranche, and Descartes
Descartes - the theory of ideas, innate ideas Malebranche - the theory of ideas, vision in God, vision in God and occasionalism, ideas and self-knowledge Leibniz - ideas and illumination, the defence
Arguments for the continuity principle
TLDR
There are two principles that lend Brouwer's mathematics the extra power beyond arithmetic: the continuity principle for numbers and the notion of lawless sequence, which surfaced fairly late in the history of intuitionism.
Cantorian set theory and limitation of size
Cantor's ideas formed the basis for set theory and also for the mathematical treatment of the concept of infinity. The philosophical and heuristic framework he developed had a lasting effect on
The philosophy of mathematics today
PART I: ONTOLOGY, MODELS, AND INDETERMINACY PART II: MATHEMATICS, SCIENCE, AND METHOD PART III: FINITISM AND INTUITIONISM PART IV: FREGE AND THE FOUNDATIONS OF ARITHMETIC PART V: SETS, STRUCTURE, AND
...
1
2
3
4
5
...