逻辑语义学

出处：按学科分类—社会科学总论 中国青年出版社《社会科学学科辞典》第135页（1279字）

研究语言表达式与表达式的意义之间的关系的理论。

意义既指表达式所指示的对象(外延)，也包括符号的指谓意义。逻辑语义学所研究的是与逻辑演算的技术有关的问题，它以句法学为前提，撇开符号与客体、符号与人的关系，研究符号与思维反映的关系，研究符号表示的意义。它的重要课题是为构造理想语言提供条件。这样的构造可给自觉形成自然语言提出一种规范要求，也可给形成科学语言尤其是形式化语言提供精确的规则。

比如其中一个要求是建立这样一种语言状态，在这种状态中确立了符号与其意义的明确的可逆对应的关系，从而排除了一切歧义性。另一个要求是在应用特定符号时保持意义的恒定性。

由于逻辑语义学涉及对语言表达式的内涵的研究，为电子计算机识别自然语言提供了希望，受到计算机科学工作者的重视，对现代语言学的研究提供了基础。它关于指称、意义、真理和必然性等的分析，成了讨论和解决许多哲学问题的关键，也成为各学派进行哲学争论的焦点。

逻辑语义学的研究将有助于对西方哲学的分析研究、借鉴、批判。

逻辑语义学的某些因素，在古代斯多噶学派那里就可找到。

斯多噶学派确立了对语言所作的逻辑分析，建立了“Lecton”(即所意谓的东西)的理论。19世纪，弗雷格从考察专名和摹状词着手，对符号(名称)区分了它的涵义和所指，认为符号的涵义是所表达(意谓)的东西，符号的所指是符号所指的事物；然后进一步提出了外延论题：一个句子，当它包含的一个表达式由另一个具有同样意义(所指)的表达式(涵义可以不同)替换时，其真值不变。

罗素和怀特海的《数学原理》的问世，为逻辑语义学提供了有效的工具。塔尔斯基把解决真句子这个语词的精确定义问题作为逻辑语义学的基本问题。他是针对形式语言来建立他的理论的。他的语义理论是指形式语言的表达式和它所指示的对象之间的理论。

1933年，他发表了《形式语言中的真值概念》，把逻辑语义学专门用于：在一个形式的元语言中论述一种语言，后来被称为模型论，这是现代形式的逻辑语义学。此后，卡尔纳普确立了内涵和外延的方法，其最重要的一步是精确地定义了语言表达式(包括谓词、句子、个体)的外延和内涵，然后在这些精确概念的基础上进行研究，总结出相应的一些规律，且将它们用于分析一些实际问题。

克里普柯和蒙太古凭借对模态逻辑作的深入分析，对语言表达式的意义，特别是内涵提出了新的思想，并逐步付诸实行。克里普柯的重点在于名词的意义方面，其理论建立在对语言表达式的意义作出了新的模态逻辑语义学的分析基础之上。

蒙太古则建立了蒙太古语法，构成了对诸如英语这样的自然语言作语义研究的新框架，这是致力于把元数学材料应用于自然语言的语形、语义、语用研究的结果。逻辑语义学作为一门正在发展的新兴学科，受到我国学者的关注。

《逻辑语义学》，朱水林着，载王雨田主编《现代逻辑科学导引》(上册)，中国人民大学出版社1987年版。