数学工具主义者对稀释问题的认识论分析

摘要：

希尔伯特工具主义者希望用理想数学替换实在数学,但这样的元数学替换策略会导致稀释问题,也就是理想证明量上的增加会引起实在证明中质上的减少.为了解决稀释问题,需要对有限主义进行深入的研究.这是有限证明的必要性.对哥德尔主义标准论证的反驳使得有限证明变得可能,这是有限证明的充分性.在反驳标准论证的过程中,也使得解决稀释问题变得可能.

关键词：希尔伯特工具主义者、无数学替换策略、稀释问题、哥德尔主义标准论证

所属期刊栏目：39

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

资助基金：国家社会科学基金16CZX050

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

页数：共8页

页码：48-55