10 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) |
| 12295 | 3-D says things are stretched in space but not in time, and entire at a time but not at a location [Fine,K] |
| Full Idea: Three-dimensionalist think a thing is somehow 'stretched out' through its location at a given time though not through the period during which it exists, and it is present in its entirety at a moment when it exists though not at a position of its location. | |
| From: Kit Fine (In Defence of Three-Dimensionalism [2006], p.1) | |
| A reaction: This definition is designed to set up Fine's defence of the 3-D view, by showing that various dubious asymmetries show up if you do not respect the distinctions offered by the 3-D view. |
| 12298 | Genuine motion, rather than variation of position, requires the 'entire presence' of the object [Fine,K] |
| Full Idea: In order to have genuine motion, rather than mere variation in position, it is necessary that the object should be 'entirely present' at each moment of the change. Thus without entire presence, or existence, genuine motion will not be possible. | |
| From: Kit Fine (In Defence of Three-Dimensionalism [2006], p.6) | |
| A reaction: See Idea 4786 for a rival view of motion. Of course, who says we have to have Kit Fine's 'genuine' motion, if some sort of ersatz motion still gets you to work in the morning? |
| 12296 | 4-D says things are stretched in space and in time, and not entire at a time or at a location [Fine,K] |
| Full Idea: Four-dimensionalists have thought that a material thing is as equally 'stretched out' in time as it is in space, and that there is no special way in which it is entirely present at a moment rather than at a position. | |
| From: Kit Fine (In Defence of Three-Dimensionalism [2006], p.1) | |
| A reaction: Compare his definition of 3-D in Idea 12295. The 4-D is contrary to our normal way of thinking. Since I don't think the future exists, I presume that if I am a 4-D object then I have to say that I don't yet exist, and I disapprove of such talk. |
| 18882 | You can ask when the wedding was, but not (usually) when the bride was [Fine,K, by Simons] |
| Full Idea: Fine says it is acceptable to ask when a wedding was and where it was, and it is acceptable to ask or state where the bride was (at a certain time), but not when she was. | |
| From: report of Kit Fine (In Defence of Three-Dimensionalism [2006], p.18) by Peter Simons - Modes of Extension: comment on Fine p.18 | |
| A reaction: This is aimed at three-dimensionalists who seem to think that a bride is a prolonged event, just as a wedding is. Fine is, interestingly, invoking ordinary language. When did the wedding start and end? When was the bride's birth and death? |
| 12297 | Three-dimensionalist can accept temporal parts, as things enduring only for an instant [Fine,K] |
| Full Idea: Even if one is a three-dimensionalist, one might affirm the existence of temporal parts, on the grounds that everything merely endures for an instant. | |
| From: Kit Fine (In Defence of Three-Dimensionalism [2006], p.2) | |
| A reaction: This seems an important point, as belief in temporal parts is normally equated with four-dimensionalism (see Idea 12296). The idea is that a thing might be 'entirely present' at each instant, only to be replaced by a simulacrum. |
| 5271 | Prejudice apart, push-pin has equal value with music and poetry [Bentham] |
| Full Idea: Prejudice apart, the game of push-pin is of equal value with the arts and science of music and poetry. | |
| From: Jeremy Bentham (Constitutional Code I [1827], p.139), quoted by J.R. Dinwiddy - Bentham p.114 | |
| A reaction: Mill quoted this with implied outrage, but Bentham was attacking public subsidies to the arts when he said it. It is a basic idea in the debate on pleasure - that pleasures are only distinguished by their intensity, not some other value. |