2016 年全国现代逻辑学术研讨会综述.pdfVIP

逻辑学研究 2017 年第2 期，134–141 文章编号：1674-3202(2017)-02-0134-08 2016 年全国现代逻辑学术研讨会综述* 2016 年10 月14–16 日，由中国逻辑学会现代逻辑专业委员会主办、西南 大学逻辑与智能研究中心承办的“2016 年全国现代逻辑学术研讨会”在西南 大学召开。本次研讨会的主题包括逻辑方法论、哲学逻辑、数理逻辑、逻辑哲 学、逻辑与语言、逻辑与社会科学等。 本次会议的本地组织由西南大学郭美云负责，大会程序委员会由北京大学 王彦晶负责。来自中国社会科学院、北京大学、清华大学、中国人民大学、中 山大学、浙江大学、南京大学、香港科技大学、瑞典皇家理工大学、西南大学 等国内外近40 家高等院校和科研院所的90 多位专家学者和研究生参加了此 次会议。 西南大学政治与公共管理学院副院长、逻辑与智能研究中心主任郭美云主 持了会议开幕式，现代逻辑专业委员会主任刘新文研究员、西南大学政治与公 共管理学院院长陈跃、西南大学逻辑与智能研究中心名誉主任何向东分别代表 会议主办方和承办方致辞。在两天的学术讨论中，与会代表围绕大会主题进行 了26 场报告，其中包括3 场大会特邀报告。这些报告充分展示了我国现代逻 辑发展的最新研究成果。同时会议还设有3 场面向研究生及青年学者的学术技 能及学术规范性讲座。 1 大会特邀报告 香港科技大学林方真的报告题为“计算机程序的逻辑形式化”（Logical FormalizationsofComputerPrograms）。他在报告中指出，计算机程序是最复杂 的一种人工系统，其应用范围十分广泛且大多处于关键领域，因而它们的可靠 性就显得尤为重要。关于计算机程序的验证历史上有很多形式化方法，关于程 序的设计和调试也提出过不少技术和方法论。在对现有的一些方案进行简要 概述之后，他报告了自己近些年的工作，即将计算机程序翻译到一阶逻辑中 收稿日期：2016-12-07 * 基金项目：本文得到重庆市社会科学规划项目“决策理论的非公理化研究”（2015QNZX02） 的资助。 李章吕 2016 年全国现代逻辑学术研讨会综述 135 来, 用一种巧妙的办法处理带有循环的程序。这种方法的基本思想已经通过计 算工具实现, 与传统工具相比在应用范围和效率上都有明显优势。 南京大学喻良的报告题目是“定义随机性”。他首先对历史上人们从不同 角度所给出的经典算法随机性（Algorithmic Randomness）的定义进行了分析， 指出这些定义事实上都是等价的。随着可计算性理论的发展，这些观点近年来 得到了进一步的澄清。在此基础上，他从计算理论的观点出发探讨了随机性的 定义，以及可计算性理论在算法随机性中的应用。 西南大学郭美云作了题为“自然演绎及其哲学思考”的本地特邀报告。他 在对自然演绎逻辑的提出和发展历史进行考察之后，指出了自然演绎的本质。 在总结各个自然演绎系统的几个区别性特征，通过采取一个有更多“有假设推 演规则”的自然演绎系统，并用证明序列的左侧序号来编撰和追踪证明者的证 明思路和证明策略，以此来提高学生逻辑思维能力和元定理的证明能力。报告 还梳理了根岑由逻辑公理化思想发展出自然演绎、进而发展出矢列演算的基本 思路，并指出了根岑的逻辑演绎思想对证明论语义学和意义理论的重要应用和 哲学影响。 2 会议报告 在两天的会议中，另有23 位学者交流了他们的近期研究成果，按照主题 简要概述如下。 2.1 哲学逻辑 北京大学刘壮虎的报告题目是“概念结构理论”，其主要目的是通过对最 简单的语言进行讨论来体现概念结构形式理论的思想、方法和研究框架。为此， 他将概念作为初始出发点，按照概念结构整体论的观点，在思想—概念—语言 三者统一的基础上，建立起了概念结构的形式理论，并讨论了其基本性质、意 义，以及若干相关的问题。此外，为了更好地刻画实际生活中使用的推理，他 建立了依赖于语言的相对于主体的推理，并据此建立了相对的一致性概念、讨 论了不一致信念集的特征等。在此基础上，他讨论了本质上等价于三段论推理 的标准规则，并证明了它的可靠性和完备性，从而在概念结构理论中给了三段 论推理一个合理的解释。此外，他还在概念结构的形式理论基础上对不同语言 间的翻译做了一些初步探讨。 136 逻辑学研究 第10 卷第2 期 2017 年 中山大