指被研究和讨论的语言。对象语言可以是自然语言，也可以是人工语言，如某种形式语言或符号。用来讨论或陈述某种对象语言的语言叫元语言或语法语言。元语言可以是自然语言，也可以是某种特定的科学技术语言。如用汉语来陈述命题演算，“p→q”是一个合式公式。这里，对象语言是其中使用的符号语言，而汉语则是元语言。对象语言与元语言的区别是相对的。当用汉语讨论英语时，汉语是元语言，英语则是对象语言。当用英语讨论汉语时，英语则是元语言，而汉语是对象语言。一般说，表现对象语言和元语言的是两种不同的语言，但有时它们也可以表现为同一种语言，如用汉语讨论汉语语法时，汉语就既是对象语言又是元语言。讨论元语言的语言称为元元语言。
预设(语言)：使一个命题或语句具有真值或能够成立的条件。它是有效交际中双方共同接受的事实或命题。判定个命题是否是其他命题的预设，一般可用“否定检验法”：命题p是命题q的预设，当且仅当，q真时p真，q假时p也真。p真是q真或..
自然语言逻辑(语言)：也叫“自然逻辑”、“语言逻辑”。现代语言学和现代逻辑学相结合而产生的一门边缘学科。研究自然语言中的逻辑问题由来已久。从某种意义上讲，传统逻辑就是古典的自语言逻辑。中世纪的逻辑学就被称为..
内涵语境(语言)：内涵逻辑的基本概念。一个表达式有外延，也有内涵。人们使用一个表达式，有时既涉及其内涵又涉及其外延，有时则仅涉及其内涵，有时又仅涉及其外延。如果一个语境提供的是关于某语言表达式的内涵，该语境为该表达..
关系的自返性(语言)：关于关系项与其自身的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中任意一个个体x与其自身是否具有关系R。有三种情况：如果x与其自身都具有关系R(即“xRx”为真)，则称关系R..
关系的传递性(语言)：关于三个或三个以上关系项之间的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中的三个任意个体x、y、z，当x对y具有关系R并且y对z具有关系R时，x对z是否具有关系R。有三种情况：..