本书阐明了自然语言与形式语言的联系和区别，提出在20世纪的语言哲学和语言逻辑的发展过程中，有一个从自然语言到形式语言，再回归于自然语言的辩证发展过程。

分析语言逻辑的发展背景，明确语言逻辑的研究对象和方法。以“回归的自然语言”为基本的概念和范畴，详细分析现代语言学和现代逻辑学的发展和成就，提出语言逻辑是现代语言学与现代逻辑学的交叉学科。明确了语言逻辑的研究对象和方法。

20世纪人类认识史上最重大的事件是语言转向。

语言转向有双重含义。第一种含义是从自然语言转向形式语言，其结果是分析哲学的产生和席卷西方学术的形式化运动。第二二种含义是从形式语言回归自然语言，其结果是语言哲学的产生，自然语言成为语言学、哲学、心理学、人类学、计算机科学和神经科学共同的研究对象，并取得举世瞩目的成果。

由于这些发展，导致20世纪70年代中期认知科学的诞生。

本书是清华大学认知科学研究系列丛书首发的第一部研究性著作。本书以第一次转向产生的形式化方法为研究手段，以第二次转向产生的核心目标自然语言为研究对象，将两次语言转向的重大成果合冶于一炉。

本书是国内首次以句法学、语义学和语用学的三三分框架和形式化方法对自然语言进行研究的著作，以乔姆斯基、蒙太格、奥斯汀和塞尔为代表性人物，在研究内容、体例和方法等多方面均有所创新。

本书可供语言学、逻辑学、哲学、心理学、计算机科学和神经科学等领域的教师和研究生用作教材、教学参考书或研究工作的参考读物。

绪言 基于形式结构的自然语言理解

第一章 自然语言和形式语言

 第一节 自然语言

 第二节 形式语言

 第三节 书面语言和口头语言

 第四节 对象语言和元语言

第二章 自然语言逻辑

 第一节 回归自然语言

 第二节 现代语言学

 第三节 现代逻辑学

 第四节 语言逻辑的对象和方法

 第五节 语言逻辑的意义

第三章 乔姆斯基的生成语法

 第一节 乔姆斯基的革命

 第二节 短语结构理论

 第三节 词库理论

 第四节 转换理论

第四章 形式句法理论的新进展

 第一节 原则和参数理论

 第二节 最简方案

 第三节 乔姆斯基语言理论中的逻辑问题

 第四节 语言、心智、认知

第五章 形式语义学理论

 第一节 形式语义学概况

 第二节 蒙太格语法

 第三节 类型逻辑语法

 第四节 语法逻辑

 第五节 广义量词理论

 第六节 话语表现理论

 第七节 情境语义学

第六章 形式语义学研究

 第一节 关于汉语体态特征的语句系统

 第二节 关于汉语量化表达式的语句系统

 第三节 刻画聚合语义的逻辑系统

 第四节 表述汉语灵活语序的逻辑系统

 第五节 形式语义学的局限性和解决设想

第七章 奥斯汀和塞尔的言语行为理论

 第一节 奥斯汀的革命

 第二节 奥斯汀的言语行为理论

 第三节 塞尔对言语行为理论的发展

 第四节 间接的言语行为

 第五节 言语行为理论的重大意义

第八章 形式语用学研究

 第一节 形式语用学

 第二节 语用逻辑

 第三节 预设

 第四节 焦点

 第五节 心理

参考文献

术语索引

人名索引

后记