9 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) |
| 22485 | Non-cognitivists give the conditions of use of moral sentences as facts about the speaker [Foot] |
| Full Idea: What all these [non-cognitivist] theories try to do is to give the conditions of use of sentences such as 'It is morally objectionable to break promises', in terms of something which must be true about the speaker. | |
| From: Philippa Foot (Does Moral Subjectivism Rest on a Mistake? [1995], p.192) | |
| A reaction: A wonderfully simple and accurate analysis of this view. Compare analysing 'there is a bus coming towards you' in the same way. Sounds silly, but lots of modern philosophers see things that way. |
| 22486 | The mistake is to think good grounds aren't enough for moral judgement, which also needs feelings [Foot] |
| Full Idea: The mistake is to think that whatever 'grounds' for a moral judgement may have been given, someone may be unready, indeed unable, to make the moral judgement, because he has not got the attitude or feeling. | |
| From: Philippa Foot (Does Moral Subjectivism Rest on a Mistake? [1995], p.192) | |
| A reaction: This is roughly the Frege-Geach problem for expressivism, of how we still make moral judgements about situations where we ourselves are entirely disinterested (such as ancient historical events). |
| 22487 | Moral arguments are grounded in human facts [Foot] |
| Full Idea: The grounding of a moral argument is ultimately in facts about human life. | |
| From: Philippa Foot (Does Moral Subjectivism Rest on a Mistake? [1995], p.207) | |
| A reaction: The best slogan I can find for summarising Foot's metaethics. The facts she refers to the basic human needs. She is right, and this almost bridges the fact-value divide (as long as you give a damn about human needs). |
| 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. |