| 张秋成，2003年获得中国人民大学哲学博士学位，现任中国人民大学外国语学院讲师。主要研究方向为语言逻辑、语言哲学和理论语言学，发表《内涵语境下替换失效问题及其解决》（被CSSCl收录）、《类型—逻辑语法的句法特色》（被中国人民大学书报资料中心全文转载）等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 类型－逻辑语法对汉语的形式化处理 结语 参考文献 后记 |
内容加载中，请稍后...
商品评论（0条）