朱水林主编。
上海教育出版社1992年8月版。26.8万字。
由逻辑学、语言学、哲学、计算机科学等方面的研究工作者,围绕逻辑语义学主题撰写。共9章:第一章引言;第二章弗雷格:逻辑语义学缘起;第三章塔斯基的外延语义理论;第四章卡尔纳普的外延内涵方法;第五章克里普克的可能世界语义学;第六章蒙太古语法;第七章入-演算与组合逻辑;第八章人工智能涉及的某些语义问题;第九章语言学中的逻辑语义研究。
附录逻辑语义学和论证逻辑体系的认识论前提。前6章可以看作一个整体,较系统地论述逻辑语义学的基本理论和近期进展。
后3章是扩充,分别阐述作为一阶逻辑和高阶逻辑的归约的入-演算,与人工智能理论,当代语言学有关的逻辑语义理论。