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

《自然语言形式理论研究》：清华大学认知科学研究系列丛书

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