11 ideas
18261 | A simplification which is complete constitutes a definition [Kant] |
17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
18260 | If we knew what we know, we would be astonished [Kant] |
6613 | The natural kinds are objects, processes and properties/relations [Ellis] |
6616 | Least action is not a causal law, but a 'global law', describing a global essence [Ellis] |
6615 | A species requires a genus, and its essence includes the essence of the genus [Ellis] |
6614 | A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis] |
6612 | Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis] |