more from this thinker | more from this text
Full Idea
To solve the Julius Caesar problem, Frege requires explicit definitions of the numbers, and he proposes his well-known solution: the number of Fs = the extension of the concept 'equinumerous with F' (based on one-one correspondence).
Gist of Idea
Frege solves the Caesar problem by explicitly defining each number
Source
Penelope Maddy (Naturalism in Mathematics [1997], I.1)
Book Ref
Maddy,Penelope: 'Naturalism in Mathematics' [OUP 2000], p.5
A Reaction
Why do there have to be Fs before there can be the corresponding number? If there were no F for 523, would that mean that '523' didn't exist (even if 522 and 524 did exist)?
| 10232 | Property extensions outstrip objects, so shortage of objects caused the Caesar problem [Cantor, by Shapiro] |
| 10030 | 'Julius Caesar' isn't a number because numbers inherit properties of 0 and successor [Frege, by George/Velleman] |
| 8690 | From within logic, how can we tell whether an arbitrary object like Julius Caesar is a number? [Frege, by Friend] |
| 10219 | Frege said 2 is the extension of all pairs (so Julius Caesar isn't 2, because he's not an extension) [Frege, by Shapiro] |
| 13889 | Fregean numbers are numbers, and not 'Caesar', because they correlate 1-1 [Frege, by Wright,C] |
| 18142 | One-one correlations imply normal arithmetic, but don't explain our concept of a number [Frege, by Bostock] |
| 11030 | The words 'There are exactly Julius Caesar moons of Mars' are gibberish [Rumfitt on Frege] |
| 9046 | Our definition will not tell us whether or not Julius Caesar is a number [Frege] |
| 18143 | Frege makes numbers sets to solve the Caesar problem, but maybe Caesar is a set! [Bostock] |
| 13888 | If numbers are extensions, Frege must first solve the Caesar problem for extensions [Wright,C] |
| 8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
| 18164 | Frege solves the Caesar problem by explicitly defining each number [Maddy] |
| 17997 | Some suggest that the Julius Caesar problem involves category mistakes [Magidor] |