本书详细介绍形式语义学的基本内容、主要技巧和方法,可供大学语言和语言学专业的高年级本科学生及硕士、博士生作研习、参考之用。对自然语言分析和处理感兴趣的计算机、数学、哲学、逻辑和人工智能专业的学生也可从本书中获得系统的语义学知识。在阅读此书之前,读者最好先学一门现代语言学导论课或读一本基础教科书,如Akmajian et al(1984)或Fr0瑚kin&R0d—mail(1993),也可上一门生成句法学导论课或读一本句法教科书,如Radford(1988)、徐烈炯(1988)或宋国明(1997)。如能看一下徐烈炯(1990/1996)和(1993)则更有帮助。本书内容的取舍并非简单地照搬一些外文教科书,在章节安排上也力免陈袭他人。我们在书中注入了自己的理解和观点,并力求对汉语的语义结构做尝试性的形式化描写。故此,本书并不是一本求稳求全的教材,而是一本讨论性、探索性的论著。当然,作为导论性教科书,本书介绍的许多方面无法深入详谈,技术上也不一定代表最新最好的解决方法。我们在书中提出了问题,找到了部分答案,但是留下了更多的研究空间让读者去遨游驰骋。