内涵逻辑的基本概念。一个表达式有外延，也有内涵。人们使用一个表达式，有时既涉及其内涵又涉及其外延，有时则仅涉及其内涵，有时又仅涉及其外延。如果一个语境提供的是关于某语言表达式的内涵，该语境为该表达式的内涵语境。如果一个语境提供的是关于某语言表达的外延，该语境为该表达式的外延语境。如：⑴张明在想象未婚妻。⑵张明在亲吻未婚妻。例⑴在不同的*可能世界里可以有不同的情形。在一个可能世界里，张明确有未婚妻，那么张明的“未婚妻”指谓一个特定的个体在另一个可能世界里，张明却还没有未婚妻，他只是在头脑里构造有如此这般特性的未婚妻形象，这时张明的“末婚妻”只有内涵。对例⑴中“未婚妻”的两种不同解释，正在于它处于两种不同的语境：前者提供的是外延语境，后者提供的是内涵语境。对例⑵则不能有两种解释，因为例⑵提供的只是“未婚妻”的外延语境。例⑵如是真的，则张明的未婚妻必存在。
逆关系(语言)：逻辑学术语。如果S(y，x)真时，R(x，y)必真，则关系R是关系S的逆关系。自然语言中“…的双亲”关系是“…的孩子”关系的逆关系。被动语态中的一个谓词(如“被看到”)可以看作主动语态中的谓词(如“看到”)的逆关..
关系的自返性(语言)：关于关系项与其自身的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中任意一个个体x与其自身是否具有关系R。有三种情况：如果x与其自身都具有关系R(即“xRx”为真)，则称关系R..
关系的传递性(语言)：关于三个或三个以上关系项之间的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中的三个任意个体x、y、z，当x对y具有关系R并且y对z具有关系R时，x对z是否具有关系R。有三种情况：..
文恩图解(语言)：也译”凡恩图解”。由英国逻辑学家文恩于1880年创造的一种图解方法。文恩图的基本形式是根据需要在一矩形中画一个或若干个都相交叉的曲线形，通常是用两、三个圆圈，如图1所示，文恩图解不同于欧拉图解之处..
谓词逻辑(语言)：形式逻辑的最根本部分。也是最基本的逻辑系统或理论。谓词逻辑把命题逻辑作为子系统。除研究复合命题的命题形式、命题联结词的逻辑性质和规律外，还把命题分析成个体词、谓词和量词等非命题成分，并集中研..