- Ancestral relation
In
mathematical logic , the ancestral relation (often shortened to ancestral) of an arbitrarybinary relation "R" is defined below.The ancestral makes its first appearance in
Frege 's "Begriffsschrift ". Frege later employed it in his"Grundgesetze" as part of his definition of thenatural number s (actually the finite cardinals). Hence the ancestral was a key part of his search for a logicist foundation of arithmetic.Definition
The numbered propositions below are taken from his "
Begriffsschrift " and recast in contemporary notation.The property "F" is "R"-hereditary" if, whenever "x" is "F" and "xRy", "y" is also "F":
:
Frege then defined "b" to be an "R"-ancestor of "a", written "aR"*"b",
iff "b" has every "R"-hereditary property that all objects "x" such that "aRx" have:76: .
The ancestral is
transitive :98:
Let the notation "I"("R") denote that "R" is functional (Frege calls such relations "many-one"):
115:
If "R" is functional, we say nowadays that the ancestral of "R" is connected:
133:
Discussion
"
Principia Mathematica " made repeated use of the ancestral, as does Quine's (1951) "Mathematical Logic".ee also
*"
Begriffsschrift "
*Gottlob Frege References
*
George Boolos , 1998. "Logic, Logic, and Logic". Harvard Univ. Press.
*Ivor Grattan-Guinness , 2000. "In Search of Mathematical Roots". Princeton Univ. Press.External links
*
Stanford Encyclopedia of Philosophy : " [http://plato.stanford.edu/entries/frege-logic/ Frege's Logic, Theorem, and Foundations for Arithmetic] " -- byEdward N. Zalta . Section 4.2.
Wikimedia Foundation. 2010.