12 ideas
14212 | A consistent theory just needs one model; isomorphic versions will do too, and large domains provide those [Lewis] |
17818 | How many? must first partition an aggregate into sets, and then logic fixes its number [Yourgrau] |
17822 | Nothing is 'intrinsically' numbered [Yourgrau] |
17817 | Defining 'three' as the principle of collection or property of threes explains set theory definitions [Yourgrau] |
17815 | We can't use sets as foundations for mathematics if we must await results from the upper reaches [Yourgrau] |
17821 | You can ask all sorts of numerical questions about any one given set [Yourgrau] |
14213 | Anti-realists see the world as imaginary, or lacking joints, or beyond reference, or beyond truth [Lewis] |
14210 | A gerrymandered mereological sum can be a mess, but still have natural joints [Lewis] |
14215 | Causal theories of reference make errors in reference easy [Lewis] |
14209 | Descriptive theories remain part of the theory of reference (with seven mild modifications) [Lewis] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |