8 ideas
| 17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
| Full Idea: The first-order Sermelo-Fraenkel axiomatisation is highly non-categorical. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1213) |
| 17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
| Full Idea: The non-categoricity of the axioms which Zermelo demonstrates reveals an incompleteness of a sort, ....for this seems to show that there will always be a set (indeed, an unending sequence) that the basic axioms are incapable of revealing to be sets. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1215) | |
| A reaction: Hallett says the incompleteness concerning Zermelo was the (transfinitely) indefinite iterability of the power set operation (which is what drives the 'iterative conception' of sets). |
| 17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
| Full Idea: Unlike earlier writers (such as Fraenkel), Zermelo clearly allows that there might be ur-elements (that is, objects other than the empty set, which have no members). Indeed he sees in this the possibility of widespread application of set-theory. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |
| 17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
| Full Idea: In 1938, Gödel showed that ZF plus the General Continuum Hypothesis is consistent if ZF is. Cohen showed that ZF and not-GCH is also consistent if ZF is, which finally shows that neither GCH nor ¬GCH can be proved from ZF itself. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |
| 2957 | Brain bisection suggests unity of mind isn't all-or-nothing [Nagel, by Lockwood] |
| Full Idea: Nagel argues (because of brain bisection experiments) that we should jettison our commonsense assumption that the unity of consciousness is an all-or-nothing affair. | |
| From: report of Thomas Nagel (Brain Bisection and Unity of Consciousness [1971]) by Michael Lockwood - Mind, Brain and the Quantum p.84 | |
| A reaction: It seems wrong to call it 'commonsense'. It is an assumption that precedes any judgement, but if you rapidly grasp that your mind is in your brain, it becomes common sense that you can cut lumps out of your mind. |
| 3285 | We may be unable to abandon personal identity, even when split-brains have undermined it [Nagel] |
| Full Idea: As a result of the evidence of split-brains, it is possible that the ordinary, simple idea of a single person will come to seem quaint some day, …but we may be unable to abandon the idea, no matter what we discover. | |
| From: Thomas Nagel (Brain Bisection and Unity of Consciousness [1971], p.164) | |
| A reaction: I'm not sure what grounds you can have for a claim that we can't abandon our current view of selves, even when the new reality will be utterly different. Rather conservative? I would expect future concepts to roughly match future reality. |
| 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. |