概念的定义，常见的定义方式

7.1.4　概念的定义

定义是揭示概念内涵的逻辑方法，也就是通过指出概念所反映的事物的本质属性来明确概念的逻辑方法。

一切定义都由被定义项、定义项和定义联项三部分组成。

被定义项是需要加以明确的概念。例如，一个字节就是一个8位长的二进制数。一个字节是这个定义的被定义项，一个8位长的二进制数就是这个定义的定义项，而“就是”这个词即是定义联项。例如，计算机病毒是一种可以在计算机系统中起破坏作用的程序。其中，“计算机病毒”，是这个定义的被定义项。定义项是用来明确被定义项的概念，“一种可以在计算机系统中起破坏作用的程序”是这个定义的定义项。

定义联项是用来联结被定义项和定义项的语词。常用的定义联项有“是”、“就是”、“也就是”、“叫做”等。

定义在撇开具体内容后的逻辑框架或结构模式，通常称为定义方式。常见的定义方式有：属加种差定义、发生定义、关系定义、外延定义、约定式定义、递归定义等。

(1) 属加种差定义

属加种差定义是概念定义中最常用的一种定义方式。用属加种差定义，要做好两方面的工作：一是找出被定义概念的邻近的属；二是确定种差，即找出被定义概念在它的属概念中，区别于同一属中其它种概念的本质属性。

属加种差定义可以用下列公式表示：

属+种差=被定义项

例如，“当循环”和“直到循环”的属概念是“循环”，它们的种差是“当条件成立时循环”和“循环直到条件成立”。又如，微机和小型机的属都是计算机，而微机的CPU用的是一块大规模集成电路芯片即差。

对于同一事物来说，种差往往不是唯一的。因此，用属加种差作出的定义往往是不唯一的。

客观事物的本质属性是多方面的，而定义只是根据一定的实践目的，揭示事物某一方面的本质属性。因此，尽管同一个概念可以有多种不同的定义，但在同一体系中，一般只能采用一个定义。事物其它方面的本质属性，可以由所给的定义推出，作为性质处理。

(2) 发生定义

发生定义是把只属于被定义概念，而不属于其它任何事物的发生或形成的特有属性作种差的定义。例如，表达式是用括号和运算符把常量、变量联接而成的有意义的式子。

(3) 关系定义

关系定义是以事物间的关系作为种差的定义，它指出这种关系是被定义事物所具有而任何其它事物所不具有的特有属性。例如，逻辑变量就是用变量与逻辑值的关系来定义的。

(4) 外延定义

外延定义是通过列举概念的全部对象来下的定义。一般说来，如果某个属概念划分后所得的各个种概念都是已知的，那么可以用这些种概念来给这一属概念下外延定义。

(5) 约定式定义

约定式定义是依据某种特殊需要，通过约定的方式来下的定义，这种定义方法，一般是利用意义已经确定的表达式，去规定新引入的表达式的意义。

(6) 递归定义

递归定义也是一种重要定义方式。用递归定义来给逻辑表达式下定义：逻辑常量、逻辑变量和关系表达式都是逻辑表达式；NOT(逻辑表达式)是逻辑表达式；(逻辑表达式1)AND(逻辑表达式2)是逻辑表达式；(逻辑表达式1)OR(逻辑表达式2)是逻辑表达式。

递归定义，一般适用于与自然数的性质有直接关系的对象。