Combining Texts

All the ideas for 'Reportatio', 'The Identity of Indiscernibles' and 'Our Knowledge of Mathematical Objects'

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

---

9 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]

6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism

9224	Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K]

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism

9222	The objects and truths of mathematics are imperative procedures for their construction [Fine,K]

9223	My Proceduralism has one simple rule, and four complex rules [Fine,K]

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]

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

9111	God is not wise, but more-than-wise; God is not good, but more-than-good [William of Ockham]

28. God / C. Attitudes to God / 4. God Reflects Humanity

9112	We could never form a concept of God's wisdom if we couldn't abstract it from creatures [William of Ockham]