Ancestral relation

The numbered propositions below are taken from his Begriffsschrift and recast in contemporary notation.

A property P is called R-hereditary if, whenever x is P and xRy holds, then y is also P:

${\displaystyle (Px\land xRy)\rightarrow Py}$

An individual b is said to be an R-ancestor of a, written aR^*b, if b has every R-hereditary property that all objects x such that aRx have:

${\displaystyle \mathbf {76:} \ \vdash aR^{*}b\leftrightarrow \forall F[\forall x(aRx\to Fx)\land \forall x\forall y(Fx\land xRy\to Fy)\to Fb]}$

The ancestral is a transitive relation:

${\displaystyle \mathbf {98:} \ \vdash (aR^{*}b\land bR^{*}c)\rightarrow aR^{*}c}$

Let the notation I(R) denote that R is functional (Frege calls such relations "many-one"):

${\displaystyle \mathbf {115:} \ \vdash I(R)\leftrightarrow \forall x\forall y\forall z[(xRy\land xRz)\rightarrow y=z]}$

If R is functional, then the ancestral of R is what nowadays is called connected:

${\displaystyle \mathbf {133:} \ \vdash (I(R)\land aR^{*}b\land aR^{*}c)\rightarrow (bR^{*}c\lor b=c\lor cR^{*}b)}$

The Ancestral relation ${\displaystyle R^{*}}$ is equal to the transitive closure ${\displaystyle R^{+}}$ of ${\displaystyle R}$. Indeed, ${\displaystyle R^{*}}$ is transitive (see 98 above), ${\displaystyle R^{*}}$ contains ${\displaystyle R}$ (indeed, if aRb then, of course, b has every R-hereditary property that all objects x such that aRx have, because b is one of them), and finally, ${\displaystyle R^{*}}$ is contained in ${\displaystyle R^{+}}$ (indeed, assume ${\displaystyle aR^{*}b}$; take the property ${\displaystyle Fx}$ to be ${\displaystyle aR^{+}x}$; then the two premises, ${\displaystyle \forall x(aRx\to Fx)}$ and ${\displaystyle \forall x\forall y(Fx\land xRy\to Fy)}$, are obviously satisfied; therefore, ${\displaystyle Fb}$, which means ${\displaystyle aR^{+}b}$, by our choice of ${\displaystyle F}$). See also Boolos's book below, page 8.

Principia Mathematica made repeated use of the ancestral, as does Quine's (1951) Mathematical Logic.

However, it is worth noting that the ancestral relation cannot be defined in first-order logic. It is controversial whether second-order logic with standard semantics is really "logic" at all. Quine famously claimed that it was really 'set theory in sheep's clothing.' In his books setting out formal systems related to PM and capable of modelling significant portions of Mathematics, namely - and in order of publication - 'A System of Logistic', 'Mathematical Logic' and 'Set Theory and its Logic', Quine's ultimate view as to the proper cleavage between logical and extralogical systems appears to be that once axioms that allow incompleteness phenomena to arise are added to a system, the system is no longer purely logical.

• Begriffsschrift
• Gottlob Frege
• Transitive closure

• George Boolos, 1998. Logic, Logic, and Logic. Harvard Univ. Press.
• Ivor Grattan-Guinness, 2000. In Search of Mathematical Roots. Princeton Univ. Press.
• Willard Van Orman Quine, 1951 (1940). Mathematical Logic. Harvard Univ. Press. ISBN 0-674-55451-5.

• Stanford Encyclopedia of Philosophy: "Frege's Logic, Theorem, and Foundations for Arithmetic" -- by Edward N. Zalta. Section 4.2.