display all the ideas for this combination of texts
3 ideas
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. |
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. |
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. |