读 R. Cann 之 Formal Semantics: An Introduction

R. Cann, 蒋严. Formal Semantics: An Introduction. ISBN: 978-7-5100-1876-3

这本书虽然是以中文书的形式出版的，但本质上是一本英文书——出版社把英文原版书加了一个中文导读然后不加翻译地出版了这本书，所以这本书的 ISBN 编号显示这是一本中文书，但书中的主体内容是英文的。

本书所讲的是形式语义学。所谓语义学，是以语言的语义为研究对象的。因此这本书并不探讨琐碎的英文语法，而是试图探讨所有语言共有的语义结构，以辅助厘清语言的表义，澄清语言中的歧义。而“形式”一词则说明了其研究方法是借助于形式科学的方法，例如数理逻辑。说白了，形式语义学就是用数理逻辑方法分析自然语言语义结构的学科。由于最初提出这种研究思路的是 Richard Montague，这种语义研究也成为 Montague 语义学。

按照数理逻辑和分析哲学的一般观点，语言的语义被认为蕴含在组成语句的词汇及词汇关系中。而词汇的含义就是词汇的指涉。按照这个思路，本书第一章做一般性介绍后就在第二章介绍了谓词逻辑语义模型，将谓词和个体引入语义模型的研究中。随后又在第四章和第五章中用类型论的方式重新理解了谓词。第六章则介绍了用于修饰语句的量词。这些内容大致用到了数理逻辑中谓词逻辑、类型论和 Lambda Calculus 的知识来分析自然语言的语义。书中第三章关于否定与并列的论述则大致上是在用命题逻辑分析自然语言中的否定和并列连词的语义。

第七章相对独立于前几章的，它不再着眼于单个语句的语义，而是论述了自然语言的推理，大致用到了数理逻辑中有关推理证明的知识。第九章的可能世界模型则基本对应一般逻辑学书中模态逻辑。对于学逻辑学的人来说，第八章算是比较新鲜有趣的。因为这一章讲的是时态逻辑模型，并用这个模型分析了英语中的时态语法的语义。这在一般的逻辑学教程中是不涉及的。最后第十章介绍 Intensional Semantics，说实话这章我没太看懂，但导言说这一章介绍的叫“内涵语义学”，同时这一章对全书做了总结。

由于我并不太懂语义学，这本书只是囫囵吞枣过了一遍。不过从拓展视野的角度来说，这本书是挺好的，它让我了解到了一个和数理逻辑相关的非数学领域。

---

求点赞，求收藏，求分享

欢迎关注我的公众号，微信搜索：知则