浅谈反证法的逻辑基础及其应用.doc

浅谈反证法的逻辑基础及其应用 1、相关定义 1.1、信息中否定的概念本质 般性描述,对其进行加工、整理、解释、挑选和改 造后便形成知识。在信息科学中,我们关注的往往是有用的知识。知识构成的最基本成 分是概念。概念是反映事物本质属性的思维形式,或是通过事物的本质属性来反映客观 事物的思想。它有内涵和外延两个方面,内涵为概念所指对象的本质属性,外延为概念 所反映的全部对象。概念依存于语言,要通过语词予表达。由于许多事物的本质属性具 有不明确性或对其描述语词的模糊性,使得许多概念的外延具有不清晰性。所以,我们 应当将概念区分为清晰概念(内涵明确,外延清晰)和模糊概念(内涵明确,外延不清 晰)。反映到信息科学中, 信息应区分为清晰信息和模糊信息。 概念之间的关系,在形式逻辑中是指概念外延的关系,区分为相容关系和不相容关 系。概念 A 与 B 的不相容关系,是指 A 与 B 两个概念外延之间没有任何一部分重合的 关系。如:美与丑,美与不美。图示如下: 自 Aristotle 以来,形式逻辑就将概念的不相容关系区分为矛盾关系和对立关系,而 一个概念与其否定之间的关系就是一种不相容关系。因此,概念与其否定之间的关系包 括了矛盾否定关系和对立否定关系。反映到信息科学中, 信息的否定包括了信息的矛盾否定和信息的对立否定。 1.2、概念中的五种矛盾否定与对立否定 对于一个概念与其否定之间的关系,我们认为具有下列五种矛盾否定和对立否定关 系: (1.1) 清晰概念的矛盾否定关系 CDC (Contradictory negation relation between Distinct Concepts) 关系特征:界限分明,非此即彼。例如,”实数”这个属概念下的”有理数”与”无 理数”,”颜色”这个属概念下的”白色”与”非白色”等。图示如下: (1.2) 清晰概念的对立否定关系 ODC (Opposite negation relation between Distinct * 潘正华,国家自然科学基金项目:矛盾知识与对立知识的逻辑基础与处理的研究(项目批准号,项目 年限:2006.1—2008.12。 A B A B 图 1-1 概念 A 与 B 的不相容关系 Fig.1.1 Inconsistent relation between concept A and B 白色 非白色 图 1-2 CDC 例子 Fig.1-2 One example of CDC 5 Concepts) 关系特征:界限分明,不非此即彼。例如,”颜色”这个属概念下的”白色”与”黑 色”,”数”这个属概念下的” 正数”与”负数”等。图示如下: (1.3) 模糊概念的矛盾否定关系 CFC (Contradictory negation relation between Fuzzy Concepts) 关系特征:界限不分明,非此即彼。例如,”速度”这个属概念下的”快”与”不 快”,”人”这个属概念下的”青年人”与”非青年人”等。图示如下: (1.4) 模糊概念的对立否定关系 OFC (Opposite negation relation between Fuzzy Concepts) 关系特征:界限不分明,不非此即彼。例如,”速度”这个属概念下的”快”与”慢”, “人”这个属概念下的”青年人”与”老年人”等。图示如下: 在现实世界的各种知识中,许多对立概念之间存在具有”中介”特征的概念,所谓对 立概念之间的中介概念,即指它的对象部分地具有对立概念双方各自反映的事物的本质 属性。肯定一些对立概念之间有中介对象(中介概念)存在,已作为认识论的一条基本 原则。因此,这种中介概念是客观存在的。我们通过对大量的对立知识的实例进行分析 研究后发现,对立概念与中介概念具有如下关系:如果一对对立概念为模糊概念,则对 立概念之间必然存在中介概念;如果一对对立概念之间存在模糊的中介概念,则对立概 念一定是模糊概念。换言之,对立概念之间存在中介概念的充分必要条件是对立概念为 模糊概念。反映到信息科学中, 对立信息之间存在中介(新的信息),当且仅当对立信息是模糊信息。 所以,对于对立概念的研究,还需研究中介概念以及它与对立概念之间的关系。 (1.5) 对立概念与中介概念的关系 ROM (Relation between Opposite concepts and Medium concept) 关系特征:界限不分明,均为模糊概念。例如,在对立概念”青年人”与”老年人” 之间,存在中介概念”中年人”;在对立概念”白昼”与”黑夜”之间,有中介概念”黄 昏”。图示如下: 白色 黑色 图 1-3 ODC 例子 Fig.1-3 One example of ODC 青年 非青年 图 1