2025年9月26日上午，我校人文社科名家讲坛493讲暨马克思主义学院“新时代的中国”大讲坛2025年第11讲在包玉书科技楼7号楼513报告厅举行。国际知名逻辑学家、美国斯坦福大学范丙申教授应邀为我校师生作了题为《逻辑遇见了人工智能：经典故事》的学术报告。讲座由马克思主义学院执行院长李包庚主持。
首先，范丙申教授从逻辑推理的基本模式出发，生动梳理了逻辑学发展的历史脉络，他指出，逻辑不仅源于希腊、印度、中国等古典文明，更在哲学、数学、法律乃至宗教中发展为系统的推理工具。范教授进一步阐释了逻辑如何通过二进制演算转化为可执行的推理机器，还结合图灵机器、程序逻辑及动态逻辑等案例，说明逻辑不仅在程序正确性验证中发挥作用，也为理解行为与信息之间的互动提供了理论工具。他强调，逻辑与人工智能的联系历经演变，非单调逻辑等新范式的出现，正是为了应对常识推理中的例外与不确定性，这一思路对当今人工智能系统的发展仍具启发意义。最后范丙申教授总结道，逻辑与人工智能的联系始终处于动态演进中，从早期定理证明到如今的神经-符号融合研究，逻辑不断为人工智能提供形式化工具与批判性视角。
本次讲座由马克思主义学院、省习近平新时代中国特色社会主义思想研究中心宁波大学基地、宁波市高校思想政治教育研究中心承办。学院部分师生聆听了此次讲座。
