9 ideas
17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
15453 | The main rivals to universals are resemblance or natural-class nominalism, or sparse trope theory [Lewis] |
15452 | We could not uphold a truthmaker for 'Fa' without structures [Lewis] |
19402 | The actual universe is the richest composite of what is possible [Leibniz] |