13 ideas
| 8921 | Structuralism is now common, studying relations, with no regard for what the objects might be [Hellman] |
| Full Idea: With developments in modern mathematics, structuralist ideas have become commonplace. We study 'abstract structures', having relations without regard to the objects. As Hilbert famously said, items of furniture would do. | |
| From: Geoffrey Hellman (Structuralism [2007], §1) | |
| A reaction: Hilbert is known as a Formalist, which suggests that modern Structuralism is a refined and more naturalist version of the rather austere formalist view. Presumably the sofa can't stand for six, so a structural definition of numbers is needed. |
| 8698 | Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend] |
| Full Idea: The modal structuralist thinks of mathematical structures as possibilities. The application of mathematics is just the realisation that a possible structure is actualised. As structures are possibilities, realist ontological problems are avoided. | |
| From: report of Geoffrey Hellman (Mathematics without Numbers [1989]) by Michèle Friend - Introducing the Philosophy of Mathematics 4.3 | |
| A reaction: Friend criticises this and rejects it, but it is appealing. Mathematics should aim to be applicable to any possible world, and not just the actual one. However, does the actual world 'actualise a mathematical structure'? |
| 9557 | Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara] |
| Full Idea: Hellman represents statements of pure mathematics as elliptical for modal conditionals of a certain sort. | |
| From: report of Geoffrey Hellman (Mathematics without Numbers [1989]) by Charles Chihara - A Structural Account of Mathematics 5.3 | |
| A reaction: It's a pity there is such difficulty in understanding conditionals (see Graham Priest on the subject). I intuit a grain of truth in this, though I take maths to reflect the structure of the actual world (with possibilities being part of that world). |
| 10263 | Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman] |
| Full Idea: The usual way to show that a sentence is possible is to show that it has a model, but for Hellman presumably a sentence is possible if it might have a model (or if, possibly, it has a model). It is not clear what this move brings us. | |
| From: comment on Geoffrey Hellman (Mathematics without Numbers [1989]) by Stewart Shapiro - Philosophy of Mathematics 7.3 | |
| A reaction: I can't assess this, but presumably the possibility of the model must be demonstrated in some way. Aren't all models merely possible, because they are based on axioms, which seem to be no more than possibilities? |
| 8922 | Maybe mathematical objects only have structural roles, and no intrinsic nature [Hellman] |
| Full Idea: There is the tantalizing possibility that perhaps mathematical objects 'have no nature' at all, beyond their 'structural role'. | |
| From: Geoffrey Hellman (Structuralism [2007], §1) | |
| A reaction: This would fit with a number being a function rather than an object. We are interested in what cars do, not the bolts that hold them together? But the ontology of mathematics is quite separate from how you do mathematics. |
| 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! |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
| From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |