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. |
| 9379 | A sentence is obvious if it is true, and any speaker of the language will instantly agree to it [Quine] |
| Full Idea: A sentence is obvious if (a) it is true and (b) any speaker of the language is prepared, for any reason or none, to assent to it without hesitation, unless put off by being asked so obvious a question. | |
| From: Willard Quine (Reply to Hellman [1975], p.206), quoted by Paul Boghossian - Analyticity Reconsidered §III | |
| A reaction: This comes from someone who is keen to deny a priori knowledge, but what are we to make of the expostulations "It's obvious, you idiot!", and "Now I see it, it's obvious!", and "It seemed obvious, but I was wrong!"? |
| 13440 | Causation is the power of one property to produce another, and this gives time its direction [Esfeld] |
| Full Idea: The metaphysics of causation in terms of powers is linked with an intrinsic direction of time. There is a causal connection if an F-property produces a G. One can argue that causation thus is the basis for the direction of time. | |
| From: Michael Esfeld (Humean metaphysics vs metaphysics of Powers [2010], 7.2) | |
| A reaction: I think this is my preferred metaphysic - that both time and causation are primitive, but the direction of time is the result of the causal process. Viewing some new world, we would just say that time went in whichever direction the causation went. |