5 ideas
| 10245 | One geometry cannot be more true than another [Poincaré] |
| Full Idea: One geometry cannot be more true than another; it can only be more convenient. | |
| From: Henri Poincaré (Science and Method [1908], p.65), quoted by Stewart Shapiro - Philosophy of Mathematics | |
| A reaction: This is the culminating view after new geometries were developed by tinkering with Euclid's parallels postulate. |
| 16901 | The equivalent algebra model of geometry loses some essential spatial meaning [Burge] |
| Full Idea: Geometrical concepts appear to depend in some way on a spatial ability. Although one can translate geometrical propositions into algebraic ones and produce equivalent models, the meaning of the propositions seems to me to be thereby lost. | |
| From: Tyler Burge (Frege on Apriority (with ps) [2000], 4) | |
| A reaction: I think this is a widely held view nowadays. Giaquinto has a book on it. A successful model of something can't replace it. Set theory can't replace arithmetic. |
| 16902 | Peano arithmetic requires grasping 0 as a primitive number [Burge] |
| Full Idea: In the Peano axiomatisation, arithmetic seems primitively to involve the thought that 0 is a number. | |
| From: Tyler Burge (Frege on Apriority (with ps) [2000], 5) | |
| A reaction: Burge is pointing this out as a problem for Frege, for whom only the logic is primitive. |
| 16892 | Is apriority predicated mainly of truths and proofs, or of human cognition? [Burge] |
| Full Idea: Whereas Leibniz and Frege predicate apriority primarily of truths (or more fundamentally, proofs of truths), Kant predicates apriority primarily of cognition and the employment of representations. | |
| From: Tyler Burge (Frege on Apriority (with ps) [2000], 1) |
| 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? |