3 ideas
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
Full Idea: Heyting (the intuitionist pupil of Brouwer) said that 'logic is dependent on mathematics', not the other way round. | |
From: report of Arend Heyting (Intuitionism: an Introduction [1956]) by Stewart Shapiro - Thinking About Mathematics 7.3 | |
A reaction: To me, this claim makes logicism sound much more plausible, as I don't see how mathematics could get beyond basic counting without a capacity for logical thought. Logic runs much deeper, psychologically and metaphysically. |
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 |
8338 | A phenomenalist about objects has to be a regularity theorist about causation [Strawson,G] |
Full Idea: If you are a phenomenalist about objects, then there is an important sense in which you ought to be a Regularity theorist about what causation is, in such objects. | |
From: Galen Strawson (The Secret Connexion [1989], App C) | |
A reaction: Strawson is denying that Hume is a phenomenalist. One might go a little further, and say that a phenomenalist should abandon the idea of causation (as Russell did). |