more on this theme | more from this text
Full Idea
Peano's axioms are categorical (any two models are isomorphic). Some conclude that the concept of natural number is adequately represented by them, but we cannot identify natural numbers with one rather than another of the isomorphic models.
Gist of Idea
All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers
Source
comment on Giuseppe Peano (Principles of Arithmetic, by a new method [1889], 11) by Richard Cartwright - Propositions 11
Book Ref
Cartwright,Richard: 'Philosophical Essays' [MIT 1987], p.48
A Reaction
This is a striking anticipation of Benacerraf's famous point about different set theory accounts of numbers, where all models seem to work equally well. Cartwright is saying that others have pointed this out.
15653 | We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano] |
13949 | All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano] |
18113 | PA concerns any entities which satisfy the axioms [Peano, by Bostock] |
17634 | Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell] |
17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
5897 | 0 is a non-successor number, all successors are numbers, successors can't duplicate, if P(n) and P(n+1) then P(all-n) [Peano, by Flew] |