（通讯员：文玉洁 项安琪 毕诗云）5月16日中午，中国社会科学院哲学研究所研究员、博士生导师邹崇理教授做客我校，主讲了题为“句法和语义的对应——语义形式化”的讲座。法学院张斌峰教授担任主持人。
“逻辑应该走向社会，走向大众，具体服务于现实社会的需要。关注现实的需要是多方面的，我曾经从事的方向，就是服务于计算机对自然语言的分析处理这个领域。”邹崇理如是说。计算机对自然语言的分析在句法方面已经获得了很大的成功，但是在语义方面比较滞后。在汉语的计算语言学研究领域，几乎没有开展语义形式化的系统工作，语义形式化的缺失已然成为中文信息处理的瓶颈。
那么怎样去弥补呢？邹崇理指出，在句法和语义的对应原理和对应原则的指导下，我们可以把计算机的句法分析延伸到语义分析中，如蒙太格“句法规则对语义规则”的思想及范畴逻辑语法中表现出的更为严格的句法和语义的对应思想。但句法和语义“同”中有“异”，这种延续在具体操作中遇到了困难，如在对非连续的量化句的分析中，量词的重叠复合在某些场合下是非组合的。对于这些句法和语义对应的“盲区”，我们只能采取新的思路并做特殊处理。