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

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

    的台湾人只有7％的人认为那是正确的推理。差异更大。
    布卢姆认为，由于语言的差异，导致东西方被试对同一推理的不同程度的接受。我们认为，这种差异不是语言的差异，而是逻辑的差异。为此，我们设计了两组以反事实条件语句为前提的三段论推理，并以中国学生作为被试者。一组推理与经验相符，另一组与经验不符。每一组又分为在两个前提语句前加上“如果”来表明这个语句是假设而非事实和不加“如果”的语言提示两种情况。试验结果，是否增加语言提示并不影响推理成绩，而是否与经验相符则对推理成绩有较大影响。  3.神经系统的逻辑  20世纪下半叶特别是它的最后四分之一个世纪以来，神经科学特别是认知神经科学得到了长足的进展。凭借事件相关电位（Event Related.Poterltials，ERP）和功能磁共振成像（fLmcl：ional Magnetic ResonanceImaging，fMRI）等无创性脑探测技术，人们终于能够窥探脑和神经系统的秘密，在脑和神经系统的语言加工和逻辑加工方面取得了一系列的重要成果。
    以ERP的研究为例。20世纪80年代以来，将：ERP用于语言学、心理学和逻辑学的研究，取得了很多重要的成果。研究发现，ERP的一些成分可以作为一些特殊事件的指标。例如，N100（潜伏期为100毫秒的负电位）常被看做对刺激进行感觉分析的指标。P300（潜伏期为300毫秒的正电位）则表明个体开始注意到刺激，它可以被用作句法加工的指标。又如，N400（潜伏期为400毫秒负电位）往往产生于被试注意到某些奇怪的事件时，它可以被用作语义加工的指标。
    库塔斯和希利亚德（Kutas and Hillyard，1980）的ERP实验发现，当被试者在进行语句的语义加工时，会产生N400电位，这个电位会随着语义异常程度的增大而加强。

绪言 基于形式结构的自然语言理解
第一章 自然语言和形式语言
第一节 自然语言
第二节 形式语言
第三节 书面语言和口头语言
第四节 对象语言和元语言

第二章 自然语言逻辑
第一节 回归自然语言
第二节 现代语言学
第三节 现代逻辑学
第四节 语言逻辑的对象和方法
第五节 语言逻辑的意义

第三章 乔姆斯基的生成语法
第一节 乔姆斯基的革命
第二节 短语结构理论
第三节 词库理论
第四节 转换理论

第四章 形式句法理论的新进展
第一节 原则和参数理论
第二节 最简方案
第三节 乔姆斯基语言理论中的逻辑问题
第四节 语言、心智、认知

第五章 形式语义学理论
第一节 形式语义学概况
第二节 蒙太格语法
第三节 类型逻辑语法
第四节 语法逻辑
第五节 广义量词理论
第六节 话语表现理论
第七节 情境语义学

第六章 形式语义学研究
第一节 关于汉语体态特征的语句系统
第二节 关于汉语量化表达式的语句系统
第三节 刻画聚合语义的逻辑系统
第四节 表述汉语灵活语序的逻辑系统
第五节 形式语义学的局限性和解决设想

第七章 奥斯汀和塞尔的言语行为理论
第一节 奥斯汀的革命
第二节 奥斯汀的言语行为理论
第三节 塞尔对言语行为理论的发展
第四节 间接的言语行为
第五节 言语行为理论的重大意义

第八章 形式语用学研究
第一节 形式语用学
第二节 语用逻辑
第三节 预设
第四节 焦点
第五节 心理
参考文献

术语索引
人名索引
后记