8 ideas
| 13655 | The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro] |
| Full Idea: Putnam claims that the Löwenheim-Skolem theorems indicate that there is no 'fact of the matter' whether all sets are constructible. | |
| From: report of Hilary Putnam (Models and Reality [1977]) by Stewart Shapiro - Foundations without Foundationalism | |
| A reaction: [He refers to the 4th and 5th pages of Putnam's article] Shapiro offers (p.109) a critique of Putnam's proposal. |
| 9915 | V = L just says all sets are constructible [Putnam] |
| Full Idea: V = L just says all sets are constructible. L is the class of all constructible sets, and V is the universe of all sets. | |
| From: Hilary Putnam (Models and Reality [1977], p.425) |
| 9913 | The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam] |
| Full Idea: The Löwenheim-Skolem Theorem says that a satisfiable first-order theory (in a countable language) has a countable model. ..I argue that this is not a logical antinomy, but close to one in philosophy of language. | |
| From: Hilary Putnam (Models and Reality [1977], p.421) | |
| A reaction: See the rest of this paper for where he takes us on this. |
| 9914 | It is unfashionable, but most mathematical intuitions come from nature [Putnam] |
| Full Idea: Experience with nature is undoubtedly the source of our most basic 'mathematical intuitions', even if it is unfashionable to say so. | |
| From: Hilary Putnam (Models and Reality [1977], p.424) | |
| A reaction: Correct. I find it quite bewildering how Frege has managed to so discredit all empirical and psychological approaches to mathematics that it has become a heresy to say such things. |
| 12251 | Substantial forms are not understood, and explain nothing [Descartes] |
| Full Idea: Clearly no explanation can be given by these substantial forms for any natural action, since their defenders admit that they are occult and that they do not understand them themselves, ...so they explain nothing. | |
| From: René Descartes (Letters to Regius [1642], 1642.01), quoted by David S. Oderberg - Real Essentialism 267 n5 | |
| A reaction: [Oderberg gives refs for attack by Locke and Hume, p.66] Descartes' target is Aristotle's hylomorphism. The problem seems to be understanding what Aristotle meant, which is much more than mere 'shape'. More like 'controlling principle'. |
| 16772 | An angelic mind would not experience pain, even when connected to a human body [Descartes, by Pasnau] |
| Full Idea: Descartes points out that an angelic mind, even if causally connected to a human body, would not experience the same sort of bodily sensations; it would, instead, simply observe flesh being torn, like a piece of paper. | |
| From: report of René Descartes (Letters to Regius [1642], III:493) by Robert Pasnau - Metaphysical Themes 1274-1671 25.6 | |
| A reaction: Does that mean that the angel could not have the experience even if it wanted to have it. So they can't pick up a cup either? So they can't make themselves known to us, even if they are desperate to? So the Annunciation never happened? |
| 16713 | Philosophers are the forefathers of heretics [Tertullian] |
| Full Idea: Philosophers are the forefathers of heretics. | |
| From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2 |
| 6610 | I believe because it is absurd [Tertullian] |
| Full Idea: I believe because it is absurd ('Credo quia absurdum est'). | |
| From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2 | |
| A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though. |