# 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

- Philosophy
- 2015

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

- Mathematics
- 2018

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

- Philosophy
- 2014

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

- Mathematics
- 2016

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

- Philosophy, Computer ScienceBull. Symb. Log.
- 2003

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

- 2015

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

- Philosophy
- 2004

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

- Philosophy
- 1987

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

- Philosophy
- 1989

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

- Mathematics
- 1989

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

- Philosophy
- 1990

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

- Mathematics, PhilosophyBull. Symb. Log.
- 2002

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

- Mathematics
- 1984

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

- Computer Science
- 1998

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…