Research on type-logical grammar

作者：  张秋成著

出版社：中国人民大学出版社,2007

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