19 ideas
| 19740 | A very hungry man cannot choose between equidistant piles of food [Aristotle] |
| 10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
| 10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
| 10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
| 10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
| 10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
| 398 | Each thing that has a function is for the sake of that function [Aristotle] |
| 541 | Virtue comes more from habit than character [Critias] |
| 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] |
| 542 | Fear of the gods was invented to discourage secret sin [Critias] |