Ideal Objects for Set Theory

被引：3
作者：
Jockwich, Santiago [1 ]
Tarafder, Sourav [2 ]
Venturi, Giorgio [1 ]
机构：
[1] Univ Estadual Campinas, UNICAMP, Dept Philosophy, Barao Geraldo, SP, Brazil
[2] St Xaviers Coll, 30 Mother Teresa Sarani, Kolkata 700016, India
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 2022年 / 51卷 / 03期
基金：
巴西圣保罗研究基金会;
关键词：
Set theory; Existence; Contradictory objects; Hilbert's ideal elements; ZFC;
D O I：
10.1007/s10992-021-09642-4
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
In this paper, we argue for an instrumental form of existence, inspired by Hilbert's method of ideal elements. As a case study, we consider the existence of contradictory objects in models of non-classical set theories. Based on this discussion, we argue for a very liberal notion of existence in mathematics.
引用
收藏
页码：583 / 602
页数：20
相关论文
共 22 条
  • [1] [Anonymous], 2006, contradiction: a study of the transconsistent
  • [2] [Anonymous], 2007, SELL CONTRADICTION
  • [3] UNIVERSISM AND EXTENSIONS OF V
    Antos, Carolin
    Barton, Neil
    Friedman, Sy-David
    [J]. REVIEW OF SYMBOLIC LOGIC, 2021, 14 (01) : 112 - 154
  • [4] Multiverse conceptions in set theory
    Antos, Carolin
    Friedman, Sy-David
    Honzik, Radek
    Ternullo, Claudio
    [J]. SYNTHESE, 2015, 192 (08) : 2463 - 2488
  • [5] Bagaria, 2004, NATURAL AXIOMS SET T, V19
  • [6] Forcing and the Universe of Sets: Must We Lose Insight?
    Barton, Neil
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2020, 49 (04) : 575 - 612
  • [7] Bell John L., 2005, SET THEORY BOOLEAN V, Vthird
  • [8] Boolos G., 1971, Journal of Philosophy, V68, P215, DOI [DOI 10.2307/2025204, 10.2307/2025204]
  • [9] Hilbert D, 1967, FREGE GODEL SOURCE B, P369
  • [10] Concerning infinity
    Hilbert, D
    [J]. MATHEMATISCHE ANNALEN, 1926, 95 : 161 - 190
123