元语言

元语言,在语义和哲学,语言用于分析目标语言(用来谈论世界上物体的语言)。因此，元语言可以被认为是关于另一种语言的语言。比如德国出生的逻辑实证主义者鲁道夫Carnap而且阿尔弗雷德好波兰出生的数学家，他认为哲学问题和哲学命题只有在语法框架下才能得到解决。语义学的逻辑决定了一个陈述的真实性，而不是陈述的非正式或实际的，意义．卡尔纳普认为，通过在元语言中使用符号表示法，并遵循逻辑规则，可以避免这种情况形而上学的在他的体系中，根据定义，判决是无效的。