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

【文章頁數(shù)】：13 頁

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



本文編號：4033598