出版社:中国社会科学出版社
年代:2015
定价:48.0
范畴类型逻辑是当代自然语言逻辑中的一个重要分支,其使用逻辑学中的方法,甚至数学中的方法为自然语言问题的解决提供一条形式化的解决路径。当下范畴类型逻辑中主要有传统的范畴类型逻辑、多模态的范畴类型逻辑、对称范畴语法三个分支,其中传统的范畴类型逻辑是在不结合的兰贝克演算的基础上通过添加算子或者结构假设的方式而获得的一个范畴类型逻辑分支;本书将从汉语反身代词回指照应问题出发,以具体的语言学问题为基础,通过构造三类不同范畴类型逻辑对这一问题的解决方案,说明三者之间的区别和联系,特别是在处理语言学问题上的优缺点。
范畴类型逻辑是当代自然语言逻辑中的一个重要分支,其使用逻辑学中的方法,甚至数学中的方法为自然语言问 题的解决提供一条形式化的解决路径。当下范畴类型逻辑中主要有传统的范畴类型逻辑、多模态的范畴类型逻辑、对称范畴语法三个分支,其中传统的范畴类型逻辑 是在不结合的兰贝克演算的基础上通过添加算子或者结构假设的方式而获得的一个范畴类型逻辑分支;本书将从汉语反身代词回指照应问题出发,以具体的语言学问 题为基础,通过构造三类不同范畴类型逻辑对这一问题的解决方案,说明三者之间的区别和联系,特别是在处理语言学问题上的优缺点。