Combining Texts

All the ideas for 'Exigency to Exist in Essences', 'In Metaphysics' and 'works'

expand these ideas     |    start again     |     specify just one area for these texts

---

9 ideas

6. Mathematics / A. Nature of Mathematics / 1. Mathematics

8717	Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend]

6. Mathematics / C. Sources of Mathematics / 7. Formalism

10113

The grounding of mathematics is 'in the beginning was the sign' [Hilbert]

10115

Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman]

6. Mathematics / C. Sources of Mathematics / 8. Finitism

10116

Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman]

7. Existence / A. Nature of Existence / 5. Reason for Existence

19400

Possibles demand existence, so as many of them as possible must actually exist [Leibniz]

19401

God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz]

7. Existence / A. Nature of Existence / 6. Criterion for Existence

16660

Are things distinct if they are both separate, or if only one of them can be separate? [Duns Scotus, by Pasnau]

9. Objects / B. Unity of Objects / 2. Substance / a. Substance

16626

Substance is only grasped under the general heading of 'being' [Duns Scotus]

10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds

19402

The actual universe is the richest composite of what is possible [Leibniz]