Combining Texts

All the ideas for 'fragments/reports', 'The Identity of Indiscernibles' and 'The Logical Structure of the World (Aufbau)'

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

---

7 ideas

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 / A. Necessity / 8. Transcendental Necessity

490	Everything happens by reason and necessity [Leucippus]

14. Science / B. Scientific Theories / 1. Scientific Theory

18699

Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button]

18. Thought / D. Concepts / 4. Structure of Concepts / g. Conceptual atomism

12131

All concepts can be derived from a few basics, making possible one science of everything [Carnap, by Brody]