通讯员：李嘉烨 郑崇峰 崔芊宇  摄影：毛乙炜  责任编辑：舒年春 徐敏

2023年12月30日，湖北省逻辑学会第八次会员大会暨2023年学术年会在华中科技大学八号楼二楼多功能厅举行。会议由湖北省逻辑学会主办，华中科技大学哲学学院承办。开幕式由华中科技大学哲学学院副院长徐敏主持。湖北省社会科学界联合会学会工作部三级调研员文嵘，国务院学位委员会原哲学学科评议组成员、中国逻辑学会学术委员会主任、中山大学逻辑与认知研究所学术委员会主任鞠实儿，教育部哲学类专业教学指导委员会委员、河南大学哲学系郭桥，中国逻辑学会副会长、河北大学哲学与社会学学院张燕京，湖北省逻辑学会会长、中南财经政法大学法学院张斌峰，湖北省逻辑学会原会长、湖北大学哲学学院陈道德，华中科技大学人文社会科学处处长李志强，华中科技大学哲学学院院长董尚文、院党委书记杨海斌等参加了开幕式。 

李志强和董尚文分别代表华中科技大学人文社会科学处和哲学学院致辞，对与会嘉宾表示热烈欢迎，预祝大会圆满成功。李志强介绍学校总体科研实力和人文学科的发展情况，指出学校高度重视哲学学科建设和逻辑学方向发展，为国家和地方培养了一大批高水平哲学专业人才。他指出，此次会议的召开表明，省内外同行充分认可华中科技大学的逻辑研究能力、教育能力和发展潜力，期待专家学者们利用此次年会充分交流、广泛讨论，共同推动湖北省逻辑学高质量发展。董尚文指出，我校逻辑学的发展与国内总步调一致，在基础研究和应用研究领域均取得了优秀的成果，依托哲学学科的整体优势，将能获得更大发展。他还特别强调了思维能力训练对学生全面发展的重要性，以及同仁学术集会对学科进步的关键作用。

开幕式之后，湖北省逻辑学会第八次会员大会开始。学会秘书长周志荣介绍了大会基本事项。张斌峰从第七届理事会工作成果、人才培养、未来建议三个方面作工作总结报告。周志荣报告第七届理事会财务情况，并对章程修改之处作出说明。

随后，大会进入选举流程。有选举权的实到会员人数超过应到会员人数的三分之二，根据《湖北省社会团体换届规范指引》，与会人员以举手表决方式全票通过《湖北省逻辑学会第八次会员大会选举办法》。在湖北省社科联领导的监督下，以无记名投票表决方式全票通过《湖北省逻辑学会章程》《湖北省逻辑学会会费标准》，湖北省逻辑学会第八届理事会理事候选名单、负责人候选名单以及监事候选名单；选举出湖北省逻辑学会第八届理事会理事、负责人以及监事，华中科技大学哲学学院徐敏当选为湖北省逻辑学会第八届理事会会长，武汉大学哲学学院杜珊珊、华中师范大学哲学系宋荣、湖北大学哲学学院宋伟当选为第八届理事会副会长，中南财经政法大学哲学院周志荣当选为第八届理事会秘书长，华中科技大学哲学学院钟世文当选为第八届理事会监事。

选举流程结束后，文嵘代表省社科联对湖北省逻辑学会新一届理事会的产生表示祝贺。她表示，为发展逻辑学科、壮大逻辑科研队伍，湖北省逻辑学会需要充分学习贯彻习近平新时代中国特色社会主义思想和党的二十大精神，并紧密结合我省逻辑学发展实际，做有针对性的精密部署，并落地落实发展规划。针对湖北省逻辑学会的发展，她提出“党建强会”“学术为本”“规范管理”“筑牢安全防线”四点建议，希望学会能够聚焦新时代，为湖北省社会科学发展贡献更多力量。 

新任会长徐敏讲话。第一是“感谢”。他感谢省民政厅、省社科联对湖北省逻辑学会的大力指导和帮扶，感谢上届理事会和全体会员的信任，也感谢远道而来的中国逻辑学会领导和兄弟高校领导专家的鼎力支持。第二是“缅怀”。在疫情三年中，以湖北省逻辑学会原会长桂起权为代表的多位逻辑学家逝世，经鞠实儿、周志荣和他本人提议，全体与会人员为逝世逻辑学家默哀。第三是“承诺”。徐敏承诺本届理事会将继续团结湖北逻辑同仁，做好逻辑教育和研究工作，建设好学会，为湖北文化教育事业做出更大贡献。他本人将全心全意做好服务工作，不辱使命。徐敏表示，在学会全体会员的共同努力和社会各界的支持下，学会未来一定会取得更加辉煌的成绩。

张燕京代表中国逻辑学会对湖北省逻辑学会新一届理事会表示热烈祝贺。他指出，在陈道德、张斌峰等知名学者的带领下，第七届理事会注重逻辑研究、逻辑人才培养和逻辑普及工作，取得了丰硕的成果，产生了良好的社会效应。张燕京赞扬新一届理事会领导富有朝气、充满活力，他希望学会始终坚守正确的政治方向，坚持以学术为本，积极开展务实有效的工作，并组织丰富多彩的学术活动。他坚信，在新一届理事会和全体会员的共同努力下，湖北省逻辑学会必将取得更大的成绩！

上午10:40，湖北省逻辑学会2023年学术年会特邀报告会开启。特邀报告由陈道德主持，发言人分别为鞠实儿和国际哲学院院士、国际科学哲学院院士、武汉大学哲学学院陈波。

鞠实儿的报告题目是“教育部人文社科重点研究基地中山大学逻辑与认知研究所近况和未来发展”。他从逻辑与认知研究所简史、“十三五”总结、“十二五”到“十三五”代表性成果、“十四五”前三年成果、未来展望等五个方面，介绍了逻辑与认知研究所在科研成果、项目立项、人才培养、专业建设、课程开发、教材出版、学术交流、体制改革等各方面取得的标志性成就。 

陈波的报告题目是“逻辑学中的‘贝纳塞拉夫问题’”。在报告中，他简要介绍保罗·贝纳塞拉夫提出的关于数学的“贝纳塞拉夫问题”，即“如果像柏拉图主义者所认为的那样，数学对象是与我们的感官经验毫无关系的抽象对象，我们是如何获得数学真理的”。陈波考虑把贝纳塞拉夫问题扩展到逻辑领域，指出如果像逻辑例外论者所认为的那样，逻辑与这个世界以及与我们认知和思考的实际过程、机制无关，那么，关于逻辑也会出现可通达性、可应用性、规范性、可修正性、逻辑的选择等五个问题。 

参会人员就两场报告内容进行深度交流和激烈讨论，特邀报告会圆满结束。

下午14:00，学术年会主题报告会举行。华中科技大学哲学学院张瑛主持，发言人分别为张燕京和郭桥。

张燕京的报告题目是“弗雷格的普遍性思想”。张燕京在报告中指出，弗雷格普遍性思想涉及两个问题：一是“普遍性”符号；二是普遍性思想的表达。弗雷格的“普遍性”符号是其概念文字的初始符号，关于“普遍性”的探讨其实是关于全称量词的探讨。普遍性思想的表达基于假言句子结构和构成其的条件句和结果句中的不确指部分，其实质仍然涉及对于全称量词的刻画。通过对全称量词这个真正的逻辑量词的刻画，弗雷格建立了具有现代逻辑背景的量词理论，改变了逻辑研究的基本面貌，为现代哲学研究提供了不同的视角。

郭桥的报告题目是“玄奘与中国逻辑学的发展”。郭桥在报告中指出，先秦是中国名辩学的奠基阶段，同时也是辉煌时期。孔子、墨子、公孙龙子等对名辩展开了不同侧面的研究。秦汉以后，名辩走向衰微。唐代玄奘法师西行，给中国古代逻辑学的发展带来转机，印度因明的系统传入和发展促进了中国古代逻辑学的发展呈现新面貌。这一时期，一批佛门子弟投身于因明研究，成为第一批汉语世界的因明研究者，他们创作了影响深远的汉传因明著作，把中国的逻辑发展带到了一个新的时代——玄奘时代。

参会人员就两场报告内容提出问题，两位老师一一作答，主题报告会在热烈的讨论中结束。  

下午15:10，学术年会专题报告会召开。专题报告会由华中科技大学哲学学院胡靖波主持，六位学者作报告。

第一位发言人是湖北大学哲学学院宋伟。他的报告题目是“一个谓词演算形式系统的公理独立性证明”。基于希尔伯特和阿克曼《数理逻辑原理》中给出的方法，宋伟证明了一个谓词演算形式系统公理模式的独立性，与丘奇在《数理逻辑导论》中给出的相关证明相比，该证明更为简单易懂。

第二位发言人是武汉理工大学马克思主义学院杨海波。他的报告题目是“Does the smallest Ver-type normal modal logic exist”。杨海波在报告中对题目设问进行意义说明：Tri类型正规模态逻辑中有最小逻辑D，那么，Ver类型正规模态逻辑中是否也有最小逻辑？答案是否定的。针对最小的Ver类型逻辑的不存在性，他介绍了已有的主要证明，并构造了一个新的证明。

第三位发言人是武汉大学哲学学院杜珊珊。杜珊珊的报告题目是“类比推理与理性思维的创造力”。她在报告中从思维的构造而非概念本身出发，提出一种修正的类比推理。这种类比推理不同于“琢磨概念”式的哲学联想，而是基于思维模式来逻辑地构造新观念。新类比推理的“产新”能力远超原有的类比推理，这种超越正是基于理性思维方式的创新，同时这种类比的前提和结果的可靠性可以在实践中得到检验。

第四位发言人是湖北大学哲学学院李莉。李莉在报告中指出，在理性决策中，对占优原则的不恰当使用会导致理性的过度扩张，同时对行动和世界状态之间关系的不同理解产生证据决策理论和因果决策理论。一般说来，二者在相应决策问题上推荐的选择是一致的，但在纽科姆难题决策情形中却出现分歧。通过效用计算中对因果关系概率论版本和反事实条件版本的推理进行梳理，揭示了不同因果推理模式在选择过程中的应用。因果推理已经渗透到哲学的各个领域，它依赖于形而上学对因果关系的解释，也依靠归纳逻辑来说明有关因果关系的推论。

第五位发言人是华中科技大学哲学学院张若愚。他的报告题目是“Can the same cake of matter be cut in different ways”。张若愚在报告中讨论了整体部分论中的两种分析进路，即属性-要素论和粒子-时空论。他运用复数逻辑，刻画了整体部分论中的一系列相关定理，并解释了两种进路之间的关系及其逻辑后果，提出两种进路的独立成立和整体的同一性直觉是相互冲突的。他认为，为了保住整体的同一性直觉（即整体以“清白的方式”彻底被其诸部分所决定），两种分析进路不可能同时成立，否则会面临许多形而上学中的难题。

第六位发言人是华中师范大学哲学系宋荣。她的报告题目是“五育并举逻辑育人——论普通逻辑学课程思政教学创新模式”。宋荣分享了她对逻辑教育的新思考，以及她所指导的相关学生创新实践成果。以专业基础课为起点，她构建了一种“多维联动”的创新模式，充分展现了课程思政与思政课程的深度融合。这一创新模式取得了丰硕成果，并引起了积极社会反响。

参会人员对六场报告内容分别进行了讨论，深入交流了观点，专题报告会圆满结束。 

专题报告会结束后，举行闭幕式。湖北省逻辑学会会长徐敏作闭幕致辞，并宣布湖北省逻辑学会第八次会员大会暨2023年学术年会圆满结束！