自然语言形式理论研究

　　绪言 基于形式结构的自然语言理解
　　第一章 自然语言和形式语言
　　第一节 自然语言
　　第二节 形式语言
　　第三节 书面语言和口头语言
　　第四节 对象语言和元语言
　　第二章 自然语言逻辑
　　第一节 回归自然语言
　　第二节 现代语言学
　　第三节 现代逻辑学
　　第四节 语言逻辑的对象和方法
　　第五节 语言逻辑的意义
　　第三章 乔姆斯基的生成语法
　　第一节 乔姆斯基的革命
　　第二节 短语结构理论
　　第三节 词库理论
　　第四节 转换理论
　　第四章 形式句法理论的新进展
　　第一节 原则和参数理论
　　第二节 最简方案
　　第三节 乔姆斯基语言理论中的逻辑问题
　　第四节 语言、心智、认知
　　第五章 形式语义学理论
　　第一节 形式语义学概况
　　第二节 蒙太格语法
　　第三节 类型逻辑语法
　　第四节 语法逻辑
　　第五节 广义量词理论
　　第六节 话语表现理论
　　第七节 情境语义学
　　第六章 形式语义学研究
　　第一节 关于汉语体态特征的语句系统
　　第二节 关于汉语量化表达式的语句系统
　　第三节 刻画聚合语义的逻辑系统
　　第四节 表述汉语灵活语序的逻辑系统
　　第五节 形式语义学的局限性和解决设想
　　第七章 奥斯汀和塞尔的言语行为理论
　　第一节 奥斯汀的革命
　　第二节 奥斯汀的言语行为理论
　　第三节 塞尔对言语行为理论的发展
　　第四节 间接的言语行为
　　第五节 言语行为理论的重大意义
　　第八章 形式语用学研究
　　第一节 形式语用学
　　第二节 语用逻辑
　　第三节 预设
　　第四节 焦点
　　第五节 心理
　　参考文献
　　术语索引
　　人名索引
　　后记

　　    蔡曙山，贵阳市人。哲学博士，师从著名逻辑学家周礼全先生；哈佛大学访问学者。现任清华大学心理学系教授，博士生导师；清华大学心理学与认知科学研究中心主任；教育部“985工程”哲学社会科学创新基地清华大学认知科学研究基地主任；国际逻辑学、方法论和科学哲学协会协理；国际符号学研究会理事；国际符号交际学会会士；中国逻辑学会副会长、常务理事；中国逻辑学会符号学专业委员会主任；北京市自然科学界和社会科学界联席会议顾问。著有《言语行为和语用逻辑》、 《语言、逻辑与认知》等多部；在国内外学术期刊和学术会议发表学术论文逾百篇。
　　    邹崇理，哲学博士，师从我国著名逻辑学家周礼全先生。中国社科院哲学所逻辑室主任，国务院特殊津贴专家。中国逻辑学会副会长兼秘书长。学术研究涉猎蒙太格语法、广义量词理论和范畴类型逻辑等形式语义学理论。出版了《逻辑、语言和蒙太格语法》、《自然语言逻辑研究》、《逻辑、语言和信息》和《范畴类型逻辑》等专著，发表了《信息流逻辑》、《非连续量词的类型一逻辑语义处理》、《多模态范畴逻辑研究》等多篇论文。专著和论文曾获2002年度中国社科院优秀科研成果二等奖，2004年和2008年中国逻辑学会优秀科研成果二等奖。

　　    20世纪人类认识史上重大的事件是语言转向。语言转向有双重含义。一种含义是从自然语言转向形式语言，其结果是分析哲学的产生和席卷西方学术的形式化运动。第二二种含义是从形式语言回归自然语言，其结果是语言哲学的产生，自然语言成为语言学、哲学、心理学、人类学、计算机科学和神经科学共同的研究对象，并取得举世瞩目的成果。
　　    由于这些发展，导致20世纪70年代中期认知科学的诞生。
　　    《自然语言形式理论研究》是清华大学认知科学研究系列丛书首发的一部研究性著作。《自然语言形式理论研究》转向产生的形式化方法为研究手段，以第二次转向产生的核心目标自然语言为研究对象，将两次语言转向的重大成果合冶于一炉。
　　    《自然语言形式理论研究》是国内首次以句法学、语义学和语用学的三三分框架和形式化方法对自然语言进行研究的著作，以乔姆斯基、蒙太格、奥斯汀和塞尔为代表性人物，在研究内容、体例和方法等多方面均有所创新。
　　    《自然语言形式理论研究》可供语言学、逻辑学、哲学、心理学、计算机科学和神经科学等领域的教师和研究生用作教材、教学参考书或研究工作的参考读物。