中国社会科学网讯 10月19日,由清华大学—阿姆斯特丹大学逻辑学联合研究中心(简称“逻辑学中心”)、清华大学哲学系和山西大学哲学学院共同主办的“逻辑与博弈国际研讨会”在山西太原晋祠宾馆会议中心举行。
逻辑与博弈之间的密切关系是近年来学界广泛关注的焦点。逻辑学提供的形式化分析工具,能够对博弈中的策略推理和选择行为进行精确描述和验证。博弈论则为逻辑研究提供了新的视角,尤其是在多主体互动情境下的决策和推理分析方面。这种交叉学科的讨论不仅限于逻辑学与博弈论,还涉及哲学、社会选择理论、多主体系统等广泛研究方向。
山西大学哲学学院院长尤洋在开幕式致辞中,强调了与清华大学哲学系和逻辑学中心开展的广泛合作具有重要意义。山西大学周北海教授随后致辞,他回顾了20年前范丙申(Johan van Benthem)教授首次来华在北京大学作报告的相关综述已提到“逻辑与博弈”,他认为,今天再办的逻辑与博弈研讨会意义深远,搞清楚“逻辑学到底向何处去”是青年学者的重要使命。清华大学逻辑学中心主任刘奋荣在致辞中表示,逻辑与博弈是国际逻辑学领域的一个热门且前沿的研究方向,范丙申教授在该领域作出了许多奠基性贡献。此次会议将围绕这一主题深入探讨,并进一步促进不同学科之间的交流与合作。
本次研讨会包括三个学术报告环节和《逻辑与博弈(Logic in Games)》中译本发布环节。
第一场报告围绕认知逻辑、图博弈和逻辑教学等主题展开。南开大学李娜作题为“经典逻辑的一种机器辅助证明”的报告,展示了逻辑证明过程中形式化与自动化的可能性,并介绍了南开大学逻辑推理虚拟教研室的科研工作。西南大学郭美云以“Probabilistic Epistemic Logic Based on Neighborhood Semantics(基于领域语义的概率认知逻辑)”为主题,借助彩票悖论探讨了基于邻域概率所构建的认知框架特点,以及其中知识、信念与概率之间的互动关系。中国科学院大学李大柱报告了“Graph Game Logic: Some recent developments(图博弈逻辑:一些最新发展)”,谈了自己如何受到图博弈的启发,并讨论了该领域的实际应用:如何通过逻辑工具来处理一些复杂的博弈情景。华东师范大学郝旭东以“A logical Analysis of the Debate of Haoliang(濠梁之辩的逻辑分析)”为题,探讨了《庄子•秋水》中的庄周与惠施之间论辩,并从逻辑角度对这段文本进行了深入分析。
学者在第二场报告中探讨了模态逻辑、策略推理和道义逻辑等主题。中山大学(珠海)王轶作题为“Dialogical Modal Logic(对话模态逻辑)”的报告。他从逻辑多元主义视角出发,分析了对话逻辑和模态逻辑的结合方式,并提出了一种直觉主义模态对话逻辑,指出其与一些现有的构造性逻辑系统(如CK、IK和CCDL)存在联系。中山大学马明辉以“The Truth about the McKinsey Axiom(McKinsey公理之真)”为题,回顾了McKinsey公理相关的逻辑学问题,并进一步探索了弱传递框架的相对对应理论。北京师范大学琚凤魁在题为“On Independence of Agents, Determinism, and Seriality in Models for Strategic Reasoning(论策略推理模型中的主体独立性、决定论和序列性)”的报告中,结合具体案例表明策略推理研究中的常见假设并非总是成立,提示研究者们在构建和分析模型时应更加审慎地考虑预设原则的有效性和适用范围。清华大学闫佳亮以“Instrumental Obligation = Priority + Causality(工具性义务=优先级+因果关系)”为题,介绍了他为工具性义务提出的因果道义解释模型,以及由此发展出的新的逻辑系统。
会议现场
博弈语义与矢列演算是第三场报告的主题。四川大学陈钰围绕“Sequent Calculus for Propositional Logic of Weakly Connected Transitive Frames(弱连通传递框架的命题逻辑矢列演算)”问题,探索了该框架下矢列演算系统的相关性质。泰山学院赵之光教授与中国政法大学付小轩共同报告“Game Semantics of ML(#) and Basic Neighborhood Logic(模态计数逻辑和基本邻域逻辑的博弈语义)”,展示了他们在利用博弈语义来理解逻辑关系方面取得的进展,重点讨论了一系列系统内已被证明的定理。最后,范丙申以“Logic in Games: Ten years after(逻辑与博弈:十年之后)”为题,概述了十年来逻辑与博弈研究的新进展,指出了一些尚未解决的挑战。他呼吁将逻辑与博弈的研究应用于逻辑教学实践。
《逻辑与博弈》中文译本发布会上,中山大学崔建英与付小轩分别介绍了译著的主要内容。该书由范丙申所著,崔建英与付小轩合译,为国内相关研究领域提供了专业性强的宝贵学术资料。范丙申在发言中指出,翻译工作虽然辛苦,但却是文化交流的重要桥梁,《逻辑与博弈》有幸成为国际交流的见证。
在本次研讨会最后,刘奋荣主持了一场非正式座谈会。与会学者与范丙申教授围绕过去20年中国逻辑学的发展、当前的学术状况、国际交流现状以及中西文化差异等问题进行了深入探讨。
来自北京大学、北京师范大学、南开大学、清华大学、斯坦福大学等高校以及清华大学出版社等机构的专家学者参会。
(供稿:清华大学哲学系逻辑学中心)
与会者合影留念