Deficiencies of Godel's Ontological Proof

被引：0

作者：

Szatkowski, Miroslaw ^{[1
,2
]}

机构：

[1] Warsaw Univ Technol, Philosophy, Warsaw, Poland

[2] Int Ctr Formal Ontol, Warsaw, Poland

来源：

QUO VADIS, METAPHYSICS?: ESSAYS IN HONOR OF PETER VAN INWAGEN | 2019年 / 81卷

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

In this paper we prove that: (i) Godel's axioms do not result in a thesis for the existence of God; and (ii) the thesis for the existence of God is inconsistent with Godel's axioms.

引用

页码：469 / 476

页数：8

共 50 条

[31] Criticism of ontological proof in Kant's early writings
Kotsyuba, VI
VOPROSY FILOSOFII, 1997, (11) : 163 - 174
[32] Development of the Ontological Proof of God's Existence and Tillich's Conception of the Ontological Type of Philosophy of Religion
Arbanas, Dubravko
FILOZOFSKA ISTRAZIVANJA, 2013, 33 (01): : 123 - 137
[33] THE ONTOLOGICAL PROOF OF THE DEVIL
RICHMAN, RJ
PHILOSOPHICAL STUDIES, 1958, 9 (04) : 63 - 64
[34] A Mechanised Proof of Godel's Incompleteness Theorems Using Nominal Isabelle
Paulson, Lawrence C.
JOURNAL OF AUTOMATED REASONING, 2015, 55 (01) : 1 - 37
[35] AN AUTOMATIC PROOF OF GODEL INCOMPLETENESS THEOREM
AMMON, K
ARTIFICIAL INTELLIGENCE, 1993, 61 (02) : 291 - 306
[36] Incompleteness: The proof and paradox of Kurt Godel
Taylor, I
NEW YORK TIMES BOOK REVIEW, 2006, : 24 - 24
[37] A Note on Godel, Priest and Naive Proof
Carrara, Massimiliano
Martino, Enrico
LOGIC AND LOGICAL PHILOSOPHY, 2021, 30 (01) : 79 - 96
[38] Proof Systems for a Godel Modal Logic
Metcalfe, George
Olivetti, Nicola
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 265 - +
[39] Incompleteness: The proof and paradox of Kurt Godel
Davis, M
NATURE, 2005, 435 (7038) : 19 - 20
[40] Proof Systems for Godel Logics with an Involution
Avron, Arnon
2021 IEEE 51ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2021), 2021, : 68 - 73

← 1 2 3 4 5 →