中国逻辑学会现代逻辑研讨会综述，本文主要内容关键词为：逻辑论文,中国论文,研讨会论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。
分类号：B81 文献标识码：D 文章编号：1002 8862 （1999 ）04—0028—29
中国逻辑学会现代逻辑专业委员会于1998年12月28日至30日在广东省东莞市举行了现代逻辑与逻辑哲学学术研讨会。来自大陆和香港的学者共49人与会，收到论文34篇。开幕式上，中国逻辑学会副会长兼秘书长张家龙研究员指出，逻辑学尤其是现代逻辑经过多年的历程在中国也取得了显著成绩，在现代逻辑的一些领域取得了达到世界水平的成果，但任务依然艰巨，他希望同仁们再接再励，使我国的逻辑研究与国际逻辑水平接轨。
会议就现代逻辑、西方逻辑史和逻辑哲学等问题进行了广泛深入的研讨。在大会上，有20多位学者作了学术报告，正如专业委员会主任郭世铭在闭幕式上指出的，本届会议学术气氛浓厚，讨论热烈，报告的研究成果水平比往届有较大提高，其中创造性和技术性含量高的论文比例大幅度上升，述评性文章的思想深度也有所加强。
现就各专题的论文分述如下。
一、现代逻辑。朱梧槚介绍了他与肖奚安共同创建和发展的中介逻辑演算系统和中介公理集合论的主要思路、以及中介逻辑的理论意义和应用前景。李娜在其论文《GS的布尔值模型》中获得并证明了△[B]和R△[B]是公理集合系统GB的两个布尔值模型。陈波介绍和评述了亨迪卡新创立的具有语义不完全性，不可递归公理化，可定义自身真谓词等性质的，被亨迪卡本人认为是真正的基本逻辑的“IF 逻辑”（Indepedenle—friendly First—orcler logic）。
周北海《嫁接框架与S[,1]—完全性》通过对模态系统S[,1]的分析和对S[,2]框架的观察，得到了嫁接框架的构造和特点，以此证明了S[,1]—完全性，并获得刻画相干逻辑系统R的必然性的系统和刻画模态系统S[,0.4]和F共同的必然性的系统（分别是S[,0.4]和S[,1]）。刘壮虎在《邻域语义学与推理系统的完全性》中证明了任何一种满足组合原理的语义有效性都等价于邻域语义学六种有效性：弱广义框架、弱框架、模型、广义框架和框架有效性之一，并给出了相应于各有效性的语义特征，以及证明了任何一个命题推理系统都具有邻域语义学相应的六种完全性之一，并给出了具有弱模型、模型、弱广义框架，广义框架，四种完全性之一的系统的语法特征。张清宇的《系统Z 中的范式和插入定理》提出了析舍范式，给出了它与合取范式，析取范式的联系，并施归纳于系统Z中的证明长度重证了插入定理。 周祯祥著文认为道义模态算子与逻辑联结词特性、量词、时态和条件等因素有关。
周青和鞠实儿合写的《不确定推理的支持度》在经典二值逻辑的基础上，定义了不确定推理，引进了不确定推理的支持度，并讨论了它们的初步性质。
二、逻辑哲学。八旬高龄的江天骥先生谈了“逻辑”一词的用法，他比较分析了西方现代逻辑学家对逻辑的各种界定，论述了一个广义的逻辑概念的合理性。陈晓平在《关于弗雷格语境分析的分析》一文中通过对弗雷格的直接语境与间接语境说法的分析，认为为保证弗雷格保值替换原则成立，一个句子的所指不是弗雷格所说的真值，而是这个句子所对应的事件。王路《逻辑的观念》通过亚里士多德所认定的逻辑的内在机制——必然地得出——的分析，说明了现代逻辑继承了亚里士多德这一关于逻辑本身的核心思想，并主张逻辑学真正的发展必须也必将遵守这一内在机制。唐晓嘉通过对认知表达式的语义特征进行分析认为，认知可能世界异于逻辑可能世界，否则会导致逻辑全能悖论。熊明的《排中律的分析性》以直觉主义逻辑的邻域语义界定了排中律的“严格的狭义分析性”，由此获得排中律是一后天分析命题，以及界定分析性是为获得意义间联系的普遍原则的哲学结果。曹予生在《个体指称模式的逻辑分析》中认为，个体指称实践的多样性和层次性要求在现有“专名——摹状词”个体指称模式中引入可能世界和时态。刘晓力的《国外哥德尔研究现状》一文梳理了哥德尔思想的原始文献和关于哥德尔思想的研究文献。李小五在《直观语义与形式语义》中阐述了这两种语义之间的关系。
三、其它方面。杨武金的《21世纪逻辑教学体系改革试探》提出了一个逻辑教学体系的构想。陈银科通过述评A°HS （阿奈斯林——辛提卡语义学）等说明了逻辑与方法论结合在逻辑教学中的重要性。黄展骥探讨了“自涉悖论”与“具体悖论”的有关问题。
此次会议提交的论文显示了一批中青年学者作出了具有国际水准或国内先进水平的成果，这些成果大多集中于现代逻辑的分支研究和元逻辑研究领域，而这正是我国逻辑学和国外逻辑学研究接轨之所在。可以想见，这批中青年学者将是我国逻辑学研究跨世纪的中坚力量。