为深化中外学术交流，促进逻辑学、语言学与跨学科研究的国际对话，2025年10月14日-12月5日，外国专家大讲堂（秋）——美国俄亥俄州立大学Robert Levine教授专题系列讲座（第1-16场）顺利开展。本系列讲座以“逻辑、语言与计算”为主题，系统探讨了逻辑形式与自然语言结构之间的内在联系，从基础逻辑概念一直延伸到当代语法理论的前沿发展，为师生呈现了一场思想深度与理论张力并存的知识盛宴。讲座由上海大学外国语学院主办，英语系主任马拯副教授主持，外国语学院院长尚新教授以及多位师生共同参与研讨。

第1-3场讲座从日常语言中的逻辑词汇（如“和”“或”“非”“所有”）出发，揭示其背后蕴含的推理规则，引导听众思考语法是否本质上是逻辑系统的体现。进而介绍真值表如何将自然语言中的逻辑关系形式化，并指出这种形式化与语言实际使用之间的张力。为弥补真值表在推理过程展现上的不足，讲座引入“自然演绎”系统，展示其如何模拟人类一步步的推理思维，并在规则中自然体现真值关系。

第4-6场讲座在掌握逻辑规则的基础上，逐步深入“证明”的实践。从简单证明入手，逐步展示如何通过严谨推导构建复杂证明，并引导听众理解形式证明与直觉判断之间的差异。讲座特别以“排中律”为例，说明即便看似自明的基本逻辑原则，在形式系统中也需经过迂回而严格的证明才能确立，体现出逻辑体系的严密性与精妙性。

第7场讲座介绍直觉主义逻辑的基本理念：逻辑应关注“可证明性”而不仅仅是“真值”。讲座比较了两种逻辑体系在哲学基础与推理规则上的区别，并指出直觉主义思路在语言学研究中的独特价值，为理解语法结构提供了新的理论工具。

第8-11场讲座聚焦句子内部结构的逻辑分析，通过谓词、论元与量化词的引入，揭示简单句与复杂句的意义组合机制。针对量化词导致的语义歧义问题，讲座展示了形式化方法如何清晰区分不同解读，并介绍了兰贝克句法演算及其与直觉主义逻辑的深刻对应，说明合法句子结构如何可被视为逻辑可证明的定理。通过λ演算，讲座进一步呈现句子意义如何像数学函数一样精确组合，实现句法与语义的完美统一。

第12-15场讲座在完整呈现兰贝克语法系统的基础上，展示了其如何通过引入与消去规则处理常规及特殊句式，并指出其局限：难以处理句中位置的量化词。为此，讲座引入奥尔演算作为补充，分析其优势与不足。最后提出一种融合方案，结合两种理论优势，实现对量化词在句中任意位置的统一解释，展现了形式语法理论的动态发展路径。

第16场讲座以展望收尾，基于前述内容提出一个跨学科猜想：语言能力与逻辑思维可能依赖于大脑中共享的底层计算机制。这一视角将语言结构与逻辑规则的联系，置于认知科学与人脑研究的更广阔图景之中，为未来探索指明方向。

本系列讲座层层递进，将逻辑学、形式语法与语言哲学紧密衔接，不仅清晰梳理了从经典逻辑到现代语法理论的发展脉络，更生动展示出形式工具在解析语言结构、意义及其认知基础中的强大解释力。讲座深化了师生对逻辑与语言内在联系的理解，促进了跨学科思维对话，为推进语言学研究与逻辑学研究的交叉融合提供了有益的理论平台与思想启发。 （撰稿：朱雨雯）