集合论多宇宙观与形式主义

发布人：网站编辑发布日期：2023-09-04

逻辑学研究 2020 年第 5 期， 11–23 文章编号： 1674-3202(2020)-05-0011-13
作者：裘江杰

摘要： 数学对象的实在性问题一直是数学哲学中争论的焦点。作为二十世纪数学基础三大流派之一的形式主义常常被认为是反实在论的；而新近颇受瞩目的多宇宙观则似乎应持有实在论立场。本文试图论证，形式主义的要义或许在于形式系统以及元数学，因此经过某种重构后的形式主义在本体论上可以是中立的；另一面，多宇宙观中的核心概念则可视为理想元，因而多宇宙观可以纳入到这一新的形式主义框架中；进而，这两者的结合可以支持、推动当前的数学实践甚至创造新的数学实践形式。