从属差异定义
从属差异定义是内涵定义的一种 ，它由两部分组成：
以下两个定义为例：
这些定义可以表示为一个属和两个不同之处 ：
在亚里斯多德 （384-322 BCE）之前，就使用属和差异来定义。
区分与抽象.
通过扩展现有定义来产生新定义的过程通常称为差异化 （也称为派生）。将现有定义的一部分本身用作新定义的反向过程称为抽象化；新的定义被称为抽象，这是已经从现有的定义中抽出来。
例如，思考以下内容：
该定义的一部分可能会被选中（在此处使用括号）：
在这一部分，可以形成一个抽象：
然后 ，定义正方形可以用该抽象作为其种类进行重塑：
同样，定义正方形可以重新排列，另一部分可以单独选择：
导致以下抽象：
然后，定义正方形可以用该抽象作为其种类进行重塑：
其实，一个平方可以用两种抽象来重塑，其中一种充当属，另一种充当区别：
因此，抽象对于简化定义极为重要。
多重性.
当多个定义适当配合时，则所有定义同时适用。因此，正方形是[a]矩形属和[a]菱形的成员。在这种情况下，将定义合并为一个属（并且没有差异，如下所示）来表示概念更为方便：
或完全等如：
一般来说， formula_1等效定义（每个定义都用一个唯一的属表示）可以重新定义为用formula_2属。 因此，以下内容：
可以重塑为：
结构体.
定义的属提供了一种指定is-a关系的方法 ：
定义的差异的非属部分提供了一种指定具有关系的方法 ：
当用属和差异构造定义系统时，可以将定义视为形成有向无环图；最笼统的定义是 ;沿着思考路径每个节点有更多的区化（或多"个"派生），并且没有一个节点接替为一个大多数分化（或派生）定义。
当定义S是其每个接替定义时（即S至少具有一个接替定义，而S的每个直接接替定义是最有区别的定义），那么S通常被称为其每个接替的种类物，S的每个直接后代通常被称为S物种的个体（或实体）；也就是说，一个人的属称为该人的种类。此外，个体的差异被同义地称为该个体的身份。例如，思考以下定义：
在这种情况下：
如在该示例中一样，身份本身（或其一部分）经常用于指代整个个体，这种现像在语言学中被称为对句法的理解。
生成维基百科快照图片，大概需要3-30秒！
如果网站内容有侵犯您的版权
请联系：pinbor@iissy.com
请联系：pinbor@iissy.com
Copyright ©2014 iissy.com, All Rights Reserved.