Combining Texts

All the ideas for 'Abstract Objects:intro to Axiomatic Metaphysics', 'The Logic of Infinity' and 'The Foundations of Mathematics (2nd ed)'

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

---

4 ideas

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism

18203

Avoid non-predicative classifications and definitions [Poincaré]

8. Modes of Existence / A. Relations / 4. Formal Relations / b. Equivalence relation

18465

An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen]

9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta

10414

Abstract objects are constituted by encoded collections of properties [Zalta, by Swoyer]

9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta

10415

Properties make round squares and round triangles distinct, unlike exemplification [Zalta, by Swoyer]