请输入您要查询的字词:

 

单词 ancestral relation
释义
ancestral relation

Philosophy
  • 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 & Pwuw ϵ‎ 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.


随便看

 

科学参考收录了60776条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。

 

Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号 更新时间:2024/12/26 2:02:41