5 ideas
| 10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
| Full Idea: Very few things in set theory remain valid in intuitionist mathematics. | |
| From: Paul Bernays (On Platonism in Mathematics [1934]) |
| 10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
| Full Idea: A restricted Platonism does not claim to be more than, so to speak, an ideal projection of a domain of thought. | |
| From: Paul Bernays (On Platonism in Mathematics [1934], p.261) | |
| A reaction: I have always found Platonism to be congenial when it talks of 'ideals', and ridiculous when it talks of a special form of 'existence'. Ideals only 'exist' because we idealise things. I may declare myself, after all, to be a Restricted Platonist. |
| 8754 | 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. |
| 10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
| Full Idea: Mathematical abstraction does not have a lesser degree than logical abstraction, but rather another direction. | |
| From: Paul Bernays (On Platonism in Mathematics [1934], p.268) | |
| A reaction: His point is that the logicists seem to think that if you increasingly abstract from mathematics, you end up with pure logic. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |