GODEL'S GOD-LIKE ESSENCE

被引:0
|
作者
Leven, Talia [1 ]
机构
[1] Open Univ Israel, Dept Comp Sci, Levinsky Coll Educ, Tel Aviv, Israel
关键词
God-like; Godel's Program; Essence; Positive Property; Primitive Property; Complete Set of Axioms;
D O I
暂无
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
In the 1970s, the great logician Kurt Godel proposed an argument for the existence of what he called "Godlikeness". At the time, Godel wished to rescue David Hilbert's program, which he knew was impossible because of his own incompleteness theorems. Godel named his new program "Godel's Program". In this paper I argue that the cumulative hierarchy of sets V could play the role of Godlikeness, meaning that V could play the role of Godel's central monad. Thus, proving the existence of Godlikeness actually means proving the existence of the cumulative hierarchy of sets V. According to Godel there is a connection between epistemology, ontology and formal systems. If something exists, we will someday have the ability to recognize it. Therefore, it is reasonable to conclude that the ability to know the complete set of axioms of the cumulative hierarchy of sets V, which I attempt to show is the God-like essence, is an argument in favor of the success of Godel's Program.
引用
收藏
页码:1021 / 1036
页数:16
相关论文
共 50 条
  • [11] On Logic Embeddings and Godel's God
    Benzmueller, Christoph
    Paleo, Bruno Woltzenlogel
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES (WADT 2014), 2015, 9463 : 3 - 6
  • [12] THE GOD-LIKE MAN VERSUS THE BEST LAWS - POLITICS AND RELIGION IN ARISTOTLE POLITICS
    LINDSAY, TK
    REVIEW OF POLITICS, 1991, 53 (03): : 488 - 509
  • [13] God-like robots: the semantic overlap between representation of divine and artificial entities
    Nicolas Spatola
    Karolina Urbanska
    AI & SOCIETY, 2020, 35 : 329 - 341
  • [14] God-like robots: the semantic overlap between representation of divine and artificial entities
    Spatola, Nicolas
    Urbanska, Karolina
    AI & SOCIETY, 2020, 35 (02) : 329 - 341
  • [15] Godel's Second Theorem and the Provability of God's Existence
    Buzaglo, Meir
    LOGICA UNIVERSALIS, 2019, 13 (04) : 541 - 549
  • [16] Kurt Godel and God
    Dweck, Yaacob
    TLS-THE TIMES LITERARY SUPPLEMENT, 2011, (5663): : 6 - 6
  • [17] GOD, DEVIL, AND GODEL
    BENACERRAF, P
    MONIST, 1967, 51 (01): : 9 - 32
  • [18] Godel and Godel-type universes in k-essence theory
    da Silva, J. G.
    Santos, A. F.
    EUROPEAN PHYSICAL JOURNAL PLUS, 2020, 135 (01):
  • [19] Terrible dreams of creative power: The question of No. 44 (On the god-like child of Twain's unfinished The 'Mysterious Stranger manuscripts')
    Royal, DP
    STUDIES IN THE NOVEL, 1999, 31 (01) : 44 - 59
  • [20] Godel's ontological Proof of God in the Context of Systematic Theology
    Alles, Thorben
    NEUE ZEITSCHRIFT FUR SYSTEMATISCHE THEOLOGIE UND RELIGIONSPHILOSOPHIE, 2020, 62 (01): : 1 - 40