Ideas from 'Intuitionism: an Introduction' by Arend Heyting [1956], by Theme Structure

green numbers give full details    |     back to texts     |     unexpand this idea

6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
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.