Combining Texts

All the ideas for 'In Praed.', 'The Nature of Necessity' and 'What Numbers Are'

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

---

6 ideas

5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems

17813

Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP]

6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure

17812

Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP]

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

16776

Substance is an intrinsic thing, so parts of substances can't also be intrinsic things [Duns Scotus]

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

18383

Plantinga says there is just this world, with possibilities expressed in propositions [Plantinga, by Armstrong]

10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation

11891

Possibilities for an individual can only refer to that individual, in some possible world [Plantinga, by Mackie,P]

28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof

20704

A possible world contains a being of maximal greatness - which is existence in all worlds [Plantinga, by Davies,B]