元语言

元语言，在语义和哲学上，是用于分析对象语言（用于谈论世界上的对象的语言）的语言。因此，元语言可以被认为是关于另一种语言的一种语言。诸如哲学家鲁道夫·卡尔纳普（Rudolf Carnap）和波兰数学家阿尔弗雷德·塔斯基（Alfred Tarski）等哲学家认为，只有从句法框架的角度来看，才能解决哲学问题和哲学陈述。语义的逻辑决定了语句的真实性，而不是语句的非形式或实际含义。卡尔纳普认为，通过在元语言中使用符号表示法并遵守逻辑规则，有可能避免形而上学的判断，这在他的系统中根据定义是无效的。