Single Idea 22284

[catalogued under 8. Modes of Existence / A. Relations / 4. Formal Relations / c. Ancestral relation]

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


Michael Potter (The Rise of Analytic Philosophy 1879-1930 [2020], 07 'Def')

Book Reference

Potter,Michael: 'The Rise of Anaytic Philosophy 1879-1930' [Routledge 2020], p.49

A Reaction