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

《全国现代逻辑学术研讨会综述》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、逻辑学研究2010年第2期，102—108文章编号：1674．3202(2010)一02—0102。07全国现代逻辑学术研讨会综述2010年4月25日至26日“全国现代逻辑学术研讨会”在北京大学举行。会议由北京大学哲学系主办，中国逻辑学会现代逻辑专业委员协办。来自全国各高校和研究单位的二十多位专家、学者、博士生在会上作了学术报告，内容涉及到数理逻辑、哲学逻辑和逻辑哲学的多个分支和领域。这些报告展示了我国逻辑学目前发展最新的研究成果。在数理逻辑的研究方面，中央财经大学史璨博士从集合论的角度研究模态逻辑的互模拟不变性。她用含命题变元的非良基集合来解释模态语言：任给非良基集合a，一

2、个命题变元在a上是真的当且仅当P属于a；公式◇A在a上是真的当且仅当存在集合b属于a使得A在b上是真的。根据这种思想，她定义了从模态语言到一阶集合论语言的标准翻译，并且在集合上定义了新的互模拟关系，证明了范本特姆刻画定理对于集合论语义和集合上的互模拟不变片段来说成立，即模态语言是一阶集合论语言的集合互模拟不变片段。北京工业大学杨安洲教授回顾了多种类的逻辑系统，着重介绍了他多年来工作的一个视角，即从代数和拓扑的角度理解问题。他介绍了如何从这个视角出发研究谓词逻辑中的一些问题，包括紧致性定理的证明。在哲学逻辑的研究领域，武汉大学杜姗姗博士报告了她跟康宏逵教授的研究成果“反欧性的模

3、态可定义性问题”，他们用戈德布拉特一托马森定理证明了反欧性一般来说是模态不可反映的，从而找到了最小的反欧传递逻辑。他们证明了所有的反欧传递逻辑不仅具有有穷框架性，也都是可有穷公理化的，继而也都是可判定的。此外，他们还研究了反欧传递逻辑格里的濒表格逻辑，给出了几个具有“临界性”濒表格扩充的逻辑的实例。首都师范大学冯艳博士以正自由逻辑系统(PositiveFreeLogic，记作PFL)和负自由逻辑系统(NegativeFreeLogic，简记NFL)为例，探讨了其中的“存在”概念，她指出这两个自由逻辑系统中的“存在”具有两种不同的意义：出现在PFL和NFL中、由符号“E!”所表

4、示的“存在”具有二阶谓词的含义，它不是一阶谓词；第二种意义是量词本身具有的存在含义，从而是由量词所约束变项的取值范围所决定的存在。此外，她还把PFL和NFL中的“存在”与弗雷格、罗素以及蒯因的存在观进行比较，指出它们的相同之处在于，都主张“存在”是一个二阶谓词。不同之处在于，PFL和NFL能够谈论“苏格拉底存在”、“上帝存在”这样收稿日期：2010—05-25刘奋荣全国现代逻辑学术研讨会综述103的句子并对之加以形式化处理；而在弗雷格和罗素那里，却不能说“苏格拉底存在”、“上帝存在”等。最后，报告分析了造成这种差异的深层原因。清华大学刘奋荣博士做了“从偏好的角度看道义逻辑”的

5、报告。报告首先介绍了道义逻辑的一些基本概念和定义，指出道义逻辑中许多概念，譬如，条件义务的概念，它们的语义解释本身已经预设了可能世界上的一个序关系。即，在众多的可能世界中，有的世界比另外一些世界更理想。接着，报告引入偏好逻辑新近发展起来的研究成果，包括关于“更好”的模态逻辑以及基于优先序列的偏好逻辑。报告重点讲述了如何把道义逻辑看作是从可能世界之上的更好关系和性质之上的优先序共同产生的结果，并利用偏好逻辑的技术成果重新研究道义逻辑中的一些问题。报告分析了传统道义逻辑中的几个典型悖论，表明如何利用新的逻辑框架为这些悖论提供新的令人满意的解释。此外，报告还讨论了规范变化的机制，把

6、规范变化看作是一种更好关系的变化，并给出了完全的动态规范逻辑。浙江大学廖备水博士对“人工智能中的论辩理论及其研究进展”展开讨论。报告介绍了人工智能中的论辩(ArgumentationinAI)的基本概念、主要理论及其研究进展。形式化论辩系统是最近十多年来发展、兴起的一个研究领域，与先前的非单调逻辑系统相比，它能更加自然地表达多种现实应用需求，且具有与缺省逻辑、限定推理等传统非单调逻辑等价的推理能力，在支持单主体慎思以及多主体协商、决策、对话等方面都有着很好的应用前景。报告回顾了论辩概念的历史，指出该概念最早出现在亚里斯多德的《论题篇》和《辨谬篇》中，意指倾向于实践的、应用的逻

7、辑，即论辩术。近半个世纪以来，论辩主要作为一种非形式逻辑而受到关注，大家更多强调论证得以发生和展开的语用背景(论证实践)。报告重点概述了从八十年代中期以后包括波洛克(J。Pollock)、纽特(D．Nute)等在内的一批学者利用逻辑研究论辩的成果，特别是，以1995年邓格(PM．Dung)的抽象论辩框架为基础最近十多年来在论辩语义、证明理论、算法等方面出现的研究成果。在自然语言逻辑研究方面，中央财经大学张立英博士做了题为“归纳推理研究的新视角——概称句推理”的报告。她回顾了归纳推理的历史，重新申明在归纳