2021年12月2日19:00，由36365线路检测中心主办的“逻辑、认知与互动”系列讲座第二十四讲于四川大学望江校区文科楼205成功举办。中国社会科学院研究员，四川师范大学特聘教授邹崇理教授为我系师生作了题为“组合范畴语法及其树库的研究”的学术报告。该讲座由我系任晓明教授主持，徐召清副教授、刘佶鑫老师出席，校内外120多名师生通过线上和线下的方式参与此次讲座。

在本次讲座中，邹崇理教授首先简单介绍了范畴语法CG的基本思想以及范畴类型逻辑CTL的基本思想、历史概况和系统构成，紧接着，对范畴语法的现代版本——组合范畴语法CCG及其树库展开了详细的讨论。组合范畴语法CCG是采纳逻辑的规则对自然语言的句法和语义进行推演，这种推演同时也是计算的过程。邹崇理教授通过分析几个自然语言的案例，介绍了CCG向前同向的组合规则、向前类型提升规则和向后交叉置换规则的具体应用，揭示了各个规则及其推演过程的计算色彩。最后，邹崇理教授还谈到了CCG树库中规则的柔性推广和选择逻辑语义表征工具的问题，并以社科CCG树库为例，指出其树库分析中比如论元脱落规则，不满足逻辑刚性要求的规则，有待柔性处理。

在互动环节中，邹崇理教授与参与讲座的师生们进行了热烈的交流与讨论，并详尽地回答了学生所提出的问题。邹老师还表明，组合范畴语法是当今逻辑服务于计算机人工智能的前沿阵地，研究前景无限，任重而道远！本次讲座在富有启发性的讨论和热烈的掌声中圆满结束。

撰稿人：余芝乐

来源：科学哲学与逻辑学教研室