【摘要】 "算术概念的确定性论题"是数学哲学中一个备受争议的问题,争议主要集中于其意义是否具有确定性。围绕这个问题形成了以柏拉图主义、语形主义、语义主义或语用主义为依据的赞成派和以模型论论证为根据的反对派。赞成派认为,柏拉图主义等四种观点提供了算术概念确定性的根据;反对派则否认它们可以提供这种可靠的支持。它们的根本分歧在于"算术概念的确定性论题是否会导致它的语义解释的无穷倒退"。经分析发现,赞成派只是获得了确定性论题的反事实条件句,不能克服确定性论题语义解释的无穷倒退。由此可见,为了获得真正的确定性论题,不仅要明确"算术概念意义的确定性"本质上关系到对"什么是算术概念的意义以及如何确定它的意义"这个基本问题的解答,还要进一步探索模型论论证有哪些隐含假设对确定性论题的挑战是实质性的。更多还原