more from this thinker | more from this text
Full Idea
From the successor function we can deduce its ancestral, the 'greater than' relation, which is a strict total ordering of the natural numbers. (Frege did not mention this, but Dedekind worked it out, when expounding definition by recursion).
Gist of Idea
'Greater than', which is the ancestral of 'successor', strictly orders the natural numbers
Source
Michael Potter (The Rise of Analytic Philosophy 1879-1930 [2020], 07 'Def')
Book Ref
Potter,Michael: 'The Rise of Anaytic Philosophy 1879-1930' [Routledge 2020], p.49
A Reaction
[compressed]
10032 | 'Ancestral' relations are derived by iterating back from a given relation [Frege, by George/Velleman] |
12056 | An ancestral relation is either direct or transitively indirect [Wiggins] |
10617 | The 'ancestral' of a relation is a new relation which creates a long chain of the original relation [Smith,P] |
22284 | 'Greater than', which is the ancestral of 'successor', strictly orders the natural numbers [Potter] |