1956 | Intuitionism: an Introduction |
p.187 | 8754 | Logic is dependent on mathematics, not the other way round | |
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. |