中国社会科学网讯 11月5至6日，由中国逻辑学会主办的“2022年中国逻辑学会第五届全国学术大会”以线上线下相结合的形式在北京召开。本次大会的主题是“逻辑学的创新发展”。

　　在开幕式上，中国社会科学院哲学研究所副所长冯颜利教授指出，国家在重大科技发展层面对逻辑学等基础理论研究提出了战略要求，为中国逻辑学科的发展提供了广阔的发展空间和重大机遇！他指出，逻辑学科是中国社会科学院哲学研究所传统的优势学科，中国社会科学院哲学研究所一向重视逻辑学科的发展，承办这次会议的“智能与逻辑实验室”就是为了顺应国家跨学科交叉融合发展战略、发挥社科院相关研究优势而创立的。该实验室的成立为逻辑学科提供了更加广阔的发展空间，也为逻辑学科的发展提供了新的增长点。

　　中国逻辑学会会长杜国平教授在致辞中表示，本次会议除学术交流之外，有两个突出的主题，一是纪念，一是悼念。关于纪念——一是纪念著名数学家希尔伯特诞辰160周年。二是纪念近代中国引进和传播西方逻辑学的先驱之一王延直先生诞辰150周年。关于悼念——今年是中国社会科学院哲学研究所逻辑学科两位德高望重的学者张尚水和诸葛殷同先生90华诞。两位先生长期从事逻辑学研究与教学工作，为中国逻辑学的发展作出了重要贡献。谨以此次大会表达对二位先生的哀思！

部分线上参会人员合影截屏

　　本届学术大会共有8场大会报告，6大学术主题、46场分组学术报告，各位专家学者讨论紧张热烈，内容丰富、话题多元、精彩纷呈。

　　南京大学哲学系张建军提出，许多蕴涵怪论的产生是由于在逻辑抽象的过程中情境要素的丢失，而解决这些怪论的根本出路，在于找回情境要素并诉诸情境量化域的转变。语义悖论也可通过情境量化域的方法予以统一解决。华南师范大学哲学与社会发展学院胡泽洪根据真理论的研究历程，对真理论的具体形态进行了划分，分析了“逻辑真理论”的概念，阐明了广义与狭义的逻辑真理论的研究范畴。上海大学哲学系宁莉娜讨论了金岳霖逻辑思想的展开方式，指出金岳霖逻辑思想具有鲜明的融通性、开放性和创新性特征。江南大学数理研究所潘正华展示了他领导的学术团队在人工智能类比推理研究中的若干进展和构想。贵州省社会科学院院长张学立指出，中国古代逻辑注重求同思维的运用，有理由肯定中国古代逻辑注重求同思维的符号认知方式，可以从知识论角度澄清中国古代逻辑的文化实践取向，回应中国古代有无逻辑的问题。北京师范大学哲学学院郭佳宏教授以命题模态逻辑的关系语义为研究对象，分析了狭义逻辑这种封闭性的优劣；指出应秉承全局开放的理念，在大数据人工智能中体现更多“智力”成分。江西软件职业技术大学教师李伟凤指出，王延直的《普通应用论理学》在阐述西方逻辑理论时，注意用中国古代的逻辑思想进行诠释；这种特点本身就是其学术价值与史料价值的体现。盐城市逻辑学会会长裴彦贵介绍了其团队正在编纂中的《中国逻辑学家大辞典》的学术价值和时代意义，该项工程对构建新时代中国特色逻辑学学术体系、学科体系、话语体系，促进哲学社会科学发展繁荣，提升中华民族整体思维水平，具有重要学术价值和时代意义。

　　关于逻辑基础理论，华侨大学哲学与社会发展学院马雷阐述了他在联合演算的范式判定方法中取得的最新进展；西南大学哲学系李章吕认为“结构逻辑”能够避免“相似逻辑”三大缺陷的深层次原因在于其预设了“真值不影响因果关系”；西南大学哲学系陈钰讨论了带有严格蕴涵的弱逻辑F的G3型矢列演算G3F的若干证明论性质；南京大学哲学系张顺认为解决Tarski 关于逻辑后承的经典模型论定义争论的出路在于完善逻辑后承的模态实质；清华大学哲学系耿博雅指出探究、科学的方法和逻辑推理共同构成了皮尔士信念确立的方法论；南京大学哲学系关思玥尝试使用动态认知逻辑来检验意外考试悖论；皖西学院马克思主义学院石运宝通过对预设的处理展示了现代类型论的应用价值；重庆工商大学马克思主义学院张丽认为不协调自适应对话逻辑将自适应逻辑的优点融入其中，实现了容忍矛盾和推理能力强的高度平衡；山西农业大学马克思主义学院魏涛指出后件嵌套反事实条件句中MP规则的失效性问题是由不一致的语境所导致。

　　关于逻辑哲学，山西大学哲学社会学学院郭建萍讨论了一种面向世界的实质主义真理论；南京大学哲学系黄梦瑶讨论了纽科姆难题的因果模型解；山西大学哲学社会学学院霍雨佳提出了减少“先验概率忽视”和“证据质量忽视”谬误的方法；华南师范大学蒲隆基讨论了穆勒对归纳问题的整体主义解决路径；西南大学哲学系唐上程辨析了珀尔的因果理论与刘易斯的因果理论；淮阴师范学院武庆荣从布兰顿的概念内容理论分析了概念内容的客观性问题；中国人民大学哲学学院熊霓分析了因果理论的形而上学基础；南京大学哲学系史红继认为交互信念可计算理论等新成果；河北大学哲学与社会学学院赵贤论述了模态信念辩护的策略。

　　关于逻辑思想史，上海古籍出版社韩国建讨论了《墨经》中的“名”“实”及其关系；河南大学哲学与公共管理学院郭桥教授立足广义论证视域揭示了孔子建构道德话语的若干模式；中山大学哲学系何杨以《公孙龙子集解》为主要文献，从研究目的、研究方法和研究价值三个方面讨论陈柱的《公孙龙子》研究及其思考；西南民族大学多杰才让回顾了藏传因明的历史沿革；上饶师范学院傅光全认为中国因明是一种关于论证理论的学问；盐城师范学院汪楠研究了因明唐疏六因论证机制；华南师范大学蒲隆基从逻辑学角度分析了先秦时期名家名实关系。

　　关于逻辑应用，东南大学东南大学哲学与科学系陈爱华对人工智能的实然-应然逻辑之思进行了思考；电子科技大学万小龙认为STRF理论相比于经典逻辑和真性模态逻辑应该可以更好地适应人工智能的需求；西南财经大学谷飙认为AI逻辑引擎是逻辑的形式化、公理化、工程化价值的集中体现；普林斯顿沈宏梁从逻辑时间的视角讨论了人工智能的边界问题；西南政法大学行政法学院程和祥以中国彩票业2008年开奖数据为例分析了“概率游戏”中的随机性；河北大学哲学与社会学学院刘钰治从四个方面对逻辑学表达在人工智能中应用的研究进行了介绍；北京进士科技教育研究院的施文辉阐述了人工智能逻辑对学科试题命制的要求；中国社会科学院大学哲学院赵奥佩从计算的角度出发对“谓词逻辑知识表示方法”改造方案进行了分析与探索。

　　关于逻辑教学，厦门大学化学化工学院黄荣彬设计了针对逻辑学知识体系的图表公式教学法；四川师范大学哲学学院林胜强、扆晓龙介绍了当今思政一体化语境下逻辑教育是一体化的教育教学体系的构想与方案；河南财政金融学院曾庆福提出要从不同方面提高大学生的批判性思维能力；天津财经大学刘明明指出片面强调量化分析也会削弱逻辑思维能力；盐城工学院陈根分析了批判性思维的意蕴、原则和策略；中共广东省委党校朱荣春提出了传播批判性思维常识的“三切”原理；河北大学哲学与社会学学院程橙、陈亮以本科生课程为例对逻辑普及和教学进行了介绍。

　　关于逻辑与哲学，与会者围绕逻辑与哲学之间的区别和联系、哲学的性质与定义、事情的基本成分基本联系的基本逻辑。以及对常见的哥德尔不完全定理的证明提出的质疑等问题展开探讨和交流。

　　来自清华大学、中国人民大学、南京大学、中山大学、西南大学、上海大学、华南师范大学、河北大学、中国社会科学院大学等院校的近50位专家、学者作了精彩的学术报告。

　　（供稿：中国社会科学院哲学研究所朱科夫、涂美奇，中国社会科学院大学哲学院赵奥佩)