本书详细介绍形式语义学的基本内容、主要技巧和方法，可供大学语言和语言学专业的高年级本科学生及硕士、博士生作研习、参考之用。对自然语言分析和处理感兴趣的计算机、数学、哲学、逻辑和人工智能专业的学生也可从本书中获得系统的语义学知识。在阅读此书之前，读者最好先学一门现代语言学导论课或读一本基础教科书，如Akmajian et al（1984）或Fr0瑚kin&R0d—mail（1993），也可上一门生成句法学导论课或读一本句法教科书，如Radford（1988）、徐烈炯（1988）或宋国明（1997）。如能看一下徐烈炯（1990／1996）和（1993）则更有帮助。
本书内容的取舍并非简单地照搬一些外文教科书，在章节安排上也力免陈袭他人。我们在书中注入了自己的理解和观点，并力求对汉语的语义结构做尝试性的形式化描写。故此，本书并不是一本求稳求全的教材，而是一…

蒋严，男，浙江海宁人，1962年生于北京。1984年获复旦大学英美语言文学学士学位，1987年获复旦大学现代英语硕士学位。1986至1989年在复旦大学外国语言文学系英语教研室任教。1989至1993年在伦敦大学的大学院（University College，London）和亚非学院（the School of Offenfal and AfficaIl Studies）两个语言学系学习。1995年获伦敦大学哲学博士学位，博士论文为Logical Dependency in Quantificatwn。1993年秋至今在香港理工大学中文及双语学系任教，现为该系副教授，兼任北京《当代语言学》、广州《现代外语》编委，湘潭《英语研究》特邀编审。研究兴趣包括语义学、语用学、语言哲学、自然语言逻辑、语篇分析、英语语法、翻译理论等。

评论

呃拿错书了，我应该读逻辑学而不是语义学……
从一个非语言学专业读者的角度来看，是本很好的书。
总体来说，书比较进阶，可以看作有一些形式语义淆基础后的扩展与复习（数理逻辑需要，但其实（乔氏）句法相关的倒并不需要多少）。难度其实也还好，主要优点（或者可能也是难点）是给出形式化表达和处理后，讲解比较充分，但书中大部分内容本身是比较基础，较前沿的拓展不多（就倒数几章难度会大些）//一到二章是背景基础，展开不多可以略过，三到八章，大部分内容是直接将汉语作为研究的对象语言来分析的，有些繁琐，但其实九章…
总体来说，书比较进阶，可以看作有一些形式语义淆基础后的扩展与复习（数理逻辑需要，但其实（乔氏）句法相关的倒并不需要多少）。难度其实也还好，主要优点（或者可能也是难点）是给出形式化表达和处理后，讲解比较充分，但书中大部分内容本身是比较基础，较前沿的拓展不多（就倒数几章难度会大些）//一到二章是背景基础，展开不多可以略过，三到八章，大部分内容是直接将汉语作为研究的对象语言来分析的，有些繁琐，但其实九章以后又回归到英语去叻。//九、十、十一有讲一些，将元语言中给定的模型M中的t，w等，引进对象语言直接进行运算，即对蒙太格式内涵逻辑的一个发展-一种两体类型论，挺有意思的，但还有些模糊，有空得再翻一下//不太好的地方的话，拓展的东西讲得比较粗，具体的模型和真值分析给得有些繁杂，最后一章DRT太概略了。
(