2017年全国现代逻辑学术研讨会-浙江大学人文学部.PDFVIP

“2017 年全国现代逻辑学术研讨会”会议综述 撰稿/汪佳梅、李崇慧；摄影/何娟 （浙江大学哲学系、浙江大学语言与认知研究中心） 2017 年10 月20 日至22 日，“2017 年全国现代逻辑学术讨论会”在浙江大学隆重举行。 本届大会由中国逻辑学会现代逻辑专业委员会、浙江大学哲学系和浙江大学语言与认知研究中 心共同主办。会议主题包括逻辑哲学、哲学逻辑、数理逻辑、逻辑与计算机科学、逻辑与语言 学等内容，旨在增进国内各领域逻辑学研究人员的交流、共同营造一个健康的学术氛围、提高 学术研究水平。 来自全国各地高等院校和科研院所的 100 多位专家学者和研究生列席此次学术盛会。21 日上午，浙江大学人文学部主任、语言与认知研究中心主任黄华新教授主持了会议开幕式，代 表东道主浙江大学对与会代表表示热烈欢迎。在接下来的两天学术交流中，围绕大会主题，一 共安排了29 位专家学者和学生的报告，分为：（一）特邀报告；（二）会议报告；（三）学生摘 要报告。 1 一、特邀报告 特邀报告一共三场。复旦大学陈翌佳教授的报告题目为“一 阶逻辑在计算复杂性上的能力和局限性”。一直以来，一阶逻辑 被公认存在太多限制，在计算机科学领域无用武之地。陈教授在 报告中，以“如何根据筛选条件在现代逻辑学会中成立一个委员 会”为例，说明很多相当复杂的计算问题，在实现大规模并行计 算的条件下，只要建立一个一阶逻辑系统就可以得到有效结果。 甚至，只要量词深度足够小，这个一阶逻辑系统还可以对超大数 据在有限步骤内求解。 厦门大学朱菁教授的报告题目为“BDI 模型的哲学基础”。他认 为，BDI （信念-欲望-意图）是当今人工智能领域颇具影响力的有关 理性智能主体的逻辑与认知模型，但大多数人工智能研究者和逻辑 学家不了解其哲学基础和背景。该模型源自斯坦福大学哲学家马克 尔·布拉特曼（Michea Brata）在行动哲学领域的研究工作，他 也是构建该模型首个形式化系统的主要参与者。报告探讨了BDI 模型 中意图和决策及意图和计划之间的关系，并分析了该模型跨哲学、 逻辑学和计算机科学的理论背景。 浙江大学廖备水教授作了题目为“形式论辩与非单调推理” 的本地特邀报告。他认为，在不一致情境中建立具有可废止性和 非单调性的形式论辩模型，其基本工作机制应考虑六个层面，即： 底层逻辑语言、论证结构、论证之间的冲突定义、论证之间的击 败定义、论证评估和结论获取。在此基础之上，他汇报了团队最 新的研究成果，即一种半结构化的通用模型和形式论辩中的优先 规范推理。 2 二、会议报告 在会议期间，共有23 位学者介绍了他们的最新研究成果，依据报告主题简要概述如下。 数理逻辑领域，武汉大学程勇副教授引入了一个 相较于一阶逻辑更弱的理论，并证明哥德尔第一不完 备定理在该理论下是成立的，同时具有与原初理论同 等解释力。中山大学博士生梁飞论证了带有一个德摩 根消除算子（LDN）的兰贝克演算（Labe Cacuus） 是可判定的。 哲学逻辑领域，北京大学 刘壮虎教授介绍了类概念、个 体概念和性质概念，并讨论了 概念结构与外部世界，以及经 验与信念的关系，并在此基础 上对 “弗雷格难题”进行了 解析。北京大学博士生王强通过介绍拉图二分法到亚里士多德正负二分法的演化过程，提出 亚里士多德划分格的概念，以此为模型建立了形式系统，用划分理论解释亚里士多德逻辑的思 想来源。中山大学崔建英副教授从认知博弈研究角度出发提