more from this thinker | more from this text
Full Idea
The Julius Caesar problem was one reason that led Frege to give an explicit definition of numbers as special sets. He does not appear to notice that the same problem affects his Axiom V for introducing sets (whether Caesar is or is not a set).
Gist of Idea
Frege makes numbers sets to solve the Caesar problem, but maybe Caesar is a set!
Source
David Bostock (Philosophy of Mathematics [2009], 9.A.2)
Book Ref
Bostock,David: 'Philosophy of Mathematics: An Introduction' [Wiley-Blackwell 2009], p.267
A Reaction
The Julius Caesar problem is a sceptical acid that eats into everything in philosophy of mathematics. You give all sorts of wonderful accounts of numbers, but at what point do you know that you now have a number, and not something else?
| 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] |