Ancestral relation

Ancestral relation

In mathematical logic, the ancestral relation (often shortened to ancestral) of an arbitrary binary 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 the natural numbers (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":

:(Fx and xRy) o Fy.

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: Vdash aR*b leftrightarrow forall F forall x forall y [((aRx o Fx) wedge (Fx wedge xRy o Fy)) o Fb] .

The ancestral is transitive:

98: vdash (aR*b wedge bR*c) o aR*c.

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

115: Vdash I(R) leftrightarrow forall x forall y forall z [(xRy wedge xRz) o y=z] ,

If "R" is functional, we say nowadays that the ancestral of "R" is connected:

133: vdash (I(R) wedge aR*b wedge aR*c) o (bR*c vee b=c vee cR*b).

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] " -- by Edward N. Zalta. Section 4.2.


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • ancestral relation — index kindred, primogenitor Burton s Legal Thesaurus. William C. Burton. 2006 …   Law dictionary

  • ancestral relation — Intuitively, a relation that stands to another as ‘ancestor of’ stands to ‘parent of’: an ancestor is a parent, or parent of a parent, and so on. The formal definition of the ancestral is due to Frege . Suppose, to simplify, we allow that y is… …   Philosophy dictionary

  • Ancestral Pueblo culture — ▪ North American Indian culture also called  Anasazi   prehistoric Native American civilization that existed from approximately AD 100 to 1600, centring generally on the area where the boundaries of what are now the U.S. states of Arizona, New… …   Universalium

  • Caractere ancestral et caractere derive — Caractère ancestral et caractère dérivé Le caractère « membres pairs » a deux états : État ancestral État dérivé 2 paires de nageoires des poissons (9 et 10) 2 paires de pattes (lézard) …   Wikipédia en Français

  • Caractère Ancestral Et Caractère Dérivé — Le caractère « membres pairs » a deux états : État ancestral État dérivé 2 paires de nageoires des poissons (9 et 10) 2 paires de pattes (lézard) …   Wikipédia en Français

  • Caractère ancestral — et caractère dérivé Le caractère « membres pairs » a deux états : État ancestral État dérivé 2 paires de nageoires des poissons (9 et 10) 2 paires de pattes (lézard) …   Wikipédia en Français

  • Caractère dérivé et caractère ancestral — Caractère ancestral et caractère dérivé Le caractère « membres pairs » a deux états : État ancestral État dérivé 2 paires de nageoires des poissons (9 et 10) 2 paires de pattes (lézard) …   Wikipédia en Français

  • Péché ancestral — Péché originel  Pour l’article homonyme, voir Péché originel (film).  Le péché originel est une doctrine de la théologie chrétienne occidentale, à la différence du christianisme oriental qui l ignore, dont la notion fut créée par… …   Wikipédia en Français

  • Begriffsschrift — is the title of a short book on logic by Gottlob Frege, published in 1879, and is also the name of the formal system set out in that book. Begriffsschrift is usually translated as concept writing or concept notation ; the full title of the book… …   Wikipedia

  • List of philosophy topics (A-C) — 110th century philosophy 11th century philosophy 12th century philosophy 13th century philosophy 14th century philosophy 15th century philosophy 16th century philosophy 17th century philosophy 18th century philosophy 19th century philosophy220th… …   Wikipedia

Share the article and excerpts

Direct link
https://en-academic.com/dic.nsf/enwiki/9010845 Do a right-click on the link above
and select “Copy Link”