display all the ideas for this combination of philosophers
4 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. |
9159 | You can't simply convert geometry into algebra, as some spatial content is lost [Burge] |
Full Idea: Although one can translate geometrical propositions into algebraic ones and produce equivalent models, the meaning of geometrical propositions seems to me to be thereby lost. Pure geometry involves spatial content, even if abstracted from physical space. | |
From: Tyler Burge (Frege on Apriority [2000], IV) | |
A reaction: This supports Frege's view (against Quine) that geometry won't easily fit into the programme of logicism. I agree with Burge. You would be focusing on the syntax of geometry, and leaving out the semantics. |
12688 | Mathematics is the formal study of the categorical dimensions of things [Ellis] |
Full Idea: I wish to explore the idea that mathematics is the formal study of the categorical dimensions of things. | |
From: Brian Ellis (The Metaphysics of Scientific Realism [2009], 6) | |
A reaction: Categorical dimensions are spatiotemporal relations and other non-causal properties. Ellis defends categorical properties as an aspect of science. The obvious connection seems to be with structuralism in mathematics. Shapiro is sympathetic. |
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. |