2026年7月4日至5日，“AI时代的逻辑研究与教学——中国逻辑学会形式逻辑专业委员会2026年年会”由中国逻辑学会形式逻辑专业委员会与河北大学哲学与社会学学院联合主办，在雄安新区召开。会议以人工智能时代背景下逻辑学的研究转型与教学革新为核心议题，汇聚了来自中国社会科学院、清华大学、中国人民大学、浙江大学、南开大学、中山大学、西南大学等30余所高校及研究机构的70余位专家学者。

西南大学逻辑与智能研究中心郭美云教授、熊作军副教授以及王一廷博士参加了此次会议。郭美云教授受邀作大会发言，以“斯多葛逻辑的历史地位及其影响”为题，深入探讨了这一古典逻辑学派在蕴涵理论、语义分析等方面对现代逻辑的重要贡献。熊作军副教授在分论坛中分享了“私密交流的动态认知逻辑”的研究成果，通过引入标签语义与空间模型，为多主体系统中的私密交流构建了全新的逻辑系统。除大会报告与分论坛报告外，王一廷博士的论文《从“可知”到“能知”：可知性的能力解释与可知性原则的形式化分析》也被收录于论文集。

中心师生与参会学者围绕AI对逻辑基础理论的挑战、逻辑教育在智能时代的转型路径等前沿议题展开了深入而热烈的探讨。此次会议交流进一步促进了中心与国内逻辑学界的交流与合作。

（泮新璐/文、发布，熊作军/图、审核）