6 ideas
| 17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
| Full Idea: Gödel proved the completeness of first order predicate logic in his doctoral dissertation of 1930. | |
| From: report of Kurt Gödel (Completeness of Axioms of Logic [1930]) by Michal Walicki - Introduction to Mathematical Logic History E.2.2 |
| 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?? |
| 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! |
| 2614 | Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer] |
| Full Idea: Nowadays phenomenalism is held to be a theory of perception which says that physical objects are logical constructions out of sense-data. | |
| From: A.J. Ayer (Phenomenalism [1947], §1) |
| 2615 | The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer] |
| Full Idea: The introduction of the term 'sense-datum' is a means of referring to appearances without prejudging the question of what it is, if anything, that they are appearances of. | |
| From: A.J. Ayer (Phenomenalism [1947], §1) |