display all the ideas for this combination of texts
1 idea
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. |