|
|
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.
|