數學對象的實在性問題一直是數學哲學中爭論的焦點。作為二十世紀數學基礎三大流派之一的形式主義常常被認為是反實在論的;而新近頗受矚目的多宇宙觀則似乎應持有實在論立場。本文試圖論證,形式主義的要義或許在于形式系統(tǒng)以及元數學,因此經過某種重構后的形式主義在本體論上可以是中立的;另一面,多宇宙觀中的核心概念則可視為理想元,因而多宇宙觀可以納入到這一新的形式主義框架中;進而,這兩者的結合可以支持、推動當前的數學實踐甚至創(chuàng)造新的數學實踐形式。

【文章頁數】：13 頁

【文章目錄】：
1 引言
2 多樣的多宇宙觀
3 形式主義的本體論立場
4 重構形式主義
5 形式主義視角下的多宇宙觀
6 結束語



本文編號：4033598