3 ideas
| 13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
| Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points. | |
| From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13 | |
| A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry. |
| 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. |
| 20344 | Music is not an expressive art, because it expresses no familiar emotions [Hanslick, by Wollheim] |
| Full Idea: Hanslick concluded from the fact that music doesn't express definite feelings like piety, love, joy, or sadness, that it isn't an art of expression. | |
| From: report of Eduard Hanslick (The Beautiful in Music [1854]) by Richard Wollheim - Art and Its Objects 48 | |
| A reaction: Whether music is 'expressive' (which it may not be) should not be confused with whether it is emotional, which it clearly is, even in its coolest examples. Hanslick viewed music as a code, not a language. |