2025年10月18日至19日，全国形式逻辑研讨会暨江苏省逻辑学会成立45周年纪念大会在南京大学仙林校区隆重举行。来自全国50余所高校及科研单位的150余名专家学者齐聚金陵，围绕“逻辑教育与人工智能”主题展开深度研讨。本次会议系江苏省社科联2025年度社科学术团体主题活动，大会开幕式由江苏省逻辑学会会长、南京大学现代逻辑与逻辑应用研究所所长张建军主持。江苏省社科联学会部主任鱼雪萍，南京大学社科处处长高方，中国逻辑学会副会长、形式逻辑专委会主任张燕京，南京大学哲学学院党委书记周爱群等出席开幕式。

高方教授在大会欢迎辞中指出，逻辑学在当代学科体系中具有举足轻重的地位，南京大学高度重视逻辑教学与逻辑学科及逻辑学会建设，长期推动逻辑学跨学科发展，2003年成立现代逻辑与逻辑应用研究所，2020年组建当代智能哲学与人类未来研究中心，2022年支持创办《逻辑学动态与评论》学术集刊。当前人工智能浪潮为逻辑学注入新活力，期待本次会议为推动逻辑学自主知识体系建构贡献力量。张燕京教授在大会开幕辞中，祝贺江苏省逻辑学会和南京大学逻辑学科所取得的历史成就，他强调，中国逻辑学会形式逻辑专业委员会是改革开放后最早成立的逻辑研究团体之一，在推动逻辑教学与研究事业发展上持续发挥着重要作用。逻辑学是人工智能的思想源头与基础支撑，智能时代既需精密的逻辑工具突破技术瓶颈，也要优化逻辑教育体系以适配人才培养新需求。鱼雪萍主任在大会致辞中感谢全国逻辑学界对江苏逻辑事业的支持，肯定了江苏省逻辑学会长期坚持“提高与普及、理论与应用、研究与教学”三结合的办会方针，始终与时代发展同频共振，呈现出鲜明的学术特色与发展活力。期待在新的历史时期能继续发挥学会引领作用，为逻辑学事业繁荣发展作出更大贡献。

开幕式上，张建军会长简要回顾了学会发展历程，转达了中国逻辑学会和兄弟省市逻辑学会对学会成立四十五周年庆典的祝贺、名誉会长张桂岳先生、学会学术咨询委员会副主任俞思义先生等老一代学者对学会发展的期许。继而举行了第六届江苏省逻辑与思维科学优秀成果奖（2020-2024）颁奖典礼，32项著作与论文获此殊荣。

本次大会共接收论文80余篇，按照会议主题设置主会场大会报告11个，分会场报告48个。河北大学张燕京教授、南京大学王克喜教授、河海大学刘爱莲教授分别主持三段大会报告。清华大学王路教授、南京大学张建军教授、南开大学翟锦程教授、东南大学陈爱华教授、河北大学张燕京教授、香港浸会大学陈强立教授、中国社会科学院李章吕教授、第三军医大学翟建才教授、西南大学郭美云教授、山西大学郭建萍教授和厦门大学何纯秀副教授分享了他们关于形式逻辑研究与教学的思考，学者们就智能时代逻辑研究与教学的问题与挑战展开了热烈探讨。

四个分会场分别由南京大学张力锋教授、南开大学李娜教授、中山大学谢耘教授、华东师范大学郝旭东副教授、华中师范大学宋荣教授、苏州大学杨渝玲教授、南京信息工程大学苏向荣教授、南京师范大学张立娜副教授主持。来自全国各个高校和科研单位的中青年学者、研究生围绕形式逻辑理论与应用、哲学逻辑与逻辑哲学、中外逻辑思想史、智慧教育与逻辑教学等主题展开研讨交流，碰撞思维火花。

会议闭幕式由中国逻辑学会副会长、江苏省逻辑学会副会长兼秘书长、南京大学智能哲学与人类未来研究中心主任顿新国教授主持，张燕京教授作会议总结，张建军教授致闭幕辞。

此次会议规模大、议题范围广、报告质量高，参会学者以中青年为主体，体现出广泛的学术影响力与传承氛围。会议圆满完成了预期目标，系统展示了形式逻辑在智能科学与智能哲学等领域的最新研究成果。与会专家共同倡议，未来应进一步强化现代形式逻辑的研究与教学，促进逻辑学科与新兴学科的互动融合，让逻辑思维成为科技创新与文化繁荣的重要支撑。