本书详细介绍形式语义学的基本内容、主要技巧和方法，可供大学语言和语言学专业的高年级本科学生及硕士、博士生作研习、参考之用。对自然语言分析和处理感兴趣的计算机、数学、哲学、逻辑和
人工智能专业的学生也可从本书中获得系统的语义学知识。在阅读此书之前，读者最好先学一门现代语言学导论课或读一本基础教科书，如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年秋至今在香港理工大学中文及双语学系任教，现为该系副教授，兼任北京《当代语言学》、广州《现代外语》编委，湘潭《英语研究》特邀编审。研究兴趣包括语义学、语用学、语言哲学、自然语言逻辑、语篇分析、英语语法、翻译理论等。