Multiverse conceptions in set theory

被引:19
作者
Antos, Carolin [1 ]
Friedman, Sy-David [1 ]
Honzik, Radek [1 ,2 ]
Ternullo, Claudio [1 ]
机构
[1] KGRC, Vienna, Austria
[2] Charles Univ Prague, Prague, Czech Republic
基金
奥地利科学基金会;
关键词
Set theory; Universe of sets; Set-theoretic multiverse; Hyperuniverse programme; New axioms of set theory; MATHEMATICS NEED;
D O I
10.1007/s11229-015-0819-9
中图分类号
N09 [自然科学史]; B [哲学、宗教];
学科分类号
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要
We review different conceptions of the set-theoretic multiverse and evaluate their features and strengths. In Sect. 1, we set the stage by briefly discussing the opposition between the 'universe view' and the 'multiverse view'. Furthermore, we propose to classify multiverse conceptions in terms of their adherence to some form of mathematical realism. In Sect. 2, we use this classification to review four major conceptions. Finally, in Sect. 3, we focus on the distinction between actualism and potentialism with regard to the universe of sets, then we discuss the Zermelian view, featuring a 'vertical' multiverse, and give special attention to this multiverse conception in light of the hyperuniverse programme introduced in Arrigoni and Friedman (Bull Symb Logic 19(1):77-96, 2013). We argue that the distinctive feature of the multiverse conception chosen for the hyperuniverse programme is its utility for finding new candidates for axioms of set theory.
引用
收藏
页码:2463 / 2488
页数:26
相关论文
共 42 条
  • [1] [Anonymous], TRUTH MATH
  • [2] [Anonymous], 1990, Collected Works. II: Publications 1938-1974.
  • [3] [Anonymous], 1999, PHILOS MATH
  • [4] THE HYPERUNIVERSE PROGRAM
    Arrigoni, Tatiana
    Friedman, Sy-David
    [J]. BULLETIN OF SYMBOLIC LOGIC, 2013, 19 (01) : 77 - 96
  • [5] A PLATONIST EPISTEMOLOGY
    BALAGUER, M
    [J]. SYNTHESE, 1995, 103 (03) : 303 - 325
  • [6] Balaguer M, 1998, Platonism and anti-platonism in mathematics
  • [7] Barwise J., 1975, PERSPECTIVES MATH LO
  • [8] Dales H.G., 1998, TRUTH MATH
  • [9] Ewald W., 1996, KANT HILBERT SOURCE, VII
  • [10] Does mathematics need new axioms?
    Feferman, S
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1999, 106 (02) : 99 - 111