Combining Texts

All the ideas for 'Letter to G.H. Schaller', 'The Identity of Indiscernibles' and 'On the Source of Necessity'

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

8 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
15102 S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
10196 The Axiom of Choice needs a criterion of choice [Black]
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
10194 Two things can only be distinguished by a distinct property or a distinct relation [Black]
9. Objects / F. Identity among Objects / 5. Self-Identity
10193 The 'property' of self-identity is uselessly tautological [Black]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
10195 If the universe just held two indiscernibles spheres, that refutes the Identity of Indiscernibles [Black]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
15103 Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron]
16. Persons / F. Free Will / 5. Against Free Will
4871 A thing is free if it acts only by the necessity of its own nature [Spinoza]
27. Natural Reality / D. Time / 1. Nature of Time / f. Eternalism
15104 The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron]