4 ideas
| 9226 | If mathematical theories conflict, it may just be that they have different subject matter [Field,H] |
| Full Idea: Unlike logic, in the case of mathematics there may be no genuine conflict between alternative theories: it is natural to think that different theories, if both consistent, are simply about different subjects. | |
| From: Hartry Field (Recent Debates on the A Priori [2005], 7) | |
| A reaction: For this reason Field places logic at the heart of questions about a priori knowledge, rather than mathematics. My intuitions make me doubt his proposal. Given the very simple basis of, say, arithmetic, I would expect all departments to connect. |
| 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) |