| 10032 | 'Ancestral' relations are derived by iterating back from a given relation [Frege, by George/Velleman] |
| Full Idea: Any relation will yield a new relation, called the 'ancestral', which is the iterated relation which leads up to it, as when 'x is the parent of y' can lead us to the relation 'x is an ancestor of y' | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §79) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: This idea is one of Frege's notable discoveries. The ancestral seems to be a generalisation of a given relation. |
| 12056 | An ancestral relation is either direct or transitively indirect [Wiggins] |
| Full Idea: x bears to y the 'ancestral' of the relation R just if either x bears R to y, or x bears R to some w that bears R to y, or x bears R to some w that bears R to some z that bears R to y, or..... | |
| From: David Wiggins (Substance [1995], 4.10.1) | |
| A reaction: A concept invented by Frege (1879). |
| 10617 | The 'ancestral' of a relation is a new relation which creates a long chain of the original relation [Smith,P] |
| Full Idea: The 'ancestral' of a relation is that relation which holds when there is an indefinitely long chain of things having the initial relation. | |
| From: Peter Smith (Intro to Gödel's Theorems [2007], 23.5) | |
| A reaction: The standard example is spotting the relation 'ancestor' from the receding relation 'parent'. This is a sort of abstraction derived from a relation which is not equivalent (parenthood being transitive but not reflexive). The idea originated with Frege. |
| 22284 | 'Greater than', which is the ancestral of 'successor', strictly orders the natural numbers [Potter] |
| 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). | |
| From: Michael Potter (The Rise of Analytic Philosophy 1879-1930 [2020], 07 'Def') | |
| A reaction: [compressed] |