ancestral relation

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 one of its own ancestors. Then the ancestors of y form a set that fulfils two conditions: the initial condition that y is a member, and the closure condition that all parents of members are members. So x is an ancestor of y if x belongs to all sets satisfying those two conditions. Formally this may be put (∀z )((y ∈z ) & (∀u )(∀w )(u ∈z & P wu → w ∈z ) → x ∈z ). This says that all classes satisfy this condition: if y belongs, and if, for anything at all, if it belongs then its parents do, then x belongs. It is notable that this definition can only be given by quantifying over classes. With ancestor defined in this way, the ancestral of a relation is that relation that stands to it as ancestor does to parent. The class of numbers greater than a given number is the ancestral of the successor relation. See also Peano's postulates.

Philosophy dictionary. . 2011.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

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

  • 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… …   Wikipedia

  • 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
… Do a right-click on the link above
and select “Copy Link”