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

发布时间：2025-02-11 17:23

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

【文章页数】：13 页

【文章目录】：
1 引言
2 多样的多宇宙观
3 形式主义的本体论立场
4 重构形式主义
5 形式主义视角下的多宇宙观
6 结束语



本文编号：4033598