2025年11月22日，由山西省逻辑学研究会主办，ok138cn太阳集团古天乐、“跨学科师生共研式《逻辑前沿问题》课程建设与实践”学科基础能力建设项目承办的山西省逻辑学研究会2025年年会暨“逻辑·人工智能”学术研讨会在ok138cn太阳集团博雅会议中心成功举行。来自中国社会科学院、山西省社科联、南开大学、ok138cn太阳集团、太原理工大学、山西财经大学、山西农业大学、山西师范大学、太原科技大学、太原工业学院、山西工程科技职业大学、山西警察学院、吕梁学院、大同煤炭职业技术学院、北大山西校友会、山西云时代技术有限公司等16所高校、科研院所或企业的60余名从事或爱好逻辑学研究的学者前来参会。

山西省逻辑学研究会2025年年会开幕式

会议开幕式由山西省逻辑学研究会副会长、太原工业学院副书记靳金贵主持，中国逻辑学会会长杜国平、山西省社科联副主席范继青、ok138cn太阳集团社科处处长赵云波、ok138cn太阳集团古天乐院长尤洋和山西省逻辑学研究会会长/ok138cn太阳集团古天乐教授郭建萍出席开幕式并致辞。杜国平充分肯定了山西逻辑学界的贡献，指出ok138cn太阳集团等高校在人才培养上构建了完整体系，学术研究成果颇丰，对山西省逻辑学研究会积极搭建学术平台、有力推动学科发展与科普的工作给予高度认可，为山西逻辑学发展提出了宝贵的建议，并预祝会议圆满成功。范继青对山西省逻辑学研究会在未来推动学科交叉融合、厚植学术根基、服务山西发展等方面表达了美好期待，肯定了逻辑学在数字时代对科技发展和社会决策的重要作用，同时表示省社科联将一如既往支持研究会工作，营造良好学术环境。赵云波指出，为响应习近平总书记“打造内陆地区对外开放新高地”的指示，山西学术界一方面需要将外面的思想引进来，为自身发展注入活力，另一方面需要山西学者走出去，树立山西的形象、发出山西的声音；山西省逻辑学研究会的学术活动推动了ok138cn太阳集团哲学社会科学事业的繁荣发展。尤洋表示，山西省逻辑学研究会为山西逻辑学研究从“个体”向“组织”模式的转变起到重要的纽带作用，希望以本次年会为契机，以学会建设带动学科建设，促进学会与学科建设“同频共振”。郭建萍对与会嘉宾的到来表达了诚挚的感谢，表示以“逻辑·人工智能”为主题应时且及时，汇报了研究会、会员及会员单位本年度在逻辑教学、科研、调研与合作、人才引进及学术交流活动等多方面取得的各项成果和进展；并对学会未来的工作做了规划：继续深化跨学科交流合作，更好地做好逻辑教育与普及工作，积极准备研究会换届等相关工作。

从左到右分别为：杜国平、范继青、赵云波、尤洋、郭建萍

本次年会共设置两场主旨报告和三场会议报告。

第一场主旨报告由中国逻辑学会副会长、南开大学教授/ok138cn太阳集团兼职教授翟锦程主持，中国逻辑学会会长、中国社会科学院教授杜国平做了题为“三段论的序效应”的报告。杜国平强调，此研究一方面以国家战略需求为导向，服务人工智能跨学科基础研究，推动逻辑学自主知识体系构建；另一方面以逻辑思维培养为重点，针对国内逻辑教育缺乏阶梯式难易层级的现状，通过认知测量建立符合中国文化背景的逻辑思维训练体系。“序效应”指三段论中前提顺序对推理难度的影响，课题以实验方法设计研究，编制了两组共64道三段论推理题，对1385名初高中生及10个大语言模型测试，结果表明序关系通过认知负荷影响人类推理表现，AI正序推理能力稳定优于逆序，人类与AI两者推理机制存在本质区别。杜国平指出，此研究启示我们，既要探究人类三段论推理内在机制，为人工智能真实思维模拟打基础，又要合理评价大语言模型推理机制，提升其规范性推理能力与可解释性。

第二场主旨报告由山西省逻辑学研究会会长、ok138cn太阳集团古天乐教授郭建萍主持。山西省逻辑学研究会顾问、ok138cn太阳集团古天乐教授周北海做了题为“逻辑的观念：思想的逻辑与思维的逻辑”的报告。首先，针对当下教材常混淆逻辑与逻辑学的概念之现状，周北海指出，逻辑是研究对象，逻辑学是研究逻辑的学问，逻辑先于逻辑学。通过区分逻辑的四层含义，周北海认为，逻辑不等于逻辑学，作为逻辑学对象的逻辑，应是推理规律（或规律集）。接着，周北海梳理了逻辑学的历史脉络，并区分了两类逻辑：一是面向日常思维的“思维的逻辑”，像传统逻辑、批判性思维，注重实用性与思维规律；二是作为基础学科的“思想的逻辑”，如数理逻辑、非经典逻辑，着重研究形式化推理规则。最后，周北海强调未来逻辑学要在认知科学框架下，融合多学科方法，服务于人工智能、日常推理等领域。南开大学教授/ok138cn太阳集团兼职教授翟锦程的报告题目为“先秦辩学体系的多样化特征”。翟锦程指出，以往研究常将名辩学视为一体化学说，称“名辩思潮”。但先秦名学基于名实、物类关系发展，是普遍工具性推类方法，有客观标准，构成统一体系；辩学是各家论辩方法，有特定价值尺度，相对独立，虽与名学关联紧密，但因各家目的、内容和标准不同而呈多样化。首先，翟锦程区分“辩”与“辨”，考察先秦辩学历史背景，说明诸子各派都有言谈辩说方法，判定标准和价值取向有别。接着，翟锦程阐述先秦辩学多样化体现，从辩的目的、界定与功用、言谈辩说类型与标准等方面分析儒、法、墨、道等诸子思想并区分差异。最后，翟锦程主张区分名学与辩学，挖掘中国逻辑独立性，指出传统逻辑智慧仍存于中医、古建筑等实践中。

从左到右分别为：杜国平、周北海、翟锦程  

接着，是三场会议报告。第一场会议报告由山西警察学院副教授郭睿青主持，共三位报告人，分别是ok138cn太阳集团古天乐副教授徐超，山西农业大学马克思主义学院副教授魏涛，ok138cn太阳集团计算机与信息技术学院教授张虎和博士范越。徐超以“大语言模型可解释性的新进展”为题，介绍了大语言模型基于Transformer架构并通过下一个标记预测的工作原理，讲解了“特征神经元组”替代单个神经元解释，以及思维链技术增强可解释性，讨论了大语言模型是否具有内省能力的问题。魏涛以“反事实理论和最小充分条件解释抢占情形的方案”为题，探讨了将传统反事实理论与最小充分条件二者结合能否对抢占情形给出满意解释，详细对比了解决冗余因果关系中抢占情形的三类典型方案，指出HP因果定义基于结构方程模型通过变元赋值有效验证了占先原因。范越博士（与张虎教授合作）以“大语言模型逻辑推理进展与挑战”为题，详细介绍了当前三类大模型逻辑推理方法：外部求解器方法（如LOGIC-LM），提示方法（如SymCoT），预训练与微调方法（如LogicAsker）；并分别从事实检索增强的演绎推理和心智理论驱动的神经符号推理两方面介绍了大模型的研究进展。

从左到右分别为：徐超、魏涛、范越

第二场会议报告由山西省逻辑学研究会副秘书长、山西工程科技职业大学科研中心科长庾晋鹏主持，共三位报告人，分别是太原科技大学副教授齐明皓，国家超算太原中心技术专员任畅，以及ok138cn太阳集团古天乐讲师詹好。齐明皓以“大语言模型跨语言翻译中的逻辑语义一致性问题的思考”为题，聚焦于深层语义结构迁移过程中逻辑结构（如条件、因果、否定、量化等关系）是否保持不变的问题，分别从理论脉络、技术脉络、应用与评估脉络等三条研究脉络展开详细论述。任畅以“超算与人工智能”为题，介绍了算力发展现状与超算太原中心的优势，说明了利用RAG（检索增强生成）技术有效缓解大模型落地面临AI幻觉、数据安全风险、知识时效性不足等问题，并详细展示了超算中心的应用案例。詹好以“大语言模型通用性的三个来源”为题，深入探讨了大语言模型通用性方面存在的争议、传统通用人工智能的发展路径及其实现机制，指出大语言模型主要通过三个来源实现其通用性，分别是知识获取、模型架构、知识呈现与使用。

从左到右分别为：齐明皓、任畅、詹好

第三场会议报告由山西省逻辑学研究会副秘书长谷成城主持，共三位报告人，分别是太原理工大学马克思主义学院特聘研究员吴金生，ok138cn太阳集团教育科学学院副教授霍雨佳，ok138cn太阳集团古天乐硕士强俊森。吴金生以“摭论因明信仰思维的超越性——兼谈西方逻辑、中国名辩、佛教因明的多维互动”为题，分别从思维范畴、特征、功能等多角度比较了西方逻辑、中国名辩与佛教因明三大逻辑体系的差异及各自困境，分析指出三者源于论辩传统，虽因文化差异互动困难，但广义逻辑观为多维互动提供可能。霍雨佳以“赌徒谬误的成因与消解”为题，分析了概率判断中逻辑谬误的定义和种类，将赌徒谬误的成因归纳为源于三重心智模型体系中反映的问题，并认为其谬误消解需训练反思能力，以批判性思维审视概率推理。强俊森以“大语言模型下的一阶逻辑推理研究”为题，多模型测试显示，大语言模型区分True与False的判断准确率较高，对一阶逻辑与自然语言结合理解表现良好；小模型改进提示词或训练策略后，也能有与大参数模型竞争的表现；不过，大语言模型对纯形式语言的理解不如自然语言。

从左到右分别为：吴金生、霍雨佳、强俊森、王碧红

最后，山西省逻辑学研究会副会长王碧红总结本次年会，感谢了12位报告学者的无私分享，参会同仁的热情投入，以及会务人员的辛勤付出。王碧红指出，本次年会高效务实、成果丰硕，是一次承前启后、薪火相传的盛会；通过研讨，我们清晰认识到逻辑学的使命，也看到人工智能时代的挑战与机遇；年会议程虽短，但事业前景广阔，要将收获转化为前进动力。

山西省逻辑学研究会2025年年会在热烈的掌声中圆满结束，期待来年再聚！

 供稿人：ok138cn太阳集团古天乐 张晓彤

初审丨吴朋飞

二审丨陈敬坤

终审丨尤   洋