23 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] |
15717 | Using Choice, you can cut up a small ball and make an enormous one from the pieces [Kaplan/Kaplan] |
13010 | In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine] |
9002 | Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine] |
13681 | Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider] |
13829 | If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine] |
9003 | Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine] |
15712 | 1 and 0, then add for naturals, subtract for negatives, divide for rationals, take roots for irrationals [Kaplan/Kaplan] |
15711 | The rationals are everywhere - the irrationals are everywhere else [Kaplan/Kaplan] |
15714 | 'Commutative' laws say order makes no difference; 'associative' laws say groupings make no difference [Kaplan/Kaplan] |
15715 | 'Distributive' laws say if you add then multiply, or multiply then add, you get the same result [Kaplan/Kaplan] |
9004 | If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine] |
14874 | Anaximander saw the contradiction in the world - that its own qualities destroy it [Anaximander, by Nietzsche] |
9006 | Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine] |
9001 | Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine] |
9005 | Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine] |
15713 | The first million numbers confirm that no number is greater than a million [Kaplan/Kaplan] |
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] |