10 ideas
| 21554 | Sets always exceed terms, so all the sets must exceed all the sets [Lackey] |
| Full Idea: Cantor proved that the number of sets in a collection of terms is larger than the number of terms. Hence Cantor's Paradox says the number of sets in the collection of all sets must be larger than the number of sets in the collection of all sets. | |
| From: Douglas Lackey (Intros to Russell's 'Essays in Analysis' [1973], p.127) | |
| A reaction: The sets must count as terms in the next iteration, but that is a normal application of the Power Set axiom. |
| 21553 | It seems that the ordinal number of all the ordinals must be bigger than itself [Lackey] |
| Full Idea: The ordinal series is well-ordered and thus has an ordinal number, and a series of ordinals to a given ordinal exceeds that ordinal by 1. So the series of all ordinals has an ordinal number that exceeds its own ordinal number by 1. | |
| From: Douglas Lackey (Intros to Russell's 'Essays in Analysis' [1973], p.127) | |
| A reaction: Formulated by Burali-Forti in 1897. |
| 13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
| Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points. | |
| From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13 | |
| A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry. |
| 13437 | A CAR and its major PART can become identical, yet seem to have different properties [Gallois] |
| Full Idea: At t1 there is a whole CAR, and a PART of it, which is everything except the right front wheel. At t2 the wheel is removed, leaving just PART, so that CAR is now PART. But PART was a proper part of CAR, and CAR had the front wheel. Different properties! | |
| From: André Gallois (Occasions of Identity [1998], 1.II) | |
| A reaction: [compressed summary] The problem is generated by appealing to Leibniz's Law. My immediate reaction is that this is the sort of trouble you get into if you include such temporal truths about things as 'properties'. |
| 16233 | Gallois hoped to clarify identity through time, but seems to make talk of it impossible [Hawley on Gallois] |
| Full Idea: A problem for Gallois is that he leaves us no way to talk about questions of genuine identity through time, and thus undercuts one motivation for his own position. | |
| From: comment on André Gallois (Occasions of Identity [1998]) by Katherine Hawley - How Things Persist 5.8 | |
| A reaction: Gallois seems to need a second theory of identity to support his Occasional Identity theory. Two things need an identity each, before we can say that the two identities coincide. (Time to read Gallois!) |
| 16025 | If things change they become different - but then no one thing undergoes the change! [Gallois] |
| Full Idea: If things really change, there can't literally be one thing before and after the change. However, if there isn't one thing before and after the change, then no thing has really undergone any change. | |
| From: André Gallois (Identity over Time [2011], Intro) | |
| A reaction: [He cites Copi for this way of expressing the problem of identity through change] There is an obvious simple ambiguity about 'change' in ordinary English. A change of property isn't a change of object. Painting a red ball blue isn't swapping it. |
| 16026 | 4D: time is space-like; a thing is its history; past and future are real; or things extend in time [Gallois] |
| Full Idea: We have four versions of Four-Dimensionalism: the relativistic view that time is space-like; a persisting thing is identical with its history (so objects are events); past and future are equally real; or (Lewis) things extend in time, with temporal parts. | |
| From: André Gallois (Identity over Time [2011], §2.5) | |
| A reaction: Broad proposed the second one. I prefer 3-D: at any given time a thing is wholly present. At another time it is wholly present despite having changed. It is ridiculous to think that small changes destroy identity. We acquire identity by dying?? |
| 14755 | Gallois is committed to identity with respect to times, and denial of simple identity [Gallois, by Sider] |
| Full Idea: Gallois's core claim is that the identity relation holds with respect to times, ...and he must claim that there is no such thing as the relation of identity simpliciter. | |
| From: report of André Gallois (Occasions of Identity [1998]) by Theodore Sider - Four Dimensionalism 5.5 | |
| A reaction: Gallois is essentially responding to the statue and clay problem, but it seems a bit drastic to entirely change our concept of two things being identical, such as Hesperus and Phosphorus. 'Identity' seems to have several meanings; let's sort them out. |
| 16231 | Occasional Identity: two objects can be identical at one time, and different at others [Gallois, by Hawley] |
| Full Idea: Gallois' Occasional Identity Thesis is that objects can be identical at one time without being identical at all times. | |
| From: report of André Gallois (Occasions of Identity [1998]) by Katherine Hawley - How Things Persist 5.4 | |
| A reaction: The analogy is presumably with two crossing roads being identical at one place but not at others. It is a major misunderstanding to infer from Special Relativity that time is just like space. |
| 16027 | If two things are equal, each side involves a necessity, so the equality is necessary [Gallois] |
| Full Idea: The necessity of identity: a=b; □(a=a); so something necessarily = a; so something necessarily must equal b; so □(a=b). [A summary of the argument of Marcus and Kripke] | |
| From: André Gallois (Identity over Time [2011], §3) | |
| A reaction: [Lowe 1982 offered a response] The conclusion seems reasonable. If two things are mistakenly thought to be different, but turn out to be one thing, that one thing could not possibly be two things. In no world is one thing two things! |