①也叫“纯语义学”。研究语言表达式与表达式意义之间关系的科学。这里的意义，既包括表达式的所指或外延，又包括表达式的涵义或内涵。它围绕着什么是表达式的意义而展开对逻辑形式系统中符号解释的研究。它要解决的主题是：一个表达式的意义是按什么方法确定的。由于对表达式意义的解释及其处理方式的不同，逻辑语义学有许多不同的类型，如真值条件语义学、可能世界语义学、模式－理论语义学等。②符号学的一个主要分支。主要研究符号与思维反映之间的关系，即研究语言符号与其意义之间的普遍关系，而不研究特定语言的语词、语句等的表义功能。参见“哲学语义学”、“语义学”。
合取式(语言)：用合取真值联结词“”联结两个或两个以上的命题而成的真值形式。构成合取式的支命题称为合取支或合取项，用p、q、r等表示。合取式一般记为pq，读作“p合取q”。合取式的逻辑性质取决于“合取”这一真值联结..
命题逻辑(语言)：形式逻辑较简单、较基本的组成部分。它不考虑把命题分析成个体词、谓词和量词等非命题成分的组合，只研究由命题和命题联结词构成的复合命题，特别是研究命题联结词的逻辑性质和推理规律，所以命题逻辑有时又..
真值表(语言)：数理逻辑中用以定义命题联结词并确定复合命题真值的一种图表。它能显示一个复合命题(或真值形式)在它的大命题(或真值变项)的各种真值组合下所取的真值。如复合命题”p并且q”的真值形式一般写作pq。其变..
逻辑语形学(语言)：也叫“逻辑句法学”、“逻辑语法学”。研究逻辑形式系统中语言表达式之间关系的科学。它对表达式的研究是独立于任何解释的，只考虑符号的形状和空间排列关系。它要解决的主题是：逻辑形式系统中的一个表..
否定式(语言)：用否定真值联结词””联结命题组成的真值形式。否定式一般记为p，读为”并非p”，其中p是被否定的命题，称为否定支。一个否定式为真，当且仅当，其否定支为假。否定真值联结词可用真值表来定义： 由真值表可知，否定..