4 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. |
| 4577 | There is no necessity higher than natural necessity, and that is just regularity [Quine] |
| Full Idea: In principle I see no higher or more austere necessity than natural necessity; and in natural necessity, or our attribution of it, I see only Hume's regularities | |
| From: Willard Quine (Necessary Truth [1963], p.76) | |
| A reaction: Presumably this allows logical necessity as a 'lower' necessity, but denies 'metaphysical' necessity, in line with Hume and other tough empiricists. Personally I adore metaphysical necessities, but they are a bit hard to establish conclusively. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |