中介逻辑.pdf

中介逻辑（Medium Logic） 1、创始年代 介逻辑ML (Medium Logic)是我国学者朱梧槚和肖奚安于1985 年提出的一 种非经典逻辑理论。该系统的创立有着很强的哲学背景,因此在创立后得到了很 大的发展。ML 由中介命题逻辑演算系统MP 及其扩张MP* 介谓词逻辑演算系统 MF 及其扩张MF*，以及带等词的 介谓词逻辑演算系统ME*组成。迄今，该逻辑 理论及应用研究已涉及到形式系统理论、自动推理、机器学习、数据库理论及 程序设计语言等领域。 2、哲学背景 源：模糊数学 模糊数学是一 门新兴 的学科 ，由美 国控制论专家 L.A. 扎德 （L.A.Zadeh,1921--）教授所创立。他于 1965 年发表了题为《模糊集合论》 （《Fuzzy Sets》）的论文，从而宣告模糊数学的诞生。 现代数学是建立在集合论的基础上。集合论的重要意义就一个侧面看，在 于它把数学的抽象能力延伸到人类认识过程的深处。由于集合可以表现概念， 而集合论中的关系和运算又可以表现判断和推理，因此一切现实的理论系统都 有可能纳入集合描述的数学框架。 然而经典集合论只能把自己的表现力限制在那些有明确外延的概念和事物 上，它明确地限定：每个集合都必须由明确的元素构成，元素对集合的隶属关 系必须是明确的，决不能模棱两可。对于那些外延不分明的概念和事物，经典 集合论是暂时不去反映的，属于待发展的范畴。 在较长时间里，精确数学及随机数学在描述自然界多种事物的运动规律中， 获得显著效果。但是，在客观世界 还普遍存在着大量的模糊现象。以前人们 回避它，但是，由于现代科技所面对的系统日益复杂，模糊性总是伴随着复杂 性出现。 模糊数学是运用数学方法研究和处理模糊性现象的一门数学新分支。它以 “模糊集合”论为基础。模糊数学提供了一种处理不肯定性和不精确性问题的 新方法，是描述人脑思维处理模糊信息的有力工具。 概念是构成知识的最基本成份。形式逻辑将概念的不相容关系区分为矛盾 关系和对立关系。例如，“美丽”和 “丑陋”一对相互对立的概念；“美丽”和 “非美丽”是一对相互矛盾的概念。“非美丽”并不意味着 “丑陋”，因为总有 长相普通的人存在。因此，认为模糊概念 存在如下的三种否定关系： （1）模 糊 概 念 之 间 的 矛 盾 否 定 关 系 CFC （Contradictory negative relation in Fuzzy Concepts），例如，“快速”与 “非快速”，“青年 人”与 “非青年人”等。 （2）模糊概念之间的对立否定关系 OFC （Opposite negative relation in Fuzzy Concepts），例如，“快速”与 “缓慢”，“青年人”与 “老年人”等。 （3）模糊概念之间的中介否定关系 MFC （Medium negative relation in Fuzzy Concepts）。 在现实世界中，许多相互对立的概念之间存在具有 “中介”特征的概念， 它部分地具有对立双方的性质，呈现出 “过渡”状态，称之为中介概念。中介 概念有模糊与清晰之分。例如，0 是正数和负数的中介概念，而 0、正数和负 数都是清晰概念；黎明是白昼和黑夜的 介，而黎明、白昼和黑夜都是模糊概 念。在进行了大量的对立模糊概念的实例研究后，发现了如下的规律：如果一 对相互对立的概念为模糊概念，则这对概念之间 然存在模糊的中介概念；如 果一对相互对立的概念之间存在模糊的中介概念，则这对概念一定是模糊概念。 换言之，相互对立的概念之间存在模糊的中介概念，当且仅当相互对立的概念 为模糊概念。模糊的中介概念的存在，说明了模糊概念之间的中介否定关系 MFC。例如，在模糊的对立概念 “青年人”与 “老年人”之间，存在模糊的中介 概念 “中年人”。 因此，认为在模糊概念之间存在三种否定关系，即模糊概念的否定有三种， 既矛盾否定、对立否定和中介否定。 基于以上的一些认识和直观背景，朱梧槚和肖奚安构造了一个素朴的非经 典数学模型，它与经典数学模型的不同之处，最主要的是关于中介原则的引进。 所谓中介原则，哲学地说，就是无条件承认对于任何一对反对对立面， 有 介对象的存在。数学地说，则为任给一对相对于正规谓词 R 的隐中介对立谓词 ， 有R 的上位谓词*R 存在，使得相对于*R 而言，P 与Q 是显中介对立谓