范畴类型逻辑及其在汉语反身代词回指照应中的应用

图书标准信息

• 作者 贾青 著
• 出版社 中国社会科学出版社
• 出版时间 2015-03
• 版次 1
• ISBN 9787516159521
• 定价 45.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 185页
• 字数 208千字

【内容简介】

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

【作者简介】

贾青，河北沧州人，哲学博士。2008年毕业于燕山大学获哲学硕士学位；2008年毕业于中国人民大学获哲学博士学位；同年进入中国社会科学院哲学研究所从事博士后研究。现为中国社会科学院哲学研究所逻辑学研究室助理研究员。研究方向为范畴类型逻辑。

【目录】

章背景知识 1.1范畴类型逻辑的生成能力与乔姆斯基层级 1.1.1不同的范畴类型逻辑系统 1.1.2乔姆斯基层级 1.1.3不同范畴类型逻辑系统的生成能力 1.2汉语反身代词回指照应的主要特点及其成因 1.2.1乔姆斯基的约束原则 1.2.2汉语反身代词回指照应对于约束原则的违反 1.2.3约束反身代词回指的那些序列关系 1.3主要内容和章节分布 1.3.1主要内容 1.3.2章节分布 第2章传统范畴类型逻辑及LLC系统 2.1结合的兰贝克演算L 2.1.1L的公理表示 2.1.2L的树模式表示与自然推演表示 2.1.3L的Gentzen表示 2.1.4L的四种表示的等价性 2.2带受限缩并规则的兰贝克演算 2.2.1结构的层级以及其对回指照应问题的影响 2.2.2LLC的公理表示 2.2.3LLc的树模式表示和自然推演表示 2.2.4LLC的Gentzen表示 2.2.5LLC四种表示之间的等价性 2.2.6LLC在语言学中的应用以及其他方案 第3章前后搜索的（Bi）LLc系统 3.1语言学背景 3.2（Bi）LLC的公理表示 3.3（Bi）LLC的树模式表示和自然推演表示 3.4（Bi）LLc的Gentzen表示 3.5（Bi）LLC四种表示的等价性 3.6语言学中的应用 第4章多模态范畴类型逻辑与MMLLc系统 4.1多模态的范畴类型逻辑 4.1.1多模态范畴类型逻辑公理表示中的特点 4.1.2多模态范畴类型逻辑Gentzen表示中的特点 4.2多模态范畴类型逻辑系统MMLLC的公理表示 4.2.1语言学背景 4.2.2MMLLC的公理表示 4.3多模态范畴类型逻辑系统MMLLC的Gentzen表示 4.4MMLLC在语言学中一些问题上的应用 第5章对称范畴语法 5.1对称范畴语法的公理表示 5.1.1对称范畴语法公理表示中的语法特点 5.1.2对称范畴语法公理表示中的语义特点 5.2对称范畴语法的Gentzen表示 5.2.1对称范畴语法Gentzen表示中的语法特点 5.2.2对称范畴语法Gentzen表示中的语义特点 第6章对称范畴系统LGadis 6.1语言学背景 6.2对称范畴系统LGdis的公理表示 6.3语言学中的应用 第7章对比与展望 7.1不同方案的对比 7.2未来的工作 第8章其他逻辑分支对语言学问题的处理 8.1一阶逻辑及模态逻辑对语言学问题的处理 8.1.1一阶逻辑对连动结构的刻画 8.1.2模态逻辑对因果型连动结构的刻画 8.2STIT逻辑对语言学问题的处理 8.2.1STIT逻辑对以言行事行为的刻画 8.2.2STIT逻辑对合作原则的改写 结语 参考文献 后记
作者介绍

序言