王彦晶
- 作品数：5 被引量：1H指数：1
- 供职机构：北京大学哲学系更多>>
- 相关领域：哲学宗教更多>>
- 从博弈规则到博弈过程:动态认知视角下的非完美信息博弈（英文）被引量：1
- 2015年
- 在博弈论中,人们对扩展式博弈的信息集有着不同的解释,而对不同解释的混用可能会引起矛盾。我们认为这一问题源于对扩展式博弈的两种解释——博弈规则和博弈过程——的混淆。本文通过给出一种动态认知的逻辑框架来试图区分和联系博弈规则和博弈过程。我们运用这种理论框架从博弈规则和对参与者的假定一步一步地生成博弈过程。我们给出了一个完全的模态逻辑来描述参与者的知识及其在博弈过程中的变化。本文还证明,在特定情况下博弈规则和过程具有某种结构相似性,使得对二者的混用并不会产生混乱或矛盾。
- 李楷王彦晶
- 关键词：博弈过程博弈规则信息博弈模态逻辑扩展式
- 逻辑、语言和哲学讲习班与研讨会综述
- 2011年
- 2011年6月13-18日,清华大学人文学院哲学系举办了逻辑、语言和哲学讲习班与研讨会。本次活动的主旨是：对逻辑学、自然语言和哲学的交叉研究领域中的一些课题进行深入的介绍,交流最新的研究成果,展示逻辑学在跨学科研究领域中的重要作用。本次活动分为两个部分：为期五天的讲习班与为期一天的研讨会。活动的参加者有：阿姆斯特丹大学与斯坦福大学的范丙申（Johan vanBenthem）教授,阿姆斯特丹大学的斯托科霍夫（Martin Stokhof）教授,哥德堡大学与斯德哥尔摩大学的威斯特斯达（Dag Westerstahl）教授,
- 琚凤魁王彦晶
- 关键词：自然语言哲学系逻辑学讲习班跨学科研究
- 变论域模型上带赋值算子的认知逻辑研究
- 2020年
- 本文扩展了王彦晶和谢立民(J.Seligman)所提出的带赋值算子的认知逻辑.该逻辑沿循库伊(B.Kooi)所提出的动态项模态逻辑(dynamic term-modal logic)的进路,而二者都可以追溯到费廷(M.Fitting)曾提出的项模态逻辑.在一阶动态项模态逻辑的基础之上,王彦晶和谢立民采取了一种最小化的方法,仅把基础的赋值算子引入无量词的项模态逻辑,就得到一个足以自然地区分开多种从物/从言知识情形的逻辑片段.但上述工作都集中在常论域模型上,这就启发我们进一步放松对论域的限制,讨论可能带来的不同情况.正如库伊在动态项模态逻辑提出之初所言,动态项模态逻辑的一个发展方向就是允许论域变化,并从认知的视角研究存在的问题.本文将在这个方向上做出尝试,并试图给出对变论域上的认知模型的定义.更进一步,本文还将放松对项的解释的限制,允许项空指的情况.在区分个体与个体的名字、不固定论域、不假定名字都有指的形式化设定下,文中给出了一个认知模型上有效公式的公理系统.
- 魏宇王彦晶
- 关键词：公理化
- 专栏编者导语:超越“知道如是”的知识逻辑
- 2016年
- 辛提卡（J.Hintikka）1962年出版的开创性著作《知识与信念：这两个概念的逻辑导论》中为认知逻辑（EpistemicLogic）1奠定了理论基础。作为一种哲学逻辑，认知逻辑在其诞生之初受到了很多哲学家的批评，在上世纪七十年代一度发展较为缓慢。然而由于知识及信念的形式化概念的重要性和普遍性，认知逻辑在过去三、四十年间被广泛应用于包括理论计算机、人工智能、博弈论等领域中，并再次影响哲学界成为形式化知识论的重要工具，而由应用推动的诸多技术进展也使之成为现代模态逻辑非常活跃的重要分支之一。
- 王彦晶
- 关键词：知识逻辑导语编者专栏认知逻辑哲学逻辑
- 2016年全国现代逻辑学术研讨会专辑前言
- 2017年
- “全国现代逻辑学术研讨会”是中国逻辑学会现代逻辑专业委员会主办的年会,旨在增进国内各领域逻辑学研究人员的交流,共同营造一个健康的学术氛围,提高国内逻辑学界的学术水平.
- 王彦晶
- 关键词：现代逻辑专辑中国逻辑学术氛围
