新葡萄8883官网AMG成功举办第六届京津冀逻辑论坛

2024年6月15日-16日，由新葡萄8883官网AMG、河北大学现代逻辑与逻辑应用研究所主办的“第六届京津冀逻辑论坛”在河北大学七一路校区成功召开。来自京津冀等地10余所高校的专家学者参加了本次论坛。会议以“智能化时代逻辑学研究与教学”为主题，旨在共话该领域的最新研究进展，促进当代逻辑学的理论和实践研究走向深入，推动京津冀逻辑学科的交流与合作。

会议开幕式由新葡萄8883官网AMG副院长赵贤教授主持。河北大学党委常委、副校长单耀军教授，中国逻辑学会副会长、新葡萄8883官网AMG院长张燕京教授，中国逻辑学会副会长、南开大学哲学院院长翟锦程教授，中国社科院哲学研究所逻辑学研究室主任刘新文研究员先后致辞。单耀军副校长代表学校对与会专家长期以来对河北大学哲学学科的支持表示感谢，并简要介绍了河北大学和哲学学科的发展情况。张燕京对与会专家莅临河北大学参会表示感谢，充分肯定了京津冀逻辑论坛成立的重大意义。翟锦程强调本次会议有助于推动京津冀等地逻辑学研究的协同创新与发展。刘新文回顾了京津冀逻辑论坛的发展历史、展望了未来的发展方向。

南开大学翟锦程教授在“论中国的哲学与中国的逻辑”的报告中指出，与中国传统哲学的演进相伴，其背后必然有对中国哲学发展起到根基作用的逻辑论证，所以，中国逻辑也有着相应的发展进程。因此，我们需要依据中国传统文化的思想生态来认识中国逻辑论证的思想特质，而不是“比附”于外来的逻辑来挖掘中国逻辑思想。

中国社科院刘新文研究员在“王浩论逻辑的哲学基础”的报告中指出，王浩先生是现代著名数理逻辑学家，是对世界哲学作出过深刻贡献的华裔学者，其逻辑思想集中体现在自行撰著的《从逻辑到数学》一书中。在阐述逻辑理论时，他从对命题观念的反思中提炼出逻辑常项，即提炼逻辑，这种特点是其学术价值与史料价值的体现。

浙江大学金立教授作了题为“面向卓越人才培养的逻辑教学实践探索——浙江大学‘大学写作’课程经验分享”的报告，探讨了逻辑学与写作教学的关系，分享了浙江大学“大学写作”课程建设理念和取得的成果。她认为，基于写作在大学通识教育中的枢纽的定位，能更好地推进大学写作课程建设，从而切实有效地提升大学生的写作水平。

中国人民大学余俊伟教授作了题为“逻辑学专业的学与教”的报告，介绍了一种以学为中心的逻辑专业教学理念模式。整个教学过程，教师承担的角色由传统的讲授模式转变为导航模式：定计划，选教材，确保质量，把握进度，实现目标。教材遵循内容经典、难度恰当的原则。研究生的角色由听转换为讲：依循教材，自主探索，体验过程，在增长知识的同时更看重自我成长能力的培养，领会方法与原理，贯通逻辑与哲学。

中国科学院大学张立英教授作了题为“《牟子理惑论》之论理辩”的报告，从逻辑学角度对《牟子理惑论》进行分析，指出文中除了熟练使用了演绎推理的规律外，还基于“上下周极含血之类物，皆属佛焉”等预设，广泛使用举例和比喻等非演绎方式进行说理与论证，并强调情境对推理结论和行为的影响，探讨了为什么使用譬喻等元论证问题。从逻辑学角度对《牟子理惑论》进行研究，提示了一种分析古代文本的新思路和新路径。

北京师范大学琚凤魁副教授在“分支时间中的强（弱）历史（时间）必然性”的报告中，提出了分支时间中的四种必然性的逻辑理论：强/弱历史必然性和强/弱时间必然性。这四种必然性的动机主要是语言学的角度。对这四种必然性概念的处理方法如下：主体接受一个本体规则系统，其确定可期待的时间线。主体将某些本体规则视为不可废止的，其决定可接受的时间线。通过考察这个逻辑理论的表达能力，证明了其完备性。

山东大学荣立武副教授在“现代语用学研究及其代际关系综述”的报告中指出，为了反对“意义即使用”，格赖斯在“语言”“思维”“实在”的耦合关系中描述了真值概念和意义概念的原型，刻画了意义的中心性范畴。随着语用学的认知转向，格赖斯对话语意义分析的整体设想遭遇了语言的不充分确定性和“读心”两大挑战。为解决这些问题，以关联理论为代表的第二代语用学抛弃了格赖斯的“所言”概念，寻求“语言”与“思维”的直接对应关系。最终得出结论：没有充分证据表明语用学的代际转换已经完成，因此格赖斯语用学与认知语用学是互补的而不是相互竞争的。

河北大学赵贤教授作了“模态实在与模态非实在事件的逻辑”的报告，从语形和语义两个方面对模态实在事件和模态非实在事件展开研究。不仅从定义、定理、证明几个方面给出了关于可能世界的模态实在事件和模态非实在事件的形式系统，还证明了该系统的可靠性和完全性。与正规模态逻辑相比，该系统的表达能力相对较弱，不能区分自反模型，但该系统仍可以提供我们所需要的所有公式。模态黑洞并不是一个可能的世界，而是一个“存储”世界中所有模态非实在事件的地方。给定一个模型，每个世界只有一个模态黑洞，模型中模态黑洞的数量等于模型中世界的数量。我们的世界有它的模态黑洞，模态黑洞中的事件有其自己的逻辑结构。

南开大学刘叶涛教授在“应重读克里普克经典文献”的报告中指出，从近年学界相关研究看，关于克里普克的哲学思想的把握仍有较大不足，误视和错解仍时有发生。克里普克哲学论文集中译本《哲学的困惑》首次发表的几篇论文，涉及认知悖论、知识的反事实分析、含义和指称、从言模态和从物模态的关联、预设与回指、时间和思想悖论等多个方面，是相关研究的重要文献，值得高度关注。重读克里普克经典文献有助于我们夯实研究地基，匡正思考误区，推动相关研究。

河北大学朱帆博士在“因果性问题研究”的报告中指出，因果方向性，又称因果非对称性，强调因果关系具有单向性。然而，在物理学领域，基本定律往往呈现时间对称性，这使得因果方向性的解释面临挑战。Huw Price将此困难称为因果方向性解释的物理主义约束。作为自称自然主义的干预主义者，其观点亦受此约束的限制。通过对Judea Pearl与James Woodward两位干预主义者的因果方向性解释进行考察，并得出结论：Pearl的解释是一种基于进化语义约定论，而Woodward的解释亦未能成功摆脱人类中心主义。因此，干预主义的因果方向性解释在应对物理主义约束方面，迄今尚未成功。

山西大学郭建萍教授在“反逻辑例外论：概述与反思”的报告中指出，逻辑例外论与反例外论的争论是近年来逻辑哲学领域研究的热点。以约特兰、威廉姆森、普莱斯特等为代表的反逻辑例外论者的主要观点是这场争论的导火索和焦点所在。通过从基本概念的清晰界定、逻辑理论层次的区分上对AEL的观点（1）（2）（3）予以质疑，进而得出结论，对逻辑例外论与和反例外论之争，最好持一种开放的心态，允许对逻辑以更多视角予以考察研究，推动逻辑的繁荣发展以及人类求真道路的坚实与多元！

南开大学李延军副教授作了“联盟规划中的逻辑推理”的报告，首先介绍了人工智能领域的经典规划问题，在经典规划问题的基础上定义了在同步模型上的联盟规划问题。然后介绍了一个可以刻画联盟规划中联盟知识推理和联合行动推理的逻辑框架，给出了一个该逻辑框架上公理系统并证明了该公理系统的可靠性和完全性。同时，定义了基于该逻辑框架的联盟规划问题。介绍了该联盟规划问题的复杂度。最后，通过将联盟规划问题归约为单主体环境中的分支规划问题，证明了联盟规划问题的规划方案的存在性问题是多项式时间可解的。

清华大学闫佳亮博士作了“Epistemic Possibility under Knowledge and Belief”的报告，提供了一个刻画认知可能及其相关推理的逻辑。首先提出了一些谜题，以突出认知可能在知识和信念语境中带来的挑战。针对这些问题给出一个认知模型，其中认知可能被定义为信息状态中的可能性范围，信念则以可信度排序的方式被形式化。在该框架中，知识的事实性被视为一种预设，而不仅仅依赖于可及性关系的自返性。该模型是基于屉语义（team semantics）和状态为基的双边模态逻辑（BSML）的认知扩展。

山东大学田中旭同学在“真值函项的偶然逻辑”的报告中指出，根据真值函项联结词的语义，所有经典命题逻辑的公式可被分为三部分：重言式、矛盾式和偶然式。真值函项偶然逻辑即是为了刻画经典命题逻辑中所有的偶然式。该报告介绍真值函项偶然逻辑的希尔伯特演算系统HLC和矢列演算系统GLC，并证明它们都是可靠且完全的，以及GLC是可判定的。

会议在热烈的气氛中落幕。大会闭幕式由刘新文主持，张燕京致闭幕词。张燕京指出，这次⼤会一天时间安排了14场学术报告，这充分表明京津冀逻辑论坛是一个纯粹的学术论坛。14场学术报告展示了当前京津冀逻辑学研究和教学的动态和趋势。本届论坛进一步增进了京津冀等地高校之间的交流和合作，扩大了京津冀地区逻辑学的影响，必定对于京津冀乃至全国逻辑学的发展具有积极的推动作用。（王丽珍供稿）