19 ideas
19740 | A very hungry man cannot choose between equidistant piles of food [Aristotle] |
8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
15119 | Aristotelian explanation by essence may need to draw on knowledge of other essences [Aristotle, by Koslicki] |
398 | Each thing that has a function is for the sake of that function [Aristotle] |
394 | An unworn sandal is in vain, but nothing in nature is in vain [Aristotle] |
396 | There has to be some goal, and not just movement to infinity [Aristotle] |
16102 | Aether moves in circles and is imperishable; the four elements perish, and move in straight lines [Aristotle, by Gill,ML] |
17463 | An element is what bodies are analysed into, and won't itself divide into something else [Aristotle] |
399 | If the more you raise some earth the faster it moves, why does the whole earth not move? [Aristotle] |
20918 | Void is a kind of place, so it can't explain place [Aristotle] |
403 | The earth must be round and of limited size, because moving north or south makes different stars visible [Aristotle] |
402 | The Earth must be spherical, because it casts a convex shadow on the moon [Aristotle] |
1498 | Everyone agrees that the world had a beginning, but thinkers disagree over whether it will end [Aristotle] |
395 | It seems possible that there exists a limited number of other worlds apart from this one [Aristotle] |
23302 | Plants have far less life than animals, but more life than other corporeal entities [Aristotle] |
23301 | There is a gradual proceeding from the inanimate to animals, with no clear borderlines [Aristotle] |