5 ideas
6408 | Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling] |
Full Idea: In order to deduce the theorems of mathematics from purely logical axioms, Russell had to add three new axioms to those of standards logic, which were: the axiom of infinity, the axiom of choice, and the axiom of reducibility. | |
From: A.C. Grayling (Russell [1996], Ch.2) | |
A reaction: The third one was adopted to avoid his 'barber' paradox, but many thinkers do not accept it. The interesting question is why anyone would 'accept' or 'reject' an axiom. |
6414 | Two propositions might seem self-evident, but contradict one another [Grayling] |
Full Idea: Two propositions might contradict each other despite appearing self-evident when considered separately. | |
From: A.C. Grayling (Russell [1996], Ch.2) | |
A reaction: Russell's proposal (Idea 5416) is important here, that self-evidence comes in degrees. If self-evidence was all-or-nothing, Grayling's point would be a major problem, but it isn't. Bonjour explores the idea more fully (e.g. Idea 3704) |
10805 | A sentence should be recarved to reveal its content or implication relations [Yablo] |
Full Idea: A sentence invites recarving iff it will then do better justice to the internal structure of its content and/or its implication relations. | |
From: Stephen Yablo (Carving Content at the Joints [2002], §11) | |
A reaction: This invites human intervention in a logical process (by choosing which recarvings to do, instead of allowing all equivalences to generate them). He seems to think we should abstract in order to reveal logical form. |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
Full Idea: Archelaus was the first person to say that the universe is boundless. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |