2025年全国形式逻辑研讨会暨江苏省逻辑学会成立45周年纪念大会，于10月18日至19日在南京大学哲学学院召开。会议由中国逻辑学会形式逻辑专业委员会、江苏省逻辑学会主办，南京大学现代逻辑与逻辑应用研究所、南京大学当代智能哲学与人类未来研究中心承办。来自全国50余所高校与科研单位及江苏省逻辑学会的150余名老中青逻辑学者齐聚南大，就“智能时代的逻辑教育”等主题展开热烈研讨。中心主任郭美云教授受邀出席了此次盛会。

围绕着智能化时代下，如何回应高等教育对逻辑学导论性、通识性课程建设路径、教育理念、教学方法的紧迫需求这一当下逻辑教育中的关键问题，郭美云教授做了题为“试论逻辑学导论性课程的教学——以西南大学国家一流课程《逻辑学》建设为例”的大会报告。

在大会报告中，郭美云教授首先介绍了西南大学国家级一流课程《逻辑学》历史悠久、成果丰富的建设历程，随后从课程定位、教学设计创新与课程特点三个方面展开，介绍了课程团队采用的“全时双域四三三”混合式教学模式，重点展示了一种新形式的自然演绎系统在培养和提高学生证明能力方面的作用，体现了新时代高等教育改革的实践智慧。报告获得了与会专家学者们的高度关注，引发了现场的热烈讨论。

此次会议中，与会专家学者用高质量的报告，展示了丰富多彩的逻辑教学与研究前沿领域的内容，汇集了逻辑与智能时代多领域相互融通的丰厚成果。会议的成功召开，也为全国逻辑学界的专家学者提供了一个广阔的交流和学习的平台。借此契机，中心也将齐心协力，继续肩负起培育优秀逻辑人才，引领逻辑科学研究的责任，持续加强与全国各逻辑学科研、教育机构的交流与合作，与智能化时代发展相接轨，共同推动中国逻辑学事业的繁荣发展。

（彭子骄/供稿，郭美云/审核，彭子骄/发布）