| 元语言 metalanguage 用来研究和讲述对象语言的语言。与“对象语言”相对。用汉语去研究和讲述英语时，英语是对象语言，汉语就是元语言。在数理逻辑中，被讨论的形式系统或逻辑演算是对象语言，而讨论逻辑演算时使用的语言就是元语言。对象语言是用来谈论外界对象的性质及其相互关系的语言，它的词汇主要包括指称外界对象的名称以及指称外界对象的性质和关系的谓词，是第一层次的语言。元语言是用来谈论对象语言的语言，它的词汇包括指称对象语言的名称以及指称对象性质的谓词(“真”或“假”)，是比对象语言高一个层次的语言。对语言的这种区分，是由希尔伯特和塔尔斯基等人在建立证明论和解决悖论时提出的。塔尔斯基指出：人们必须记住被分析的语言(对象语言)和在其中进行分析的那种语言(元语言)之间的区别。他还认为，悖论的出现，是由于“语义的封闭性”，要排除这种封闭性，则对象语言不能在自身中讨论它的语句的意义或真假，而必须用元语言来讨论，因而需要有语言的层次。对象语言和元语言的区分是塔尔斯基真理论的基本出发点，也是卡尔纳普逻辑句法研究的一个出发点。元语言还可以分为语法元语言和语义元语言。在研究语言的形式结构时以及逻辑演算中证明的语法有效性时，使用的是语法元语言;而在研究语言的意义或解释时，使用的是语义元语言。对象语言和元语言的区别是相对的。在一种场合下为元语言者，如果在另一种场合下是作为被讨论的对象，则它便成为对象语言;反之，在一种场合下为对象语言者，如果在另一场合下是作为讨论别的对象语言的语言，则它便成为元语言。讨论元语言时使用的语言叫做元元语言。 |