自然语言逻辑研究
2000-4
北京大学出版社
邹崇理
452
无
自然语言逻辑是运用现代逻辑方法研究自然语言的新学科，其开端是蒙太格语法，以后发展出话语表现理论、类型-逻辑语法等理论。本书是从技术角度比较详尽地论述了这些理论对自然语言逻辑结构的分析处理。本书还评述了蒙太格语法和话语表现理论所产生的各具特色的逻辑推演系统。本书在自然语言逻辑的基础上，构造了一个汉语部分语句系统，据此给出汉语多种时态（如进行态，完成态和短暂态等）的严格定义，为全面深入研究汉语的时间结构提供了逻辑基础。
邹崇理，1953年7月出生，四川成都市人。师从我国著名逻辑学家周礼全教授。1992年毕业于中国社会科学院研究生院，获哲学博士学位。现任中国社会科学院哲学所逻辑室副研究员。 近10年来研究自然语言逻辑，以蒙太格语法为基础，广泛涉猎逻辑语法和形式语义学领域内的话语表现理论、类型-逻辑语法、广义量词理论以及情境语义学等多种理论。出版专著《逻辑、语言和蒙太格语法》，发表“论PTQ系统的意义公设”“情境语义学”、“范畴语法和加标演绎系统”、“范畴语法和类型-逻辑语义学”、“话语表现理论DRT述评”和“动态蒙太格语法”等多篇论文。
序言自序绪论第一编 自然语言逻辑的基础——形式语义学第一章 自然语方形式语义学的研究方法第1节 自然语方形式语义学的研究方法1.1 自然语言的逻辑结构层次1.2 λ-表达式的运用1.3 递归定义方法1.4 树形图方法1.5 部分语句系统方法第2节 关于自然语言语义的模型理论方法2.1 代数结构与语义模型2.2 意义的组合原则2.3 间接的语义解释2.4 意义公设方法第二章 蒙太格语法第1节 蒙太格语法概况1.1 蒙太格语法与自然语言逻辑1.2 蒙太格语法的理论来源及其发展1.3 蒙太格语法的基本体系第2节 通用语法思想及其英语语句系统2.1 逻辑语言和自然语言的通用语法2.2 直接语义解释的英语系统2.3 间接语义解释牟英语系统第3节 蒙太格语法的语用学研究第三章 话语表现理论DRT第1节 DRT的基本体系1.1 DRT的渐进动态方法1.2 DRT的句法部分1.3 DRT的语义部分——话语表现结构DRS1.4 DRT的语义部分——DRS的语义模型1.5 从DRS到谓词逻辑第2节 DRT的扩展及其述评2.1 DRT关于复合句的处理特色2.2 DRT关于复数名词与代词照应关系的刻画2.3 DRT关于句子之间时间联系的描述第四章 类型-逻辑语法第1节 范畴语法发展简述第2节 类型-逻辑语法2.1 简单类型λ-演算2.2 高阶逻辑2.3 贴合的范畴语法2.4 Lambek演算第3节 类型-逻辑语法述评3.1 并列关联与无界限依赖关系的处理3.2 量化辖域现象的推广第二编 自然语言逻辑的深化——形式演绎系统第五章 蒙太格逻辑的句法和语义第1节 内涵逻辑的句法和语义第2节 内涵逻辑的公理系统……第三编 汉语的自然语言逻辑研究参考书目术语索引后记
《自然语言逻辑研究》是从技术角度比较详尽地论述了这些理论对自然语言逻辑结构的分析处理。
无
东西又多又杂，还没有符号索引，不知道是想让读者读懂还是给读者添堵，讲得也不详细，有卖弄嫌疑。