9 ideas
| 1813 | All reasoning endlessly leads to further reasoning (Mode 12) [Agrippa, by Diog. Laertius] |
| Full Idea: Twelfth mode: all reasoning leads on to further reasoning, and this process goes on forever. | |
| From: report of Agrippa (fragments/reports [c.60]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.10 |
| 1811 | Proofs often presuppose the thing to be proved (Mode 15) [Agrippa, by Diog. Laertius] |
| Full Idea: Fifteenth mode: proofs often presuppose the thing to be proved. | |
| From: report of Agrippa (fragments/reports [c.60]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.10 |
| 1815 | Reasoning needs arbitrary faith in preliminary hypotheses (Mode 14) [Agrippa, by Diog. Laertius] |
| Full Idea: Fourteenth mode: reasoning requires arbitrary faith in preliminary hypotheses. | |
| From: report of Agrippa (fragments/reports [c.60]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.10 |
| 1812 | All discussion is full of uncertainty and contradiction (Mode 11) [Agrippa, by Diog. Laertius] |
| Full Idea: Eleventh mode: all topics of discussion are full of uncertainty and contradiction. | |
| From: report of Agrippa (fragments/reports [c.60]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.10 |
| 9616 | A set is a collection into a whole of distinct objects of our intuition or thought [Cantor] |
| Full Idea: A set is any collection into a whole M of definite, distinct objects m ... of our intuition or thought. | |
| From: George Cantor (The Theory of Transfinite Numbers [1897], p.85), quoted by James Robert Brown - Philosophy of Mathematics Ch.2 | |
| A reaction: This is the original conception of a set, which hit trouble with Russell's Paradox. Cantor's original definition immediately invites thoughts about the status of vague objects. |
| 15896 | Cantor needed Power Set for the reals, but then couldn't count the new collections [Cantor, by Lavine] |
| Full Idea: Cantor grafted the Power Set axiom onto his theory when he needed it to incorporate the real numbers, ...but his theory was supposed to be theory of collections that can be counted, but he didn't know how to count the new collections. | |
| From: report of George Cantor (The Theory of Transfinite Numbers [1897]) by Shaughan Lavine - Understanding the Infinite I | |
| A reaction: I take this to refer to the countability of the sets, rather than the members of the sets. Lavine notes that counting was Cantor's key principle, but he now had to abandon it. Zermelo came to the rescue. |
| 8850 | Agrippa's Trilemma: justification is infinite, or ends arbitrarily, or is circular [Agrippa, by Williams,M] |
| Full Idea: Agrippa's Trilemma offers three possible outcomes for a regress of justification: the chain goes on for ever (infinite); or the chain stops at an unjustified proposition (arbitrary); or the chain eventually includes the original proposition (circular). | |
| From: report of Agrippa (fragments/reports [c.60], §2) by Michael Williams - Without Immediate Justification §2 | |
| A reaction: This summarises Ideas 1911, 1913 and 1914. Agrippa's Trilemma is now a standard starting point for modern discussions of foundations. Personally I reject 2, and am torn between 1 (+ social consensus) and 3 (with a benign, coherent circle). |
| 1814 | Everything is perceived in relation to another thing (Mode 13) [Agrippa, by Diog. Laertius] |
| Full Idea: Thirteenth mode: everything is always perceived in relation to something else. | |
| From: report of Agrippa (fragments/reports [c.60]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.10 |
| 12709 | Motion is not absolute, but consists in relation [Leibniz] |
| Full Idea: In reality motion is not something absolute, but consists in relation. | |
| From: Gottfried Leibniz (On Motion [1677], A6.4.1968), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 3 | |
| A reaction: It is often thought that motion being relative was invented by Einstein, but Leibniz wholeheartedly embraced 'Galilean relativity', and refused to even consider any absolute concept of motion. Acceleration is a bit trickier than velocity. |