多值逻辑蕴涵的解读

发布时间：2018-04-09 19:03

  本文选题：实质蕴涵怪论　切入点：多值逻辑系统　出处：《哲学动态》2011年11期

【摘要】：正多值逻辑的合法性立足于两点:其一,真值数目可以超过两个;其二,逻辑联结词具有合理的解释。联结词的解释是一个更为棘手的问题,其中又以蕴涵联结词较为难以解释。随着多值逻辑的发展,发现有大量的与经典逻辑具有相同定理的多值逻辑系统。这些多值逻辑的联结词的解释问题可以归结为经典逻辑中的同一个问题。多值逻辑蕴涵词大多是对经典逻辑蕴涵词的扩充,要对它们做出合理性辩护,必须参照经典逻辑的蕴涵。因此,如何理解经典蕴涵也是准确理解和接受多值逻辑的关键。但是,
[Abstract]:The legitimacy of positive multivalued logic is based on two points: first, the number of true values can exceed two; second, logical connectives have reasonable explanation.The interpretation of connectives is a more difficult problem, in which implicative connectives are more difficult to explain.With the development of multivalued logic, it is found that there are a large number of multivalued logic systems with the same theorems as classical logic.The interpretation of these connectives in multivalued logic can be attributed to the same problem in classical logic.The multivalued logical implicative words are mostly the extension of classical logical implicative words. In order to justify them rationally, we must refer to the implication of classical logic.Therefore, how to understand classical implication is also the key to understand and accept multivalued logic accurately.However,
【作者单位】： 安徽大学哲学系;
【基金】：教育部人文社会科学研究基金项目(09YJA72040001) 安徽省社会科学项目(AHSK07-08D49) 安徽省教育厅人文社会科学项目(2009sk054)资助
【分类号】：B812

【参考文献】

相关期刊论文 前1条

1 霍书全;;多值逻辑与悖论[J];中国社会科学院研究生院学报;2010年05期

【共引文献】

相关期刊论文 前10条

1 刘程;邱紫华;;不能不说的话:维特根斯坦与弗雷格、罗素[J];阿坝师范高等专科学校学报;2006年04期

2 方刚;名称来源问题的哲学意蕴——论柏拉图《克拉底鲁篇》对名称来源问题的探讨及其哲学意义[J];安徽大学学报;2005年05期

3 霍书全;;关于条件句的蕴涵理论[J];安徽大学学报(哲学社会科学版);2011年03期

4 王习胜;;道德悖论的消解路向——基于逻辑解悖角度的思考[J];安徽师范大学学报(人文社会科学版);2008年03期

5 黄宇红;;再析“非常”的词性[J];安徽文学(下半月);2008年05期

6 王端炜;张东升;;试论弗雷格的意义和意谓理论[J];安徽文学(下半月);2009年03期

7 张微;;从“语意整体论”看Of Study三个中译本的翻译[J];安徽文学(下半月);2010年11期

8 梁义民;罗素关于专名涵义的摹状词理论[J];安庆师范学院学报(社会科学版);2003年04期

9 喻敏;;证据学问题的语言哲学初步思考[J];北大法律评论;2001年02期

10 聂大海,吕蓓蓓;论语言意义的基本理念[J];北方论丛;2005年05期

相关会议论文 前9条

1 张燕京;;论弗雷格逻辑研究的基本路径[A];科学发展：社会管理与社会和谐——2011学术前沿论丛（上）[C];2011年

2 吴彩强;;Intentionality等于Intensionality吗?[A];第十三届全国科学哲学学术会议浙江大学代表团论文集[C];2007年

3 廖琳;龚启荣;;论罗素的逻辑主义[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

4 王晓;;论法哲学视野中的证明对象[A];法律逻辑与法学教育——第十五届全国法律逻辑学术讨论会论文集[C];2007年

5 陈诚;;30年来文学本体论研究的进展与问题[A];站在新的历史起点上——新时期文学理论研究的回顾与反思[C];2008年

6 王习胜;;论严格的指示词——从逻辑演进的视角看克里普克的观点与张家龙先生的辩护[A];第八届全国分析哲学研讨会论文集（上）[C];2012年

7 杜建国;;从哲学的基本问题到语境论[A];第八届全国分析哲学研讨会论文集（上）[C];2012年

8 刘振;田锋;;最佳解释推理对科学实在论的辩护[A];第八届全国分析哲学研讨会论文集（上）[C];2012年

9 张立娜;;语言哲学中的一个重要区分——专名与谓词[A];第八届全国分析哲学研讨会论文集（下）[C];2012年

相关博士学位论文 前10条

1 赵庆灿;新理学与中国哲学的现代转型[D];南开大学;2010年

2 卓立;历史相对主义的脉络[D];华东师范大学;2011年

3 奚颖瑞;从“算术哲学”到“逻辑研究”[D];浙江大学;2010年

4 陈静;语用认知视角下的指称研究[D];浙江大学;2010年

5 赵炎峰;先秦名家哲学研究[D];山东大学;2011年

6 孙日华;裁判客观性研究[D];山东大学;2011年

7 柳思思;历史实践与规范生成[D];外交学院;2011年

8 刘张华;大卫·刘易斯模态哲学思想研究[D];南京大学;2011年

9 黄嘉;天疆迷航[D];国防科学技术大学;2011年

10 骆传伟;专名的涵义与指称[D];上海外国语大学;2011年

相关硕士学位论文 前10条

1 党姣;从指称角度回应科学理论的不可通约性[D];昆明理工大学;2010年

2 刘惠;中国当代大众文化中的犬儒主义倾向研究[D];山东师范大学;2011年

3 赵振鲁;诠释学视域下柯林武德的问答逻辑[D];山东师范大学;2011年

4 林康廷;论奎因自然主义认识论[D];吉林大学;2011年

5 王亚静;汉语常用单音节形容词的发展变化[D];西南大学;2011年

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

7 于胜浩;艾伯特·维尼奇奥·拜雅的科学教育思想研究[D];华东师范大学;2011年

8 何永全;蒙古象棋对阵中的逻辑思维研究[D];内蒙古师范大学;2011年

9 谭海华;A-ε-m模式下的地名命名机制[D];四川外语学院;2011年

10 梅杰吉;哲学是反对语言诱惑理智的一场战斗[D];四川外语学院;2011年

【二级参考文献】

相关期刊论文 前4条

1 张建军;“强化的排中律”与多值逻辑──从“强化的说谎者悖论”谈起[J];江苏社会科学;1997年06期

2 张建军;关于悖论实质的几个问题──答马佩、黄展骥教授[J];人文杂志;1998年01期

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

4 刘宏岚;高庆狮;杨炳儒;;概率命题逻辑中命题相等关系的两个层面与命题演算[J];哲学研究;2009年10期

【相似文献】

相关期刊论文 前10条

1 彭媚娟;胡泽洪;;关于弗协调逻辑的思考[J];湖南科技大学学报(社会科学版);2008年01期

2 胡泽洪;;蕴涵刍议[J];华南师范大学学报(社会科学版);2006年05期

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

4 张振华;试论次协调逻辑的辩证否定观[J];辽宁大学学报(哲学社会科学版);2002年02期

5 陈勇涛;;浅析多值逻辑证明论[J];求是学刊;2007年06期

6 朱建平;;当代内涵逻辑的理论发展[J];苏州大学学报(哲学社会科学版);2010年03期

7 彭媚娟;;论经典逻辑的局部修正——以弗协调逻辑为例[J];广西社会科学;2010年12期

8 桂起权，刘东波;对应原理─—多种非经典逻辑的通用原理[J];自然辩证法通讯;1994年03期

9 胡泽洪;论逻辑学发展的多层面性[J];华南师范大学学报(社会科学版);1995年04期

10 季冠芳,弓肇祥;关于哲学逻辑的几个理论问题[J];哈尔滨学院学报;2001年01期

相关会议论文 前10条

1 陈晓平;;谈谈实质蕴涵问题[A];1997年逻辑研究专辑[C];1997年

2 陈波;李建华;;为实质蕴涵辩护[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

3 周训伟;;从实质蕴涵谈起[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

4 弓肇祥;季冠芳;;哲学逻辑的几个理论问题[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

5 冯棉;;逻辑推理中的相干性[A];第三次金岳霖学术思想研讨会论文集[C];2005年

6 张金成;;变换经典逻辑的时空——《数理辩证逻辑导论》读后[A];1996年逻辑研究专辑[C];1996年

7 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年

8 吴坚;;两种不同的蕴涵[A];1995年逻辑研究专辑[C];1995年

9 孙培福;;变元间的相关性是人类逻辑的本质属性——对王健平先生“相关蕴涵”说的再认识[A];第十四届全国法律逻辑学术讨论会论文集[C];2006年

10 邓春玲;;马克思经济危机理论的逻辑蕴涵与当代价值[A];全国高等财经院校《资本论》研究会2009年度（第26届）学术年会论文集[C];2009年

相关重要报纸文章 前7条

1 华南师范大学政治与行政学院 胡泽洪;哲学逻辑的发展趋势及其对我们的启示[N];光明日报;2008年

2 贾春华;《伤寒论》反事实条件句分析[N];中国中医药报;2007年

3 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年

4 陈波;逻辑学与理性精神[N];光明日报;2003年

5 沈跃春;繁荣和发展逻辑科学[N];安徽日报;2007年

6 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年

7 本报记者 花馨;钟山的难题[N];21世纪经济报道;2010年

相关博士学位论文 前10条

1 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院（成都计算机应用研究所）;2006年

2 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年

3 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

4 颜中军;苏珊·哈克逻辑哲学思想研究[D];华东师范大学;2012年

5 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

6 刘全;基于tableau的自动推理研究[D];吉林大学;2004年

7 张忠平;基于约束的XML数据库模式规范化研究[D];复旦大学;2004年

8 肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年

9 李广元;LTLC：面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年

10 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年

相关硕士学位论文 前10条

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

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

3 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

4 王艳琴;基于静态逻辑蕴涵的组合电路功耗优化[D];湖南大学;2005年

5 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年

6 罗清君;IL型三I算法及其还原性和R_0代数中的滤子格[D];陕西师范大学;2006年

7 章衡;中间逻辑中的范式研究[D];贵州大学;2007年

8 尹鹏;基于多值逻辑状态机的需求分歧研究[D];西安理工大学;2007年

9 张立;基于包含度和形式概念分析抽取模糊语言命题[D];西华大学;2008年

10 徐畅;基于经典逻辑的安全协议模型检测研究[D];吉林大学;2008年

，

本文编号：1727734