浅析多值逻辑证明论

发布时间：2018-04-03 06:44

  本文选题：多值逻辑系统　切入点：证明论　出处：《求是学刊》2007年06期

【摘要】：正一、多值逻辑概述西方逻辑的发展从一开始其主流观点一直是:任何命题都有而且只有真假二值,即所谓"二值律"。但是"二值律"与"排中律"历史上很早就受到质疑。多值逻辑作为一门独立的逻辑学分支是由波兰逻辑学家哲学家Jan Lukasiewicz在1920年创立的。Lukasiewicz研究了模态在人类的本体论活动中的作用,他试图通过第三个真值来
[Abstract]:From the beginning, the mainstream view of western logic is that any proposition has only true and false binaries, that is, the so-called "binary law".However, the law of binary value and the law of exclusion have long been questioned in history.Multivalued logic, as an independent branch of logic, was founded by Polish logician philosopher Jan Lukasiewicz in 1920 to study the role of modes in human ontological activities.
【作者单位】： 中山大学逻辑与认知研究所
【分类号】：B812

【相似文献】

相关期刊论文 前10条

1 梁彪;关于多值逻辑的解释问题[J];现代哲学;1990年04期

2 余二亮;;决定论与非决定论的是非探究[J];新学术;2007年02期

3 霍书全;;多值逻辑的思想渊源和产生历程[J];自然辩证法研究;2008年11期

4 董振华;非决定论批判与“两个必然”——正确认识两种社会历史进程[J];长春市委党校学报;2002年03期

5 茆素琼;;决定性视野下的决定论与非决定论之争[J];前沿;2007年06期

6 叶立国;李笑春;;决定论概念研究述评[J];中国海洋大学学报(社会科学版);2006年02期

7 杨克明;;对马克思主义历史决定论的思考[J];贵州商专学报;1997年04期

8 庞元正,董振华;以辩证决定论认识社会规律[J];许昌师专学报;2002年04期

9 霍书全;;多值逻辑的乌拉姆博弈语义[J];哲学动态;2009年12期

10 张曙光，齐献民;选择论：实践唯物主义的建构思路及其基本原则[J];信阳师范学院学报(哲学社会科学版);1994年02期

相关会议论文 前10条

1 高源;;建立和谐自主的课堂论坛——作文讲评课教学案例[A];国家教师科研基金“十一五”成果集（中国名校卷）（五）[C];2009年

2 史研;;第10届国际逻辑、方法论和科学哲学大会[A];1995年逻辑研究专辑[C];1995年

3 张景萍;王荣顺;王利祥;;设计具有稳定高自旋基态多自由基体系的结构规则[A];第三届中国功能材料及其应用学术会议论文集[C];1998年

4 高源;;建立和谐自主的课堂论坛——作文讲评课教学案例[A];国家教师科研基金十一五阶段性成果集（陕西卷）[C];2010年

5 李小五;;无穷逻辑简史[A];1997年逻辑研究专辑[C];1997年

6 沈亚生;;人学视域中的自由观论争[A];人学与现代化——全国第五届人学研讨会论文集[C];2002年

7 闫彬;方炎;;含水乙醇在CCVD法制备单壁碳纳米管中的影响[A];第十四届全国光散射学术会议论文摘要集[C];2007年

8 赵效洪;韩书华;闫欣;曾春梅;车红卫;;无表面活性剂条件下无机-有机杂化介孔硅的合成[A];中国化学会第十一届胶体与界面化学会议论文摘要集[C];2007年

9 卢天健;;超轻多孔金属的多功能复合特性[A];中国力学学会学术大会'2005论文摘要集（上）[C];2005年

10 闫欣;韩书华;侯万国;曾春梅;;以三聚表面活性剂为模板剂合成高铝含量的有序介孔硅铝酸盐材料[A];中国化学会第十一届胶体与界面化学会议论文摘要集[C];2007年

相关重要报纸文章 前10条

1 云县第一中学 徐家永;使用事例论据常犯的错误[N];云南经济日报;2001年

2 姜奇平;海浪永远汹涌莫测 海鸥凭何应付自如[N];上海证券报;2008年

3 姜奇平;黑天鹅效应与随需应变[N];电脑商报;2008年

4 记者 黄兴华;我大学生攻克国际数学难题[N];新华每日电讯;2011年

5 张浩 宋正海;令人深思的“蒋春暄现象”[N];南方周末;2003年

6 戴玉忠;证据法学研究的新探索[N];检察日报;2008年

7 记者 安平印 王青萍;一股独大不利企业发展[N];中国信息报;2001年

8 杨学功;历史哲学研究的新视角[N];人民日报;2007年

9 尼克;王浩和他的朋友们[N];东方早报;2011年

10 程婉华;论英语语言知识的积累与交际能力的培养[N];安徽经济报;2001年

相关博士学位论文 前8条

1 石军;基于XML的智能信息处理研究[D];西安电子科技大学;2003年

2 张本祥;不可计算复杂性的机理与意义[D];华南师范大学;2006年

3 程雪婷;基于CAS理论的石油企业适应性机制研究[D];哈尔滨工业大学;2006年

4 曾晓洋;高性能Reed-Solomon码编译码方法及其相关技术的研究[D];中国科学院长春光学精密机械与物理研究所;2001年

5 蒋笃恒;公证制度研究[D];中国政法大学;2002年

6 谢爱华;“突现论”中的哲学问题[D];中国社会科学院研究生院;2000年

7 程瑞;当代时空实在论研究[D];山西大学;2010年

8 薄谋;新弗雷格算术的一致性和解释性[D];复旦大学;2011年

相关硕士学位论文 前10条

1 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

2 关晓红;多值逻辑系统H_α与偏蕴涵代数[D];陕西师范大学;2007年

3 黄金华;正规模态逻辑的自然演绎及其证明论性质探微[D];华南师范大学;2007年

4 阳建国;人类自由的绪论：波普尔非决定论思想的道德之维[D];中南大学;2003年

5 林元彪;上海市道路名称英译研究[D];华东师范大学;2008年

6 黄云鹏;丹尼特自由观探析[D];山西大学;2010年

7 吴欣;内嵌金属富勒烯结构和电子性质的理论研究[D];厦门大学;2008年

8 张保垒;表列演算探究[D];华东师范大学;2011年

9 芦珊;可公理化单射占优模型类的研究[D];南京航空航天大学;2006年

10 肖玲;早期儿童语言泛化现象研究[D];首都师范大学;2007年

，

本文编号：1704060