Combining Texts

All the ideas for 'Locke on Essences and Kinds', 'On Freedom' and 'Grundlagen (Foundations of Theory of Manifolds)'

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

---

10 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory

15946

Cantor developed sets from a progression into infinity by addition, multiplication and exponentiation [Cantor, by Lavine]

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers

15911

Ordinals are generated by endless succession, followed by a limit ordinal [Cantor, by Lavine]

9. Objects / D. Essence of Objects / 13. Nominal Essence

15642

If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle]

15645

Nominal essence are the observable properties of things [Eagle]

15643

Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle]

10. Modality / B. Possibility / 5. Contingency

5040	Necessary truths can be analysed into original truths; contingent truths are infinitely analysable [Leibniz]

10. Modality / D. Knowledge of Modality / 2. A Priori Contingent

13159

Only God sees contingent truths a priori [Leibniz]

10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects

5039	If non-existents are possible, their existence would replace what now exists, which cannot therefore be necessary [Leibniz]

26. Natural Theory / B. Natural Kinds / 4. Source of Kinds

15641

Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle]

28. God / A. Divine Nature / 3. Divine Perfections

5041	God does everything in a perfect way, and never acts contrary to reason [Leibniz]