Single Idea 8754

[catalogued under 6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique]

Full Idea

Heyting (the intuitionist pupil of Brouwer) said that 'logic is dependent on mathematics', not the other way round.

Gist of Idea

Logic is dependent on mathematics, not the other way round

Source

report of Arend Heyting (Intuitionism: an Introduction [1956]) by Stewart Shapiro - Thinking About Mathematics 7.3

Book Reference

Shapiro,Stewart: 'Thinking About Mathematics' [OUP 2000], p.187


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.