14 ideas
| 5988 | Anaximander produced the first philosophy book (and maybe the first book) [Anaximander, by Bodnár] |
| 1496 | The earth is stationary, because it is in the centre, and has no more reason to move one way than another [Anaximander, by Aristotle] |
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| 21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
| 23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
| 21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
| 21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
| 14874 | Anaximander saw the contradiction in the world - that its own qualities destroy it [Anaximander, by Nietzsche] |
| 3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
| 405 | The essential nature, whatever it is, of the non-limited is everlasting and ageless [Anaximander] |
| 13222 | The Boundless cannot exist on its own, and must have something contrary to it [Aristotle on Anaximander] |
| 1495 | Anaximander introduced the idea that the first principle and element of things was the Boundless [Anaximander, by Simplicius] |
| 404 | Things begin and end in the Unlimited, and are balanced over time according to justice [Anaximander] |
| 1746 | The parts of all things are susceptible to change, but the whole is unchangeable [Anaximander, by Diog. Laertius] |