论文部分内容阅读
传统逻辑是二值的,对诸如未来偶然命题,这种逻辑是解决不了的,这说明传统逻辑具有一定的局限性。为了处理这类问题,就需要发展起来一种不同于二值逻辑的逻辑,这就是多值逻辑。之所以称之为多值逻辑,关键原因在于其所研究的是具有三个或三个以上乃至无穷个真值的命题之间关系的逻辑理论,而不是仅仅限于真假二值。文章的引言简明扼要地介绍了多值逻辑的产生及其发展概况,使我们首先对多值逻辑有一个轮廓的印象。第一章是文章的主体部分,其他部分都是围绕着这一部分来写的,它们是这一部分的对比和深化。我们知道,卢卡西维茨被誉为多值逻辑之父,因为正是他于二十世纪二十年代起首先把现代逻辑的方法应运于多值逻辑的研究,从而系统地发展了多值逻辑的理论。因此,本文首先并主要考察的是卢卡西维茨的多值逻辑理论。在这一部分中,文章考察的内容主要有卢卡西维茨的三值逻辑理论、三值逻辑的真值函项、卢卡西维茨的三值逻辑的公理化研究和卢卡西维茨的三值逻辑的推广等。在“卢卡西维茨的三值逻辑”中,文章考察了二值逻辑和三值逻辑对五个基本联结词的真值表定义和函数定义的异同,考察了它们二者以其中两个联结词为初始概念来定义其它几个联结词时的异同,以及一些在二值逻辑中成立的逻辑定律是否仍然在卢卡西维茨的三值逻辑中成立。在“真值函项”中,在与二值逻辑的比较下,文章介绍了三值逻辑的真值函项的数目及计算方法。由于三值逻辑比二值逻辑多一个真值,所以三值逻辑的真值函项的数量比二值逻辑的真值函项的数量大得多,所以三值逻辑才会比二值逻辑有更强的处理问题的能力。在“卢卡西维茨的三值逻辑的公理化研究”中,文章考察了卢卡西维茨的三值逻辑的公理化研究情况。进而,文章才便于将卢卡西维茨的三值逻辑推广到他的任意有穷值的逻辑和无穷值的逻辑。<WP=4>在第二章中,文章首先分析了存在多种不同的多值逻辑系统的原因。论文简单介绍了玻赫瓦尔的三值逻辑系统B3、克林的三值逻辑系统K3以及朱梧槚、肖奚安的中介逻辑MP和波斯特的多值逻辑系统P3,并将它们与卢卡西维茨多值逻辑相对比,以期对多值逻辑有一个更好的了解。这一章对比顺序的安排如下:首先是B3与K3和L3的对比。这是规范的系统之间的对比,并且它们都是从语义分析的角度构建起来的系统;但B3和K3又有所不同:B3是从悖论分析的角度构建起来的,而K3则是从本体论和认识论分析相结合的角度构建起来的。然后是MP和L3的对比。这是规范的与非规范的系统之间的对比,但同时MP又是从语义分析的角度构建起来的系统。最后是Pn和Ln的对比。Pn是从纯形式的角度分析并构建起来的系统,因此它与Ln的对比是纯形式分析系统和语义分析系统之间的对比;但同时Pn又是非规范的,因此,它们之间的对比又是规范的和非规范的系统之间的对比。本文考察Pn还有另外一个目的,即提出自己的一个设想。文章的第三章简单介绍了多值逻辑的意义和作用,并提出了自己的一个看法。结束语对论文进行了简单地回顾和总结