display all the ideas for this combination of texts
3 ideas
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. |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
Full Idea: First-order logic is hopeless for discriminating between one infinite cardinal and another. | |
From: Wilfrid Hodges (Model Theory [2005], 4) | |
A reaction: This seems rather significant, since mathematics largely relies on first-order logic for its metatheory. Personally I'm tempted to Ockham's Razor out all these super-infinities, but mathematicians seem to make use of them. |
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). |