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