当前位置:首页 > 经典书库 > 方法大辞典

定义

书籍:方法大辞典

出处:按学科分类—自然科学总论 山东人民出版社《方法大辞典》第76页(2346字)

又称“界说”。

是揭示概念内涵以明确概念的逻辑方法。在古希腊,德谟克利特(见《德谟克利特》)首先使用了概念一词并对它做了定义:“概念是研究的准则”。

苏格拉底(见《苏格拉底》)进而强调:为了使讨论的问题求得一致,首先必须对讨论中的某些概念做出定义。

但无论是德谟克利特还是苏格拉底,都只是提出和使用了定义,并没直接地明确规定定义。

在历史上,第一个比较系统地研究了定义的人是亚里士多德(见《亚里士多德》)。他第一个明确地陈述了定义:“定义是表明事物本质的短句”,“一个定义就是一个公式”。他也研究了怎样进行定义的各种方法,提出了进行正确定义的若干要求,例如:“不能用隐喻去描绘”,“不能用自选词作定义”等。

对概念下定义可以有不同的方法,如实质定义、关系定义、功用定义、发生定义等。

不论定义的具体方法怎么不同,其一般的逻辑形式都相同,即任何定义都由被定义项、定义项与联项组成,都可用Ds是Dp来表示。被定义项是内涵需要揭示的概念;定义项是用以揭示被定义项内涵的概念;“联项”是将“被定义项”与“定义项”联结起来以最后组成定义的概念,通常用“是”、“就是”或“即”表示。

正确定义要求达到两个目的:其一,能把被定义项概念同其他概念区分开来;其二,揭示被定义项概念所具有的某一特殊的本质。为此,对概念下定义时要遵守以下规则:第一,定义应当相应相称。

即被定义项概念的处延与定义项概念的外延必须全同。定义项概念中所反映的事物,必须是被定义项概念中所反映的事物,反之亦然。否则,就要犯“定义过宽”或“定义过窄”的逻辑错误。

“定义过宽”是指定义项概念的外延,把不属于被定义项概念的外延也概括进来了,从而不适当地扩大了被定义项概念的外延。例如,“政治经济学是关于社会现象的科学”这个定义,把不属于“政治经济学”的外延如社会史学也概括进来了,因而犯了“定义过宽”的逻辑错误。“定义过窄”是指定义项概念的外延,把本是属于被定义项概念的外延给排除出去了,从而不适当地缩小了被定义项概念的外延。

例如:“形式逻辑是研究概念的科学”这个定义,把本是形式逻辑研究的范围——判断、推理等给遗漏了,因而不适当地缩小了被定义项概念的外延,犯了“定义过窄”的逻辑错误。第二,定义应当清楚确切。

即被定义项概念内涵的揭示,应当分明准确。在用定义项概念说明被定义项概念时,不得使用隐喻或混不清的语词或概念,否则,就要犯“隐喻定义”或“定义不清”的逻辑错误。例如:“爱情是美妙的飘忽的音乐”作为定义就犯了“隐喻定义”的逻辑错误;而“……列宁主义,就是用思维和经验养成的革命嗅觉,这种社会领域里的嗅觉,如同体力劳动中的肌肉的感觉一样”(托洛茨基语,这个定义,则既有“隐喻定义”的逻辑错误,又有“概念或语词不清”的逻辑错误。第三,定义一般不得否定。

即除非必要,在定义项中不得使用否定概念,否则,就要犯“否定定义”的逻辑错误。例如:“社会科学不是自然科学”作为定义,它只断定了被定义项概念不具有什么,而未断定被定义项概念具有什么,就犯了“定义否定的逻辑错误,但应指出,当被定义项是否定概念时,定义可以是否定的。

第四,定义项概念不应用被定义项概念来陈述自己。

那定义项中不得直接或间接地包含被定义项,否则,就要犯“同语反复”或“循环定义”的逻辑错误。例如:“革命家就是革命的专家”便犯有同语反复的逻辑错误,而在“科学即正确认识,正确认识即科学认识”的定义中,则犯了“定义循环”的逻辑错误。

在实际思维中,定义有其重要的意义。

通过定义,可以把人类一定历史阶段的认识总结或固定下来;可以作为各门科学表述自己研究对象的重要手段;可以使论述中的概念表达得更加准确。

但是,定义也有自己的局限。由于它过于简单,在一个定义里,只能揭示概念某一方面的特质,而不能揭示概念诸多方面的属性,因而定义之后,往往需要有说明来加以补充。

传统形式逻辑关于定义的理论,虽然把它“作为实用的箴言是有重要作用的”,可是,一旦把它“引入精确地陈述中,用它阐明一个合式定义的概念时”,它“就起不了什么作用了。”例如:

设算术中的伪运算★定义为:

(1)X★Y=Z当且仅当X<Z并且Y<Z

则从算术的直观知识出发,很容易从这个伪运算中推导出矛盾来:

★2=3

因为1<3并且2<3

但是又有

1★2=4

因为1<4并且2<4

由此可以推出

3=4

但这显然与众所周知的事实3≠4是矛盾的,可是(1)在表面上是满足传统形式逻辑的四条规则的。因此,现代逻辑为了克服传统形式逻辑定义理论的局限,使之有效地运用于形式语言的推演中去,有的逻辑学家提出了合式定义及其准则或规则,进一步补充或完善传统形式逻辑的定义理论。

上一篇:命令句逻辑 下一篇:诡辩
分享到: