泛指研究建立在表达式的内涵分析基础上的逻辑学科。传统逻辑和经典数理逻辑主要是从外延方面来研究表达式及其推理的。赋值、满足、真假、推理等的分析都是建立在表达式的外延分析基础上的。因此，通常称之为外延逻辑。在有的非经典逻辑系统中，外延论题不成立。如，从“Fa”和“a=b”可推出“Fb”，但是从“甲知道Fa”和“a=b”，却不能推出“甲知道Fb”。因为后一个推理不仅涉及到a与b的外延，而且涉及到它们的内涵，涉及到“知道”的涵义以及知道者的认识。这样的逻辑系统称为内涵逻辑。模态逻辑、认知逻辑、相信逻辑等都属于内涵逻辑。一般认为，刘易斯建立的模态逻辑、卡尔纳普提出的外延内涵方法和蒙塔古创立的蒙塔古语法等是内涵逻辑发展进程中的重要标志。
对象语言(语言)：指被研究和讨论的语言。对象语言可以是自然语言，也可以是人工语言，如某种形式语言或符号。用来讨论或陈述某种对象语言的语言叫元语言或语法语言。元语言可以是自然语言，也可以是某种特定的科学技术语言。..
预设(语言)：使一个命题或语句具有真值或能够成立的条件。它是有效交际中双方共同接受的事实或命题。判定个命题是否是其他命题的预设，一般可用“否定检验法”：命题p是命题q的预设，当且仅当，q真时p真，q假时p也真。p真是q真或..
自然语言逻辑(语言)：也叫“自然逻辑”、“语言逻辑”。现代语言学和现代逻辑学相结合而产生的一门边缘学科。研究自然语言中的逻辑问题由来已久。从某种意义上讲，传统逻辑就是古典的自语言逻辑。中世纪的逻辑学就被称为..
逆关系(语言)：逻辑学术语。如果S(y，x)真时，R(x，y)必真，则关系R是关系S的逆关系。自然语言中“…的双亲”关系是“…的孩子”关系的逆关系。被动语态中的一个谓词(如“被看到”)可以看作主动语态中的谓词(如“看到”)的逆关..
关系的自返性(语言)：关于关系项与其自身的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中任意一个个体x与其自身是否具有关系R。有三种情况：如果x与其自身都具有关系R(即“xRx”为真)，则称关系R..