Combining Philosophers

Ideas for Herodotus, Harold Noonan and Arend Heyting

unexpand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers


2 ideas

6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
It is controversial whether only 'numerical identity' allows two things to be counted as one [Noonan]
     Full Idea: 'Numerical identity' implies the controversial view that it is the only identity relation in accordance with which we can properly count (or number) things: x and y are to be properly counted as one just in case they are numerically identical.
     From: Harold Noonan (Identity [2009], §1)
     A reaction: Noonan cites Geach, presumably to remind us of relative identity, where two things may be one or two, depending on what they are relative to. The one 'guard on the gate' may actually be two men.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
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.