more from this thinker | more from this text
Full Idea
Frege inferred from the Julius Caesar problem that even though Hume's Principle sufficed as a single axiom for deducing the arithmetic of the finite cardinal numbers, still it does not explain our ordinary understanding of those numbers.
Gist of Idea
One-one correlations imply normal arithmetic, but don't explain our concept of a number
Source
report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by David Bostock - Philosophy of Mathematics 9.A.2
Book Ref
Bostock,David: 'Philosophy of Mathematics: An Introduction' [Wiley-Blackwell 2009], p.267
Related Idea
Idea 18144 Neo-logicists agree that HP introduces number, but also claim that it suffices for the job [Bostock]
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] |