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

摘要：

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

关键词：符合论、客观性、柏拉图主义、塔尔斯基语义学

所属期刊栏目：32

分类号：N02(科学的哲学原理)

资助基金：中国人民大学科学研究基金项目“自然主义世界观下的表征理论、语义理论及其逻辑应用”13XNJ047

在线出版日期：2015-07-13（万方平台首次上网日期，不代表论文的发表时间）

页码：11-16