逻辑语义学

---

逻辑学中研究语言表达式之意义的一个部分；从更确切的意义上说，是元逻辑中研究逻辑演算(参见形式化语言)之解释(参见解释和模型)的一个部分。

逻辑语义学的主要概念可分为两组：(1)属于所谓能指理论的概念，要将这些概念应用到这种语言的表达式中，本质上取决于选择解释(真实性概念、标记概念、可实现性概念、命名(参见名)概念、外延概念、综合真实性概念等)；(2)属于所谓涵义理论的概念(意义和涵义、同义性、分析真实性等)，以及为该语言的全部解释所确定的概念。在有必要对形式化语言作元理论的(参见元理论)研究时，必须进行语义分析，因为许多极为重要的事实(例如，与语言的完全性和无矛盾性的问题有关的事实)不可能在纯粹语法研究(参见逻辑语法)的范围内确定下来。由于数学语言学——机器翻译等的发展，对科学语言和自然语言的语义特性的研究正获得越来越大的实用意义。