8 ideas
| 17809 | Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel] |
| Full Idea: Usually Gödel's incompleteness theorems are taken as showing a limitation on the syntactic approach to an understanding of the concept of infinity. | |
| From: Georg Kreisel (Hilbert's Programme [1958], 05) |
| 17810 | The study of mathematical foundations needs new non-mathematical concepts [Kreisel] |
| Full Idea: It is necessary to use non-mathematical concepts, i.e. concepts lacking the precision which permit mathematical manipulation, for a significant approach to foundations. We currently have no concepts of this kind which we can take seriously. | |
| From: Georg Kreisel (Hilbert's Programme [1958], 06) | |
| A reaction: Music to the ears of any philosopher of mathematics, because it means they are not yet out of a job. |
| 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!) |
| 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. |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature. | |
| From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8 |
| 17811 | The natural conception of points ducks the problem of naming or constructing each point [Kreisel] |
| Full Idea: In analysis, the most natural conception of a point ignores the matter of naming the point, i.e. how the real number is represented or by what constructions the point is reached from given points. | |
| From: Georg Kreisel (Hilbert's Programme [1958], 13) | |
| A reaction: This problem has bothered me. There are formal ways of constructing real numbers, but they don't seem to result in a name for each one. |