类型-逻辑语法研究

第一章　导论 1.1　语言逻辑的学科性质和研究对象 1.2　语言逻辑和自然语言理解和处理 1.3 自然语言逻辑研究的方法论原则——意义组合原则 1.4　类型－逻辑语法在国内外的研究状况 1.5　本书的创新之处 1.6　本书的写作特点和基本框架第二章　类型－逻辑语法的句法学 2.1　范畴语法简介 2.2　兰贝克演算第三章　类型－逻辑语义学 3.1　蒙塔古语法的内涵类型逻辑 3.2　简单类型的λ-演算 3.3　高阶逻辑第四章　类型－逻辑语法的形成

第一章　导论 1.1　语言逻辑的学科性质和研究对象 1.2　语言逻辑和自然语言理解和处理 1.3 自然语言逻辑研究的方法论原则——意义组合原则 1.4　类型－逻辑语法在国内外的研究状况 1.5　本书的创新之处 1.6　本书的写作特点和基本框架第二章　类型－逻辑语法的句法学 2.1　范畴语法简介 2.2　兰贝克演算第三章　类型－逻辑语义学 3.1　蒙塔古语法的内涵类型逻辑 3.2　简单类型的λ-演算 3.3　高阶逻辑第四章　类型－逻辑语法的形成　4.1　兰贝克句法演算和类型－逻辑语义学的结合　4.2　配以λ-词项的兰贝克句法演算　4.3　类型－逻辑语法的词库　4.4　类型－逻辑语法对自然语言句法和语义的描写　4.5　自然演绎的兰贝克演算 4.6 自然演绎的兰贝克演算的规范化归模式　4.7　意义公设　4.8　积运算第五章　类型－逻辑语法与逻辑形式系统的深刻联系　5.1　作为－种子结构逻辑的类型－逻辑语法　5.2　类型－逻辑语法与直觉主义命题逻辑第六章 类型－逻辑语法在应用中的丰富和发展（上）　6.1　对并列结构的处理　6.2　对无界限约束结构的处理　6.3　对量化结构和量化辖域问题的处理第七章　类型－逻辑语法在应用中的丰富和发展（下）　7.1　不承认结合公理的兰贝克演算　7.2　克里普克信息模型　7.3　范畴语法的多重模态系统　7.4 空隙构造算子十演绎模式的改进及其对非连续结构的处理　7.5　结构控制第八章 类型－逻辑语法对汉语的处理　8.1　我国的自然语言逻辑研究状况　8.2　类型－逻辑语法对汉语形式化研究的适用性　8.3　类型－逻辑语法对汉语的形式化处理结语参考文献后记

类型－逻辑语法，作为一种以逻辑推理为基础的自然语言逻辑理论，自上个世纪80年代诞生以来，就以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色，受到了形式语义学、语言学、语言哲学和自然语言理解和处理等领域的广泛关注，并继续保持迅猛的发展势头。该理论广泛吸收了其他自然语言逻辑理论、现代逻辑、数学、理论语言学和语言哲学等的研究成果，是自蒙塔古语法以来的又一种十分重要的自然语言逻辑理论，对类型－逻辑语法的研究具有重大的理论意义和实践意义。 类型－逻辑语法被引入我国学术界的时间并不长，邹崇理于2000年出版的《自然语言逻辑研究》是国内首部比较系统地论述类型－逻辑语法的学术专著。但因该书旨在系统论述自然语言逻辑理论诸流派及自然语言逻辑研究方法，而不仅仅限于论述类型－逻辑语法，所以与此有关的内容只有一章，对该理论的分析和讨论还不够全面和彻底。类型－逻辑语法诞生于欧美，形成历史短暂，其理论又具有很高的技术含量，因此我国学术界对该理论尚缺乏深入、系统的了解和认识，对该理论研究的深度和广度都亟待增强。 本书作者试图在充分借鉴国内外研究成果的基础之上，不但完整准确地介绍、分析和评价类型－逻辑语法这一重要的自然语言逻辑理论，而且从理论和实践两方面探讨该理论对汉语形式化研究的适用性，为我国的汉语形式化处理——这一十分落后和薄弱的领域——做一些有益的探索和努力。