多值逻辑理论若干问题.pdf

摘 要 多值逻辑思想最早可追溯到亚里士多德那里。亚氏对关于未来偶然事件的 命题进行了讨论，指出传统逻辑难以处理这类命题，这种观点为多值逻辑的产 生提供了启示。但是亚氏没有建立多值逻辑，真正意义上的多值逻辑产生于上 值逻辑系统相继出现，参与研究者越来越多，几十年的时间里多值逻辑迅速成 为现代逻辑的一个分支，还一度成为研究的热点。人们之所以热衷予多值逻辑 的研究，是因为经典逻辑在其发展中显示出很大局限性，发展多值逻辑有可能 解决这些局限性。多值逻辑的研究最初从哲学的思考出发，继而是用数学的形 式化方法去研究的。用形式化方法研究又可以分为不同的角度，总体上看分为 三个方面：函数完备性问题，逻辑系统构建问题和代数模型问题。对多值逻辑 的研究还有一个重要方面是它的应用研究，但本文只从纯理论方面去进行探讨， 因此，论文分为三章，分别是：多值逻辑的函数完备性问题，多值逻辑公理化 和多值逻辑的代数与语义解释。对函数完备性问题的研究是从Post开始的，Post 最先建立了函数完备的多值逻辑，并对简单的多值逻辑的函数完备性进行了研 究。从Post的成果可以看到，多值逻辑应该有与经典逻辑相似的性质，函数完 数进行扩充，得到了一个n．值逻辑sheffer函数。这一成果更激发人们对函数完 备性问题研究的兴趣。具有函数完备性的n．值逻辑应是什么样的，很多人都想 给出明确的刻画，然而这是个非常困难的问题。从上世纪四十年代开始，很多 学者投入至4这一研究领域。六十年代，我国在这一领域的研究曾领先于世界， 王湘浩教授及其学生罗铸楷用保关系的思想对函数完备性进行770画，取得了 很好的结果。在这一领域取得决定性结果的是加拿大学者1．CtRosenberg，他于 1970年发表了对函数完备集的刻画，这是个相当复杂的刻画，但这一结果的发 表并没有结束该领域的研究，在此基础上至今还有不少人继续研究。本论文对这 一领域的主要结果给以总结，并利用这一理论对较简单的多值逻辑的函数完备集 和准完备集进行具体的分析。另外对曾经出现的shcffer函数给以总结回顾，并 构建了与原有的不同的一个sheffer函数。 在第二章中，本论文回顾总结了多值逻辑的所有的系统构建方法。最简洁 的逻辑系统应该是由几条公理(模式)，加上几条推理规则组成的系统，通常也 称为Hilben型公理系统。在多值逻辑中，也出现不少这样的系统，如，1931 般的方法，对所有的多值逻辑给出一个Hilbert型公理化方案，这是个自然被提 A．R．Turquette在这方面作出了开拓性的贡献，给出了一类逻辑的公理化方案。二 人的研究是针对Lukasiewicz有穷值逻辑的，但也为其他类型的逻辑提供了值得 穷值逻辑完全性给出了代数证明，1959年，C．C．Chang用另一种代数方法给出 了证明。这些公理化方法都是具有重要的意义，但是都不可能适应于各种各样 的多值逻辑。能够适应于各种各样多值逻辑的公理化方法是类似经典逻辑的 Gentzen型公理化方法，也称表列方法，这种方法是根据联结词的性质建立真 值树，其实是把联结词看成函数计算出所要求的定理。上世纪七，八十年代， Stanislaw J．Surma和WalterA．Carnielli给出了这样的方法。再一种公理化形式是 建立自然推理系统，多值逻辑与经典逻辑一样有也有这样的系统，根据Hilben 型公理化方案已有人为Lukasiewicz逻辑建立了这样的系统。进入九十年代， 对多值逻辑的公理化方法的研究较少了，这主要有两个原因。～方面公理化方 法已经有了经典性的成果，在此基础上人们的注意力集中于把已有成果应用于 模糊逻辑中，多值逻辑的研究和模糊逻辑的研究变得不可分割。另一方面，在 原有成果的基础上人们致力于构建更抽象的逻辑，对多值逻辑的研究融入到对 抽象逻辑的研究之中了。在本章中，作者也构建了～个逻辑系统。不久前，鞠 实儿教授提出了开放世界逻辑的思想，并建立了逻辑系统，在此基础上，作者 对鞠实儿教授提出的开放世界逻辑给以推广，把它推广到任意m值逻辑的情形， 建立了系统，并证明了系统的元逻辑性质。 在第三章中，对多值逻辑的代数模型和直观语义的研究状况给以简单回 顾，介绍了几种主要的多值逻辑代数，并对它们之间的联系给以简单的探讨。 每一种多值逻辑往往对应于一种多值代数。较为著名的多值代数有：1940年出 c．C．Chang提出的MY-代数，等等。现在，这些代数都发展成了丰富的理论， 本文对这些理论给以简单介绍，初步探讨了几种代数之间的关系。针对鞠实儿