艾尔布朗语义下的真谓词

艾尔布朗语义是一种不同于塔斯基语义的一阶语言解释。本文对艾尔布朗语义下的真理论进行初步探讨,试图比较艾尔布朗语义下和塔斯基语义下真谓词的异同。相同之处比如在两种语义下都可使用说谎者悖论得到塔斯基定理。不同的地方有:亚布鲁悖论在塔斯基非标准模型中可以得到满足,但是在艾尔布朗语义中却是不可满足的。此外,语言分层的思想在塔斯基语义中一般情况下难以扩展到超穷阶段,而在艾尔布朗语义中类似具有累积效应的分层甚至在第二阶段就必须终止。