言語に規則があるのは、人間が言語を規則的に作ったためではなく、言語が自然法則に従っているからである―。こうしたチョムスキーの言語生得説は激しい賛否を巻き起こしてきたが、最新の脳科学は、この主張を裏付けようとしている。実験の積み重ねとMRI技術の向上によって、脳機能の分析は飛躍的な進歩を遂げた。本書は、失語症や手話の研究も交えて、言語という究極の難問に、脳科学の視点から挑むものである。

近年、脳機能計測技術の発達により、人間の言葉・言語を使っているときの脳活動を画像化しようという研究が増えてきている。本書は、脳からの言語研究に興味を持つ学生及び研究者を対象に、脳機能計測を用いた言語研究の最新の知見概説と、実際に人文系の学生・研究者が脳からの言語研究を行う際に、具体的に何から始めればいいのか、何を準備してどうすればデータ解析結果が得られるのか、の説明までを網羅した入門書。

形式意味論は、その表現形の煩雑さから、とかく敬遠されがちである。本書では意味論研究の経験が一切ない読者を対象に、形式意味論の基本からはじめて、その思考法を平易に解説する。数学や論理学の知識のない人でも楽しく読み進められるよう、実例に即して諸概念を分かりやすく導入する。ラムダ(λ)恐怖症の人でも、数式アレルギーの人でも、形式意味論の考え方に親しみ、自分の研究に活かす方策を手に入れることができる。

チョムスキーに始まる生成文法は言語についての考え方を大きく変革し，現在でも言語研究の一大潮流をなしている．生成文法では言語をどのようにとらえ，何をめざしているのか，人間の言語機能についての基本的な考え方を解説し，文法理論の発展を初期の標準理論から最新の極小モデルまでわかりやすく紹介する．生成文法入門の決定版

《动态意义理论》介绍了四种动态意义理论：文档变换语义学、话语表达理论、情景语义学和动态谓词逻辑。它们在语义学的发展史上具有标志性的意义，是形式语义学发展过程中的一道分水岭。之前的逻辑语义学称为传统逻辑语义学，因其对句子语义的分析是静态的，又可称为静态逻辑语义学。动态语义学对句子语义的分析从算法角度展现了从英语语句的句法形式到语义表现的过程，刻画了语义分析的递增性及其形式推演系统。正是动态的分析方法使其成功地解决了句子序列中代词和名词的指代照应关系、蒙太古语法对摹状词处理的困境以及先设、焦点、省略等问题。

《事件语义学引论》对事件语义学的总体发展历程和重要论题进行概览式介绍。重点介绍事件语义学新戴维森分析法，围绕事态中动词与论元的关系、动词的事件语义、个体层面谓词和阶段层面谓词、名词与事件以及事态终结性等议题，对相关重要文献进行系统性梳理和概括，深入分析和阐述相关论题，提炼出具有广泛影响力的主流观点，并辅以适量的语言实例加以阐释说明。
《事件语义学引论》适合理论语言学学习者和研究者阅读。

Our outstanding ability to communicate is a distinguishing features of our species. To communicate is to convey meaning, but what is meaning? How do words combine to give us the meanings of sentences? And what makes a statement ambiguous or nonsensical? These questions and many others are addressed in Paul Elbourne's fascinating guide. He opens by asking what kinds of things the meanings of words and sentences could be: are they, for example, abstract objects or psychological entities? He then looks at how we understand a sequence of words we have never heard before; he considers to what extent the meaning of a sentence can be derived from the words it contains and how to account for the meanings that can't be; and he examines the roles played by time, place, and the shared and unshared assumptions of speakers and hearers. He looks at how language interacts with thought and the intriguing question of whether what language we speak affects the way we see the world.
Meaning, as might be expected, is far from simple. Paul Elbourne explores its complex issues in crystal clear language. He draws on approaches developed in linguistics, philosophy, and psychology -- assuming a knowledge of none of them -- in a manner that will appeal to everyone interested in this essential element of human psychology and culture.
Review:
"This is a perfect guide to what semantics is all about. The book is informative, scholarly, witty, entertaining, and funny. It doesn't shy away from hard puzzles and unsolved problems, and places semantics where it belongs: at the intersection of linguistics, logic, metaphysics, cognitive psychology, and neuroscience."
--Angelika Kratzer, University of Massachusetts at Amherst

本书详细介绍形式语义学的基本内容、主要技巧和方法，可供大学语言和语言学专业的高年级本科学生及硕士、博士生作研习、参考之用。对自然语言分析和处理感兴趣的计算机、数学、哲学、逻辑和人工智能专业的学生也可从本书中获得系统的语义学知识。在阅读此书之前，读者最好先学一门现代语言学导论课或读一本基础教科书，如Akmajian et al（1984）或Fr0瑚kin&R0d—mail（1993），也可上一门生成句法学导论课或读一本句法教科书，如Radford（1988）、徐烈炯（1988）或宋国明（1997）。如能看一下徐烈炯（1990／1996）和（1993）则更有帮助。
本书内容的取舍并非简单地照搬一些外文教科书，在章节安排上也力免陈袭他人。我们在书中注入了自己的理解和观点，并力求对汉语的语义结构做尝试性的形式化描写。故此，本书并不是一本求稳求全的教材，而是一本讨论性、探索性的论著。当然，作为导论性教科书，本书介绍的许多方面无法深入详谈，技术上也不一定代表最新最好的解决方法。我们在书中提出了问题，找到了部分答案，但是留下了更多的研究空间让读者去遨游驰骋。
第一章　语义、真值与逻辑
第一节　命题、句义和话语义
第二节　句义的信息类型
第三节　言语交际的意义层次
第四节　形式语义学的研究范围
第五节　逻辑在语义研究中的地位
第六节　几个基本的语义概念
第七节　各章　内容简介
阅读文选
第二章　逻辑演算
第一节　集合论
第二节　关系和函数
第三节　命题逻辑和真值表
第四节　谓词逻辑
第五节　逻辑证明
阅读文选
第三章　Cp系统和语义解释
第一节　部分语句系统Cp
第二节　cp的语义解释
第三节　模型与语义解释
阅读文选
第四章　对Cp系统的扩展
第一节　三种特殊句式
第二节　复句的生成和解释
第三节　逻辑否定句
第四节　语法范畴和逻辑范畴：传统语法、传统逻辑和形式逻辑的同与异
第五节　规则小结
第六节　语义解释的递归性
第七节　实例分析
阅读文选
第五章　类型论初步
第一节　再论组合性原则
第二节　逻辑语义类型
第三节　类型驱动的语句分析与生成
第四节　特征函项
第五节　类型的语义性质
第六节　ct系统
阅读文选
第六章　量词、辖域与逻辑依存
第一节　变量、约束词与量化结构
第二节　量化结构的语义解释
第三节　逻辑依存
第四节　逐指与统指
第五节　分支量词
第六节　自然语言量化句的歧义和表达
第七节　结语
阅读文选
第七章　A-转换
第一节　自然语句分析中的一些疑难现象
第二节　A-抽象和A-还原
第三节　对疑难现象的分析
……
第八章　广义量词
第九章　时间、时制与时态
第十章　对时间的量化与限制、量化类型及其三分结构
第十一章　可能世界与模态逻辑
第十二章　内涵逻辑与命题态度
第十三章　博弈论语义学
第十四章　篇章表述理论
第十五章　研习文献
附录　形式语义学经典书目
参考书目
汉英译名对照表

《范畴类型逻辑》是“哲学宗教研究系列”之一，该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节，对范畴类型逻辑作了系统全面的介绍，具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。该书可供从事相关工作的人员作为参考用书使用。

《生成语法理论:标准理论到最简方案》内容简介：《生成语法理论》初版至今已经整整20年过去了，生成语法开创半个多世纪以来一直在不断发展，近20年又经历了巨大的变化。新版书名改为《生成语法理论：标准理论到最简方案》，新版的结构更凸显以生成语法历史发展为脉络。除了对初版的个别地方做些修订以外，新加了介绍后期原则与参数理论和最简方案的两个章节，并在哲学基础部分增添了介绍生物语言学的内容。读者希望更新知识，而且希望通过快捷而又舒坦的方式更新知识。我想，我知道读者要什么。

《乔姆斯基：思想与理想》一书并非乔姆斯基的人生传记，而是全面客观地介绍他的思想，如天赋论、刺激贫乏论、内在语言、心智主义等。对乔姆斯基的深邃见解有的学者投以赞赏，主动加入阵营；有的横加批判，敌意尽现。至于这些争议是否允当，全凭读者评判，公道自在人心。不过，阅读本书，更触动我们的是乔姆斯基突破常规、不断创新的精神，敢于挑战自我、否定自我的魄力，以及在捍卫民众权益时表现出的知识分子的责任感和正义感。

《语义学（第2版）》是国际学术出版社英国帕尔格雷夫麦克米伦出版的现代语言学教材，以深入浅出、浅显易懂的语言，对当代形式语义学的基本概念、研究工具和研究选题进行了详细的介绍，适合对形式语义学没有任何背景的读者。每章均提供精心设计的分级练习、讨论题和延展阅读，可以帮助学生体会和巩固每章内容，了解热门语义问题，拓宽视野，并通过问题展开的形式领会和掌握语义问题的解决方法和技能，也为教师组织课上讨论提供了丰富的选择。

《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法（也叫形式语义学或语言逻辑）教材。由荷兰五位逻辑学、语言学学者合作撰写，并共用“哈姆特”之名出版。
全书分为两卷，第一卷从分析自然语言的需要出发，系统地介绍了现代逻辑的基础部分（古典命题逻辑和谓词逻辑）、现代逻辑的变异部分（多值逻辑），以及进行形式语言学研究所需要的其他知识（语用学和形式文法等内容）。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍，它以自然语言语义研究为目的，主要介绍有关的思想背景。讲解深入浅出，很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透，精心介绍了相关的核心发展成果，加上丰富的例子，可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。

《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法（也叫形式语义学或语言逻辑）教材。由荷兰五位逻辑学、语言学学者合作撰写，并共用“哈姆特”之名出版。
全书分为两卷，第一卷从分析自然语言的需要出发，系统地介绍了现代逻辑的基础部分（古典命题逻辑和谓词逻辑）、现代逻辑的变异部分（多值逻辑），以及进行形式语言学研究所需要的其他知识（语用学和形式文法等内容）。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍，它以自然语言语义研究为目的，主要介绍有关的思想背景。讲解深入浅出，很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透，精心介绍了相关的核心发展成果，加上丰富的例子，可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。