AnaphoraandType Logical Grammar

　　Gerhard Jager

　　Netherlands：Springer，2005

　　（《照应回指与类型逻辑语法》）

　　推荐人

　　邹崇理

　　中国社会科学院哲学所研究员

　　简介〉〉

　　类型逻辑语法是研究自然语言逻辑理论的基本方法，也是同逻辑类型论和高阶逻辑保持结构一致性的语言哲学理论。该书首先介绍了类型逻辑语法的基础——范畴语法的思想，彰显了“语言就是计算”的观念。然后对处理自然语言照应回指现象的多种方案进行梳理和评价，并重点论述了作者的研究成果，构造了一个基于受限缩减规则的Lambek演算，提出了处理照应回指的竖线算子，从模态逻辑视角证明了该演算的可靠性、完全性和可判定性等元逻辑性质，突出了“语法就是逻辑”的思想。此外，该书还应用上述成果对wh-算子约束、量词的辖域、弱跨语句约束现象和动词短语的省略等语言学现象进行了分析。

　　推荐理由〉〉

　　自然语言中使用代词等索引词的表达式占全部表达式的70％以上，研究索引词的逻辑和语言哲学理论由来已久，而严格精确刻画代词所涉及的照应回指现象，更是当今自然语言计算机信息处理绕不开的重点和难点问题之一。作者的方案给语言学界、逻辑学界和计算机科学界学者展示出问题解决的前景，将引起较大关注。此外，古典范畴语法用于语言运算的两个斜线算子提出来已有70—80年历史，而作者创造的竖线算子仅3—5年的光景，构思新颖，给长于创新的年轻学者提供了想象空间。



　　

《中国社会科学报》版权所有，转载请注明出处及本网站名。