学术殿堂之重器      学术历史之奠基
  • 年鉴年份:
  • 主编:       
  • 年鉴名称:
请输入关键词
请选择来源年鉴
  • 年鉴年份:
  • 主编:       
  • 年鉴名称:
当前位置:首页 >>中国哲学年鉴2017卷 >>文献详情

2016年逻辑学研究进展

来源: 中国哲学年鉴2017 >> 研究报告 作者: 贾青 刘新文 浏览次数:51
摘要:  2016年逻辑学的主要成果集中在哲学逻辑这一研究领域中。哲学逻辑是使用逻辑学方法,特别是模态逻辑中的技术手段处理哲学问题而形成的一类逻辑分支,包括知识逻辑( epistemic logic ) 、信念逻辑( doxastic logic ) 、道义逻辑( deontic logic )等。除此之外,对经典逻辑问题的重新讨论和商榷以及对重要历史人物的成果梳理,也是2016年逻辑学研究中的重要内容。相反,弗雷格为数学奠定逻辑基础的努力、哥德尔成就逻辑学的伟大成果以及当代逻辑学家对连续统问题的研究都表明,实在论的立场总是能更好地解释逻辑学研究的实践。这些成果能够大体反映2016年逻辑学的工作以及研究成果的分布状况,为人们了解逻辑学在2016年的研究和进展提供借鉴。
  • 在线阅读
  • 原书中阅读
  • 2016年逻辑学研究进展
    作者: 贾青 刘新文

    2016年逻辑学的主要成果集中在哲学逻辑这一研究领域中。哲学逻辑是使用逻辑学方法,特别是模态逻辑中的技术手段处理哲学问题而形成的一类逻辑分支,包括知识逻辑(epistemic logic)、信念逻辑(doxastic logic)、道义逻辑(deontic logic)等。除此之外,对经典逻辑问题的重新讨论和商榷以及对重要历史人物的成果梳理,也是2016年逻辑学研究中的重要内容。

    一 知识逻辑的发展与扩充

    经典的知识逻辑以命题的知识及其逻辑规律为研究对象,然而在从言的命题知识之外更有一大类从物的知识,比如“知道是什么”“知道怎么做”“知道为什么”,等等。其中“知道是什么”这种算子因为语义上的简洁性而得到广泛应用。丁一峰在“知道是什么”算子的基础上进一步扩充知识逻辑的语言,使之可以表达有关事物间关系的知识,[※注]诸如“我知道这盏灯是怎么由那两个开关控制的”等。这类命题的共同形式是“A知道c怎么由D决定”,其中A指代一个主体,c是一个变量名,而D则是一个有穷的变量名集合。作者关注的问题是,在这个添加了“知道函数决定关系”算子的语言片段上,什么样的推理是有效的,如何用公理系统来刻画这些有效的推理形式。直观上,“如果A知道c怎么由d决定,并且A知道d的值是什么,那么A就知道c的值是什么”和“如果A知道c怎么由d决定,并且A知道d怎么由e决定,那么A就知道c怎么由e决定”似乎都是有效的。同时“如果A知道c的值,A就知道c怎么由D决定”似乎是一个不合适的推理形式。比如,我们不会仅仅因为知道太阳系行星的个数就知道太阳系行星的个数是怎么由人类手指的个数决定的。作者利用“可能函数关系域”的形式语义来讨论相关的有效推理并给出与不同的“可能函数关系域”相对应的公理系统。最后作者还简单讨论了基于反事实条件的“知道函数决定关系算子”的形式语义。

    令算子Kv表示“主体知道c的值是多少”,那么就可以在知识逻辑的基础上得到“知道值”逻辑。在“知道值”逻辑的标准模型中,每个可能世界上都有一个赋值函数给每个常元c一个确定的值。“主体知道c的值”为真当且仅当主体不能区分的所有可能世界上c都有同样的值,然而在“知道值”逻辑的语言中并不能表达具体的值,这样就使得“知道值”逻辑的语言和语义有一种不平衡,即语言较弱但模型包含的信息比较丰富,这给此类逻辑的公理化造成了很大困难。顾韬和王彦晶在论文《作为一种正规模态逻辑的“知道值”逻辑》[※注]中试图通过给“知道值”逻辑一个等价的简化语义来重新平衡语言和模型,并且更深刻地探讨这样的逻辑和标准的正规模态逻辑之间的关系。论文在模型中取消关于c的赋值,引入一个三元关系R^c,使得直观上(w,u,v)属于R^c表示w能通达到两个c值不同的世界u和v,进而可以基于三元关系给出知道值公式的替代语义。在一些很自然的三元关系的限制下,可以证明新语义得到的有效式和老语义是一样的。通过这个新语义就能发现(条件化的)知道值算子可以被看成一个二元正规模态算子的特殊形式(模态词后面的两个公式一样),同时可以利用一元算子和这个特殊的二元算子表达更一般的二元算子,这时候可以利用比较标准的二元正规模态逻辑的技术给出相对简单的公理化及其完全性证明。这大大简化了之前关于公理化的讨论。这种简化语义的方法具有一定的普遍性,可以用在各种非正规知识逻辑中。

  • 中国哲学年鉴2017卷

    出版社:中国社会科学出版社

    出版日期:2017-12

    章节:《中国哲学年鉴2017》 \  研究报告

    在原书中阅读
  • 相似文献
  • 经典的扩充与变异

    来源: 中国哲学年鉴2016 \ 研究报告

    命题逻辑与一阶逻辑都被称为经典逻辑。如果在经典逻辑的基础上增加算子,那么就能得到经典逻辑的扩充,如模态逻辑以及各种哲学逻辑;如果更改经典逻辑得以建构的假设,那么就能得到一系列的非经典逻辑,如非单调逻辑、相干逻辑等。近年来,国内逻辑学界的很多成果都集中在哲学逻辑领域,2015年这方面的成果数量仍然可观;同

    哲学逻辑与逻辑哲学的新进展

    来源: 中国哲学年鉴2015 \ 研究报告

    近年来,国内的逻辑学研究主要集中在哲学逻辑、逻辑哲学以及模态逻辑等方向,2014年的逻辑学研究依然体现了这种研究方向的分布情况。在哲学逻辑领域,与动态逻辑相关的研究占据了很大的比重;在逻辑哲学领域,对经典著作或者经典理论的重新整理或理解成为了一个重要的研究热点;在模态逻辑领域,经典模态逻辑以及超模态逻辑

    奥卡姆的模态理论:形而上、自然和历史必然性

    来源: 中国哲学年鉴2017 \ 新书选介

    奥卡姆是中世纪后期最重要的逻辑学家,也是一位著名的哲学家和神学家。他的著作《逻辑大全》是对亚里士多德逻辑的系统化和拓展。在这部著作里,奥卡姆以亚里士多德的逻辑为基础,系统性地发展了他自己的一套模态逻辑,其中包含了许多创新和新发现,比如,亚里士多德不知道的模态命题逻辑法则。该著系统性地描述了奥卡姆的模

    科学解释模型与解释者信念研究

    来源: 中国哲学年鉴2017 \ 新书选介

    科学解释是科学哲学中的核心问题之一,不论是科学解释的语义相关模型还是科学解释的语用相关模型都不能揭示解释相关的本质。该著尝试从解释者信念作为切入点,通过贝叶斯网络构建科学解释的解释者信念语境相关模型,试图避免解释的语义相关模型不关注解释者遇到的困境,以及避免范·弗拉森、阿欣斯坦等人语境相关解释模型的

中国哲学年鉴

请输入收藏夹名称
您确定要删除吗?
引用格式
  • 引用格式
  • word
  • txt
清空清空导出导出复制复制
删除丁一峰:“Epistemic Logic with Functional Dependency Operator”,《逻辑学研究》2016年第4期。
删除Tao Gu,Yanjing Wang,“‘Knowing Value’Logic as a Normal Modal Logic”,Advances in Modal Logico ,Vol.11,College Publication,2016.
删除Zixin Luo,Yetao liu,“Willamson’s Anti-KK Argument”,The Philosophical Forum ,47,2016.
删除苏庆辉:《可知性悖论的条件句分析》,《世界哲学》2016年第3期。
删除Yongfeng Yuan,“Rational Metabolic Revision Based on Core Beliefs”,Synthese ,193,2016.
删除Fenrong Liu,E.Lorini,“Reasons to Believe in a Social Environment”,Proceedings of the 13th International Conference on Deontic Logic and Normative Systems(DEON 2016),College Publications,2016.
删除Fengkui Ju,J.van Eijck,“To Do Something Else”,Proceedings of the 13th International Conference on Deontic Logic and Normative Systems(DEON 2016),2016,pp.109—122.
删除刘虎:“A Temporal-Spatial Logic for Branching Space-times”,《逻辑学研究》2016年第4期。
删除郝兆宽:《逻辑究竟是什么以及逻辑应当是什么?》,《哲学分析》2016年第2期。
删除马明辉、刘新文:《论克里普克的弗雷格式量化逻辑》,《哲学动态》2016年第3期。
删除余俊伟:《本质主义与模态逻辑》,《哲学动态》2016年第1期。
删除高坤:《连续统问题与薄实在论》,《逻辑学研究》2016年第2期。
删除Minghui Ma,Zhiguang Zhao,“Unified Correspondence and Proof Theory for Strict Implication”,Journal of Logic and Computation ,193,2016.
删除张燕、沈榆平、赵希顺:《前提嵌套程序和基数约束程序的简洁性研究》,《逻辑学研究》2016年第2期。
删除张尚水、张家龙、张清宇、王路:“Hao Wang’s Life and Achievements”,《逻辑学研究》2016年第2期。