当前位置:主页 > 社科论文 > 逻辑论文 >

卢卡西维茨多值逻辑及其与一些逻辑的比较

发布时间:2017-09-30 11:30

  本文关键词:卢卡西维茨多值逻辑及其与一些逻辑的比较


  更多相关文章: 三值逻辑 多值逻辑 逻辑直觉


【摘要】: 传统逻辑是二值的,对诸如未来偶然命题,这种逻辑是解决不了的,这说明传统逻辑具有一定的局限性。为了处理这类问题,就需要发展起来一种不同于二值逻辑的逻辑,这就是多值逻辑。之所以称之为多值逻辑,关键原因在于其所研究的是具有三个或三个以上乃至无穷个真值的命题之间关系的逻辑理论,而不是仅仅限于真假二值。 文章的引言简明扼要地介绍了多值逻辑的产生及其发展概况,使我们首先对多值逻辑有一个轮廓的印象。 第一章是文章的主体部分,其他部分都是围绕着这一部分来写的,,它们是这一部分的对比和深化。我们知道,卢卡西维茨被誉为多值逻辑之父,因为正是他于二十世纪二十年代起首先把现代逻辑的方法应运于多值逻辑的研究,从而系统地发展了多值逻辑的理论。因此,本文首先并主要考察的是卢卡西维茨的多值逻辑理论。在这一部分中,文章考察的内容主要有卢卡西维茨的三值逻辑理论、三值逻辑的真值函项、卢卡西维茨的三值逻辑的公理化研究和卢卡西维茨的三值逻辑的推广等。在“卢卡西维茨的三值逻辑”中,文章考察了二值逻辑和三值逻辑对五个基本联结词的真值表定义和函数定义的异同,考察了它们二者以其中两个联结词为初始概念来定义其它几个联结词时的异同,以及一些在二值逻辑中成立的逻辑定律是否仍然在卢卡西维茨的三值逻辑中成立。在“真值函项”中,在与二值逻辑的比较下,文章介绍了三值逻辑的真值函项的数目及计算方法。由于三值逻辑比二值逻辑多一个真值,所以三值逻辑的真值函项的数量比二值逻辑的真值函项的数量大得多,所以三值逻辑才会比二值逻辑有更强的处理问题的能力。在“卢卡西维茨的三值逻辑的公理化研究”中,文章考察了卢卡西维茨的三值逻辑的公理化研究情况。进而,文章才便于将卢卡西维茨的三值逻辑推广到他的任意有穷值的逻辑和无穷值的逻辑。 WP=4 在第二章中,文章首先分析了存在多种不同的多值逻辑系统的原因。论文简单介绍了玻赫瓦尔的三值逻辑系统B3、克林的三值逻辑系统K3以及朱梧i凇⑿ま砂驳闹薪槁呒璏P和波斯特的多值逻辑系统P3,并将它们与卢卡西维茨多值逻辑相对比,以期对多值逻辑有一个更好的了解。这一章对比顺序的安排如下: 首先是B3与K3和L3的对比。这是规范的系统之间的对比,并且它们都是从语义分析的角度构建起来的系统;但B3和K3又有所不同:B3是从悖论分析的角度构建起来的,而K3则是从本体论和认识论分析相结合的角度构建起来的。 然后是MP和L3的对比。这是规范的与非规范的系统之间的对比,但同时MP又是从语义分析的角度构建起来的系统。 最后是Pn和Ln的对比。Pn是从纯形式的角度分析并构建起来的系统,因此它与Ln的对比是纯形式分析系统和语义分析系统之间的对比;但同时Pn又是非规范的,因此,它们之间的对比又是规范的和非规范的系统之间的对比。本文考察Pn还有另外一个目的,即提出自己的一个设想。 文章的第三章简单介绍了多值逻辑的意义和作用,并提出了自己的一个看法。 结束语对论文进行了简单地回顾和总结
【关键词】:三值逻辑 多值逻辑 逻辑直觉
【学位授予单位】:河南大学
【学位级别】:硕士
【学位授予年份】:2003
【分类号】:B815
【目录】:
  • 中文摘要3-5
  • 英文摘要5-7
  • 引言7-10
  • 第一章 卢卡西维茨的多值逻辑10-25
  • 一 卢卡西维茨的三值逻辑10-17
  • (一) 卢卡西维茨的三值逻辑10-15
  • (二) 真值函项15-17
  • 二 卢卡西维茨三值逻辑的公理化研究17-20
  • 三 卢卡西维茨的三值逻辑的推广20-25
  • (一) 卢卡西维茨的n值逻辑20-23
  • (二) 卢卡西维茨的无穷值逻辑23-25
  • 第二章 其他一些多值逻辑系统及其与L_n的比较25-35
  • 一 B_3、K_3及其与L_3的比较26-29
  • 二 中介逻辑MP及其与L_3的比较29-31
  • 三 P_n和本文的一些想法及其与L_n的比较31-35
  • 第三章 多值逻辑的意义和作用35-40
  • 结束语40-41
  • 参考文献41-43
  • 后记43

【参考文献】

中国期刊全文数据库 前10条

1 蔡曙山;多值逻辑的哲学意义[J];贵州社会科学;1991年12期

2 桂起权 ,罗毅;多值逻辑的起源、特性及其给辩证逻辑的启示[J];内蒙古师大学报(哲学社会科学版);1987年02期

3 吴士栋;;三值逻辑的问题[J];江西师院学报;1983年04期

4 桂起权;罗毅;;关于多值逻辑的辩证哲学思考[J];逻辑与语言学习;1987年02期

5 邹晶;中介逻辑的命题演算系统MP的语义解释及可靠性、完备性[J];数学研究与评论;1988年03期

6 朱梧i

本文编号:947979


资料下载
论文发表

本文链接:https://www.wllwen.com/shekelunwen/ljx/947979.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户49da3***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com