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

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