Combining Texts

All the ideas for 'There Are No Abstract Objects', 'On the Elements of Being: I' and 'On boundary numbers and domains of sets'

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 / a. Axioms for sets
17832 Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
13028 Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy]
5. Theory of Logic / L. Paradox / 3. Antinomies
17626 The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo]
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
8510 'Socrates is wise' means a concurrence sum contains a member of a similarity set [Williams,DC]
8508 A 'trope' is an abstract particular, the occurrence of an essence [Williams,DC]
8509 A world is completely constituted by its tropes and their connections [Williams,DC]
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
14596 Call 'nominalism' the denial of numbers, properties, relations and sets [Dorr]
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
14597 Natural Class Nominalism says there are primitive classes of things resembling in one respect [Dorr]
10. Modality / A. Necessity / 11. Denial of Necessity
14598 Abstracta imply non-logical brute necessities, so only nominalists can deny such things [Dorr]