基础数学真理何以形而上学必然?

摘要：

在有关模态的哲学问题中,数学真理常被哲学家们视作是形而上学必然的.然而由于弗雷格的逻辑还原并不成功,因此这实际上是缺少充分解释的.这篇论文将首先澄清形而上学必然性的准确含义,然后分别总结近年来出现的基于逻辑主义策略的、集合论基础主义策略的、数学实践承诺策略的三种不同的辩护基础数学真理的形而上学必然性的方案,最后指出三种辩护方案均需要不同程度的诉诸某种本质主义纲领来回避各自的困难,然而这并非是没有代价的.因此,如何完整的论证基础数学真理的形而上学必然性仍旧是一个亟待解决的问题.

关键词：形而上学必然性、逻辑主义、集合论基础主义、数学实践、本质主义

所属期刊栏目：38

分类号：N031(科学的方法论)

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

页数：共7页

页码：115-121