11月6日下午，南京大学ac米兰中文官方网站教授、博士生导师顿新国应邀到访，在ac米兰中文官方网站D3004会议室作题为《面向人工智能的逻辑与哲学讲座——形式知识论的当代发展》的学术讲座。讲座由李莉副教授主持，学院师生参加讲座。顿教授认为形式知识论是21世纪初产生并逐步盛行的一股研究思潮，是逻辑、概率论、可计算性等形式科学与知识论交叉的研究领域，亦可看作是逻辑的应用研究领域。

  顿教授指出知识与信念虽然是当下形式知识论的主流话题，但证据更为根本。辩护与证据实为一体两面，表达的是同一个关系，二者都应作为关系概念而非一元模态算子来刻画。现有认知逻辑将知识与信念处理为一元算子，忽略了证据的关系属性，导致了刻画的偏差。顿教授还梳理了确证难题的演进。顿教授从休谟问题谈起，指出这一难题既可理解为对归纳推理有效性的质疑，也可理解为对所得结论辩护性的质疑。此后1963年盖梯尔反例对“知识即真辩护信念”的经典定义构成了挑战，乌鸦悖论则进一步暴露了确证理论的困难。针对主流的贝叶斯方案，顿教授指出，其“非黑个体远多于乌鸦”的核心假定无法被证明，其中隐含的样本与结论之间的不相关性还会导致荒谬结论。他认为，出路在于从该角度引入约束，即证据与假设之间须有因果关系或共享的“相关性”。

讲座最后，顿教授谈到了形式知识论的进一步发展趋势。他认为，形式知识论应从“辩护”转向“发现”，形式学习理论可用于评估大模型“生成候选、证伪淘汰、保留最优”的工作机制。他强调想象在因果发现中的关键地位。当前生成式AI只是语词的概率组合，尚不具备真正的创新性。人工智能模拟理性，需要由“计算”经“认知理性”最终迈向“行动的智慧”，逻辑与深度学习的协同是其中的必由之路。报告结束后，在场师生围绕贝叶斯方案与信念的本性等问题提问，顿教授逐一作答。讲座为师生理解形式知识论及其当代意义提供了清晰的理论架构与宝贵的思想资源。

（一审：李莉 二审：周海春 三审：崔露）