对象语言与元语言

对象语言与元语言（object language vs. metalanguage），哲学-哲学-逻辑学-逻辑，语言的两个层次。A.塔尔斯基和R.卡尔纳普分别于1933年和1934年提出来的。对象语言与元语言是相对而言的，作为被研究对象的语言是对象语言，而用于描述、研究对象语言的特征和性质的语言是元语言。假设L0是某一种自然语言或人工语言，则用于讨论或描写L0的特征性质的语言L1就是元语言，而L0是对象语言。