3 ideas
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. |
5451 | Popper felt that ancient essentialism was a bar to progress [Popper, by Mautner] |
Full Idea: Karl Popper vehemently rejected the essentialism which underpins Plato and Aristotle, taking it to be a major obstacle to political, moral and scientific progress. | |
From: report of Karl Popper (Open Society and Its Enemies:Hegel and Marx [1945]) by Thomas Mautner - Penguin Dictionary of Philosophy p.179 | |
A reaction: This makes Popper sound like an existentialist, which seems unlikely. Modern essentialism would say the opposite about science - that hunting for external imposed laws is a red herring, and we should try to understand essences. |
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? |