display all the ideas for this combination of texts
3 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. |
17905 | Any progression will do nicely for numbers; they can all then be used to measure multiplicity [Quine] |
Full Idea: The condition on an explication of number can be put succinctly: any progression will do nicely. Russell once held that one must also be able to measure multiplicity, but this was a mistake; any progression can be fitted to that further condition. | |
From: Willard Quine (Word and Object [1960], §54) | |
A reaction: [compressed] This is the strongest possible statement that the numbers are the ordinals, and the Peano Axioms will define them. The Fregean view that cardinality comes first is redundant. |
9556 | Nearly all of mathematics has to quantify over abstract objects [Quine] |
Full Idea: Mathematics, except for very trivial portions such as very elementary arithmetic, is irredeemably committed to quantification over abstract objects. | |
From: Willard Quine (Word and Object [1960], §55) | |
A reaction: Personally I would say that we are no more committed to such things than actors in 'The Tempest' are committed to the existence of Prospero and Caliban (which is quite a strong commitment, actually). |