卢卡西维茨多值逻辑及其与一些逻辑的比较-逻辑学专业论文.docxVIP

摘 摘 要 降统逻辑是二值的，对诸如未来偶然命题，这种逻辑是解决不了的，这说明 话至趣辑具有一定的局限性。为了处理这类问题，就需要发展起来一种不同于二 值逻辑的逻辑，这就是多值逻辑。之所以称之为多值逻辑，关键原因在于其所研 究的是具有三个或三个以上乃至无穷个真值的命题之间关系的逻辑理论，而不是 仅仅限于真假二值。V 文章的引言简明扼要地介绍了多值逻辑的产生及其发展概况，使我们首先对 多值逻辑有一个轮廓的印象。 第一章是文章的主体部分，其他部分都是围绕着这一部分来写的，它们是这 一部分的对比和深化。我们知道，卢卡西维茨被誉为多值逻辑之父，因为正是他 于二十世纪二十年代起首先把现代逻辑的方法应运于多值逻辑的研究，从而系统 地发展了多值逻辑的理论。因此，本文首先并主要考察的是卢卡西维茨的多值逻 辑理论。在这一部分中，文章考察的内容主要有卢卡西维茨的三值逻辑理论、三 值逻辑的真值函项、卢卡西维茨的三值逻辑的公理化研究和卢卡西维茨的三值逻 ，＼ 辑的推广导：岵“卢卡西维茨的三值逻辑”中，文章考察了二值逻辑和三值逻辑 吨 对五个基本联结词的真值表定义和函数定义的异同，考察了它们二者以其中两个 联结词为初始概念来定义其它几个联结词时的异同，以及一些在二值逻辑中成立 的逻辑定律是否仍然在卢卡西维茨的三值逻辑中成立。在“真值函项”中，在与 二值逻辑的比较下，文章介绍了三值逻辑的真值函项的数目及计算方法。由于三 值逻辑比二值逻辑多一个真值，所以三值逻辑的真值函项的数量比二值逻辑的真 值函项的数量大得多，所以三值逻辑才会比二值逻辑有更强的处理问题的能力。在 “卢卡西维茨的三值逻辑的公理化研究”中，文章考察了卢卡西维茨的三值逻辑 的公理化研究情况。进而，文章才便于将卢卡西维茨的三值逻辑推广到他的任意 有穷值的逻辑和无穷值的逻辑：、／／ 刀 在第二章中，文章首先分析了存在多种不同的多值逻辑系统的原因。论文简 在第二章中，文章首先分析了存在多种不同的多值逻辑系统的原因。论文简 单介绍了玻赫瓦尔的三值逻辑系统队克林的三值逻辑系统K。以及朱梧横、肖奚 安的中介逻辑MP和波斯特的多值逻辑系统P3，并将它们与卢卡西维茨多值逻辑 相对比，以期对多值逻辑有一个更好的了解。这一章对比顺序的安排如下： 首先是B3与K3和L3的对比。这是规范的系统之间的对比，并且它们都是从 语义分析的角度构建起来的系统：但B3和K3又有所不同：B3是从悖论分析的角 度构建起来的，而K3则是从本体论和认识论分析相结合的角度构建起来的。 然后是MP和L3的对比。这是规范的与非规范的系统之间的对比，但同时 MP又是从语义分析的角度构建起来的系统。 最后是P。和L。的对比。P。是从纯形式的角度分析并构建起来的系统，因此 它与L。的对比是纯形式分析系统和语义分析系统之间的对比；但同时P。又是非规 范的，因此，它们之间的对比又是规范的和非规范的系统之间的对比。本文考察P。 还有另外一个目的，即提出自己的一个设想。 文章的第三章简单介绍了多值逻辑的意义和作用，并提出了自己的～个看法。 结束语对论文进行了简单地回顾和总结。 关键词：三值逻辑，多值逻辑，逻辑直觉。 Il AbstractTraditional Abstract Traditional logic is a 2-valued logic，but there are a lot of problems that cannot be solved by it．To deal with those problems，we should develop a new kind of logic that is different from 2-valued logic．This is many—valued logic．We call it many—valued logic in that this kind of logic studies logic theory that handles relations of propositions in which propositions have three truth values or more，even infinite，and do not limit in two truth values． The introduction of the paper introduces concisely the outline of generation of many-valued logic and its development to impress US many—valued logic a rough sketch firstly． Unit 1 is the main part o