类型
2007-5
中国人民大学出版社
张秋成
160
无
类型-逻辑语法，以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色，受到了形式语义学、语言学、语言哲学和自然语言理解和处理等领域的广泛关注，并继续保持迅猛的发展势头。 《类型—逻辑语法研究》作者试图在充分借鉴国内外研究成果的基础之上，不但完整准确地介绍、分析和评价类型-逻辑语法这一重要的自然语言逻辑理论，而且从理论和实践两方面探讨该理论对汉语形式化研究的适用性，为我国的汉语形式化处理、这一十分落后和薄弱的领域、做一些有益的探索和努力。
张秋成，2003年获得中国人民大学哲学博士学位，现任中国人民大学外国语学院讲师。主要研究方向为语言逻辑、语言哲学和理论语言学，发表《内涵语境下替换失效问题及其解决》（被CSSC1收录）、《类型-逻辑语法的句法特色》（被中国人民大学书报资料中心全文转载）等8篇论文，编著《大学英语·写》（编者之一）、《工商管理英语教程（上册）》（副主编及编者之一）等。
第一章 导论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 类型-逻辑语法对汉语的形式化处理结语参考文献后记
无