H000228　逻辑语义学研究

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第5册语言、文字》第24页（327字）

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