9 ideas
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] |
17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
14296 | Dispositions are physical states of mechanism; when known, these replace the old disposition term [Quine] |
13169 | I call Aristotle's entelechies 'primitive forces', which originate activity [Leibniz] |
13168 | My formal unifying atoms are substantial forms, which are forces like appetites [Leibniz] |
13170 | The analysis of things leads to atoms of substance, which found both composition and action [Leibniz] |
13171 | Substance must necessarily involve progress and change [Leibniz] |
13167 | We need the metaphysical notion of force to explain mechanics, and not just extended mass [Leibniz] |