类型—逻辑语法研究

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

张秋成，2003年获得中国人民大学哲学博士学位，现任中国人民大学外国语学院讲师。主要研究方向为语言逻辑、语言哲学和理论语言学，发表《内涵语境下替换失效问题及其解决》（被CSSCl收录）、《类型—逻辑语法的句法特色》（被中国人民大学书报资料中心全文转载）等8篇论文，编著《大学英语·写》（编者之一）、《工商管理英语教程（上册）》（副主编及编者之一）等。

类型－逻辑语法，作为一种以逻辑推理为基础的自然语言逻辑理论，自上个世纪80年代诞生以来，就以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色，受到了形式语义学、语言学、语言哲学等专业理论知识，如果没有长期的深入的钻研和宽广扎实的知识储备，想要达到对他的深刻领悟和准确理解是不可能的。

第一章　导论
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　类型－逻辑语法对汉语的形式化处理
结语
参考文献
后记