表达式之间的一种内涵关系。两个表达式是内涵同构的，(即内涵具有相同结构)，当且仅当，它们是由对应的具有相同内涵的成分表达式，按同一方式建立起来的。如：“2 5”和“Ⅱ加V”，这两个表达式是内涵同构的。因为它们不仅作为整体的“7”与“Ⅶ”是内涵相同的，而且其三个组成部分也是内涵相同的，并且是按同一方式组成整体的。其中“ ”与“加”是相同的函数运算，“2”与“Ⅱ”、“5”与“V”也内涵相同。在语言文字翻译的精确性方面，内涵同构是比内涵相同更高的标准。运用内涵同构概念，有利于恰当分析同义性、综义性、分析悖论、信念句等问题。
时态命题(语言)：由时态语句表达的命题。简单时态命题的构成方式是：时态命题=时态算子 原子命题。在汉语现在时语句中往往不用现在时态词，因此现在时算子(T)可省去。这样，时态命题的基本形式有四种：⑴过去时命题Pp，读作“情..
信念句(语言)：包含“相信”、“似相信”等信念词的复合句。如：“达尔文相信物种是进化的。”如以B为信念词，a为相念主体，p为信念子句，则信念句的一般形式可记为：Bap，读作a相信p。由于一个命题是否被相信与这个命题事实上的真..
外延论题(语言)：复合句中部分表达式的置换原理。一个语句或命题，当它包含的一个表达式，由另一个具有同样指称而不同涵义的表达式替换时，其真值不变。如，在⑴“鲁迅是中国人”中用“《阿Q正传》的作者”去替换“鲁迅”，得到..
索引词(语言)：需要借助语境来确定其所指的词语。美国逻辑学家皮尔斯(Charles Sanders Peirce)于十九世纪提出，指英语中的代词、时态动词一类语词。就汉语而言，索引词主要指“我”、“你”、“他”等称谓代词，“这”、“那..
内涵逻辑(语言)：泛指研究建立在表达式的内涵分析基础上的逻辑学科。传统逻辑和经典数理逻辑主要是从外延方面来研究表达式及其推理的。赋值、满足、真假、推理等的分析都是建立在表达式的外延分析基础上的。因此，通常称..