塔尔斯基语义学与柏拉图主义数学观

当代认识论中有哲学家把知识作为基本概念,不再用"真"、"指称"来解释知识;相反他们用知识解释其他认识论的概念,比如"指称"。数学知识作为基本的概念,可证是数学真理的标准。柏拉图主义的数学观有两类,一类是不必预设独立于心灵的数学本体论的柏拉图主义,另一类是预设数学本体论的柏拉图主义。不预设本体论的柏拉图主义与塔尔斯基语义学并不冲突,这是因为塔尔斯基语义学关注的是对象语言与元语言的翻译,而不是数学的"真";塔尔斯基定理论述的不是数学真理与可证的数学真理的区别而是一阶理论的局限。