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

104 2007全国现代逻辑学术研讨会综述 刘叶涛 　贾 　青 　(燕山大学文法学院　河北秦皇岛　066004) [中图分类号 ]B 81　　[文献标识码 ] C　　[文章编号 ] 1002 - 8862 (2008) 02 - 0 104 - 02 由中国逻辑学会现代逻辑专业委员会和燕山大学文法学院共同举办的 “2007 全国现代逻辑学术研讨 会 ”,于 10 月 20 ～2 1 日在燕山大学举行 。来自全国 10余所高校 、科研院所和出版机构以及新加坡国立大 学的 30余位学者出席会议 ,并提交了各自最新研究成果 。 1. 现代逻辑研究 　北京大学刘壮虎在题为 “自动扩展和修正的知识系统 ”的报告中指出 ,知识库的扩 充和修正是知识库的重要问题 ,考虑了逻辑扩充和对于不和谐的修正 ,给出了两种不同的形式模型 :一般 的自动扩展和修正的知识系统 ; 固定初始知识的自动扩展和修正的知识系统 ,讨论了它们的一些特点 ,给 出了进一步研究的想法和思路 。新加坡国立大学杨跃在关于 “有限阶叶尔绍夫层谱的初等等价问题 ”的 报告中认为叶尔绍夫层谱是递归可枚举度的自然推广 ,介绍了南京大学喻良关于递归可枚举度和 n - 递 归可枚举度非等价性的研究结果 。中国人民大学余俊伟所做报告在 “从邻域语义学看否定 ”中提出了一 ( ) 种领域框架 ,与它匹配的是基于矢列 sequen ts 上的一种演绎系统 ,为该语义找到了一个基于经典逻辑之 上的公理系统 ,证明了语义与语法的匹配性 。燕山大学秦一男在报告中试图以分析法为思维原理构造一 套经典命题逻辑定理形式证明的能行程序 ,为形式证明的人为操作提供能行方法 。西南大学郭美云在报 告中认为 ,公开宣告逻辑是动态认识逻辑的基础系统 ,可以处理和刻画公开宣告这一动作对于主体知识的 影响;公开宣告逻辑提供的形式化工具有助于追踪主体的知识变化和推理过程 ,从而为 “和积之谜 ”的求 解提供一个新的手段和方法 。北京师范大学郭佳宏在报告中认为 ,近几十年来逻辑学家们的兴趣发生了 所谓 “动态转向 ”,把认知行动和过程作为中心问题 ,主要的流派有动态认知逻辑 、更新逻辑 、信念修正等 。 他试图使用认知更新模型对 日常生活中某些涉及知识变化的直观推理难题做出分析 ,从而表明这种模型 能较好地刻画人类某个局部知识更新的直观意义 。浙江大学裘江杰向会议报告了 “一类认知词模态逻辑 I:基础逻辑 ”,认为从机器处理的角度可以将知道 、相信等认知词处理不同程度的相信 ,机器在做自然语言 处理时 ,只要把不同的认知词处理成不同程度的相信 ,而后进行相应的推理和计算 ,便可以省去对主体的 表示 。从模态逻辑角度可进一步把它们抽象成模态算子 ,这种抽象应能反映它们某种程度上的逻辑性质 。 2. 逻辑哲学研究 　清华大学王路在报告中就 “逻辑真理是可错的 ,逻辑原则上是可修正的 ”这一观点 进行了商榷 ,认为逻辑属于非常可靠的一类知识 ,人们学习和研究逻辑是把它看做了一切知识的基础 ,奎 因更把它们看做是知识整体最核心的部分 , “逻辑可错论 ”是不能成立的。南开大学任晓明提交的研究报 告 “对逻辑可修正问题的思考 ”,则试图澄清一些错误的观点 ,对逻辑可修正的观念加以辨析 , 以促进逻辑 尤其是非经典逻辑的发展 。南京大学张建军所做题为 “逻辑行动主义方法论的构图 ”的报告 ,将塞尔言语 行动理论 、胡塞尔心智行动理论和马克思社会实践理论做了一种新的整合 ,给出了一幅 “逻辑行动主义方 法论 ”的构图 ,并通过对 “含义 ”、“指标 ”及其他问题的探讨阐释了这一方法论的基本思路和解题功能 。北 京大学周北海在题为 “名与指称 ———从场景的观点看 ”的报告中认为 ,名到指称的联系是通过一种二级指 2007全国现代逻辑学术研讨会综述 　 105 称确定的方式建立的:从使用者角度看 ,存在从场景到对象的映射 。名首先表达这个映射 ,再根据该映射 到相应场景下的指称 。场景是理解语言表达式意义的参照点 ,有两个重要特点 :允许虚构和可以独立于语 言 。围绕什么是涵义以及涵义如何决定指称等问题形成两方面的研究 :哲学路线和逻辑路线 ,二级指称理 论在两个方面都有理论意义 。叶峰在报告中就克里普克形而上学模态性概念给出了一种 自然主义解释 。 作为自然主义者对这些形而上学思辨的回