Combining Texts

All the ideas for 'Letters to Edward Stillingfleet', 'The Theory of Transfinite Numbers' and 'The Barcan Formula and Metaphysics'

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

---

8 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula

16186

The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen]

16187

The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen]

16190

BF implies that if W possibly had a child, then something is possibly W's child [Simchen]

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

9616	A set is a collection into a whole of distinct objects of our intuition or thought [Cantor]

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities

15896

Cantor needed Power Set for the reals, but then couldn't count the new collections [Cantor, by Lavine]

9. Objects / D. Essence of Objects / 3. Individual Essences

15990

Every individual thing which exists has an essence, which is its internal constitution [Locke]

10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism

16188

Serious Actualism says there are no facts at all about something which doesn't exist [Simchen]

11. Knowledge Aims / B. Certain Knowledge / 1. Certainty

15994

If it is knowledge, it is certain; if it isn't certain, it isn't knowledge [Locke]