元语言和对象语言

出处：按学科分类—哲学、宗教 广东人民出版社《哲学辞典》第45页（348字）

现代逻辑的概念。

当以自然语言和人工语言(例如，逻辑演算或具体科学理论的语言)为研究对象时，必须把所研究的、称作对象语言的语言与研究对象语言时用的语言区分开来。后者被称之为该对象语言的元语言。其中，用以表述某一元理论的语言也属元语言。不区分元语言和对象语言会造成各种悖论。一般来说，元语言应当包含：第一，表述对象语言的全部名字；第二，表述对象语言的各种结构特性和语义特性的方式，这种表述比对象语言更富于逻辑性。自然语言(日常语言、口语语言)或形式化语言都可以充当元语言。在后一种情况下，应当在第二级元语言上实现元语言的形式化。另一方面，在研究数学和逻辑(参见原数学，形式主义)原理的着作中，用有限(有限论)手段的窄狭范围来限定元语言乃是十分重要的。