2025年10月25日至10月26日，中国逻辑学会2025年学术年会暨“人工智能时代逻辑学科的反思与使命”学术研讨会在华中科技大学顺利举行。会议由中国逻辑学会与湖北省逻辑学会主办，华中科技大学哲学学院承办。来自全国60余高校与科研单位的150余专家学者齐聚一堂，聚焦人工智能时代逻辑理论与逻辑教育研究的发展现状、趋势动向展开了深入、开放且富有启发性的讨论。

郭美云教授受邀作大会主题报告。郭美云报告了与博士生郭希合作并即将完成的学术论文《试析图灵可计算性的逻辑思想》。报告指出，图灵机以机械手段刻画了可计算性的精确内涵，是图灵可计算性思想的核心，丘奇-图灵论题表明了λ-可定义函数、一般递归函数和图灵可计算函数三者的等价性，但图灵、丘奇和哥德尔的逻辑立场和思想差异决定了可计算性在不同维度的特质呈现。图灵机的停机问题为可判定性和不可判定性问题提供了新的方法论路径。报告最后还讨论了图灵可计算性思想的当代价值和方法论意义。

据悉，中国逻辑学会2027年学术年会拟在西南大学举行，这将是中国逻辑学会学术年会在时隔27年后重新回到西南大学举行，这必将对西南大学的逻辑教育与研究事业有重要的推动作用。

(泮新璐/供稿，郭美云/审核，彭子骄/发布）