Automating Godel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers

被引：30

作者：

Benzmueller, Christoph ^{[1
]}

Paleo, Bruno Woltzenlogel ^{[2
]}

机构：

[1] Free Univ Berlin, Berlin, Germany

[2] Vienna Univ Technol, Vienna, Austria

来源：

21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014) | 2014年 / 263卷

基金：

新加坡国家研究基金会;

关键词：

SIMPLIFICATION;

D O I：

10.3233/978-1-61499-419-0-93

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Kurt Godel's ontological argument for God's existence has been formalized and automated on a computer with higher-order automated theorem provers. From Godel's premises, the computer proved: necessarily, there exists God. On the other hand, the theorem provers have also confirmed prominent criticism on Godel's ontological argument, and they found some new results about it. The background theory of the work presented here offers a novel perspective towards a computational theoretical philosophy.

引用

页码：93 / +

页数：2

共 50 条

[1] IS THE ONTOLOGICAL PROOF FOR GOD'S EXISTENCE AN ONTOLOGICAL PROOF FOR GOD'S EXISTENCE?
Tkaczyk, March.
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2007, 16 (04) : 289 - 309
[2] DESCARTES'S ONTOLOGICAL PROOF OF GOD'S EXISTENCE
Wee, Cecilia
[J]. BRITISH JOURNAL FOR THE HISTORY OF PHILOSOPHY, 2012, 20 (01) : 23 - 40
[3] Godel's ontological Proof of God in the Context of Systematic Theology
Alles, Thorben
[J]. NEUE ZEITSCHRIFT FUR SYSTEMATISCHE THEOLOGIE UND RELIGIONSPHILOSOPHIE, 2020, 62 (01): : 1 - 40
[4] Godel's Second Theorem and the Provability of God's Existence
Buzaglo, Meir
[J]. LOGICA UNIVERSALIS, 2019, 13 (04) : 541 - 549
[5] On Godel's ontological proof
Hazen, AP
[J]. AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1998, 76 (03) : 361 - 377
[6] Deficiencies of Godel's Ontological Proof
Szatkowski, Miroslaw
[J]. QUO VADIS, METAPHYSICS?: ESSAYS IN HONOR OF PETER VAN INWAGEN, 2019, 81 : 469 - 476
[7] THE DEVELOPMENT OF GoDEL'S ONTOLOGICAL PROOF
Kanckos, Annika
Lethen, T. I. M.
[J]. REVIEW OF SYMBOLIC LOGIC, 2021, 14 (04): : 1011 - 1029
[8] Is There a God?-an Examination of Anselm's Ontological Proof of God's Existence with Kant's Refutation
Cheng Jing
[J]. INTERNATIONAL JOURNAL OF SINO-WESTERN STUDIES, 2014, 6 : 13 - 24
[9] Magari and others on Godel's ontological proof
Hajek, P
[J]. LOGIC AND ALGEBRA, 1996, 180 : 125 - 135
[10] TWO TYPES OF ONTOLOGICAL FRAME AND GODEL'S ONTOLOGICAL PROOF
Galvan, Sergio
[J]. EUROPEAN JOURNAL FOR PHILOSOPHY OF RELIGION, 2012, 4 (02): : 147 - 168

← 1 2 3 4 5 →