Abstract
In his unpublished paper, the famous logician Kurt Gödel provided arguments in favor of the existence of God. These arguments are presented in a very formal way, which makes them difficult to understand to many interested readers. In this paper, we describe a simplifying modification of Gödel’s proof which will hopefully make it easier to understand. We also describe, in clear terms, why Gödel’s arguments are just that—arguments—and not a convincing proof.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Bjordal, F.A.: Understanding Gödel’s ontological argumen. In: Childers, T. (Ed.), The Logica Yearbook 1998, Prague 1999, pp. 214–217
Bjordal, F.A.: All properties are divine, or God exists. Logic and Logical Philosophy 27(3), 329–350 (2018)
Dawson, J.W., Jr.: Logical Dilemmas: The Life and Work of Kurt Godel. AK Peters, Wellesley, Massachusetts (1987)
Fitting, M.: Types, Tableaus, and Godel’s God. Kluwer Academic, Dordrecht (2002)
Gödel, K.: In: S. Feferman, J.W. Dawson Jr., W. Goldfarb, C. Parsons, Solovay, R.M. (Eds.), Unpublished Essays and Lectures, Collected Works III (1st ed.), Oxford University Press, Oxford, UK, 1995, pp. 403–404 and 429–437
Hazen, A.P.: On Gödel’s ontological proof. Australasian J. Philos. 76(3), 361–377 (1998)
Oppy, G.: Ontological argument, In: Zalta, E.N. (Ed.), Stanford Encyclopedia of Philosophy, downloaded on May 14, 2021
Wang, H.: Reflections on Kurt Gödel. MIT Press, Cambridge, Massachisetts (1987)
Wang, H.: A Logical Journey: from Gödel to Philosophy. MIT Press, Cambridge, Massachusetts (1996)
Acknowledgements
This work was supported in part by the National Science Foundation grants 1623190 (A Model of Change for Preparing a New Generation for Professional Practice in Computer Science), and HRD-1834620 and HRD-2034030 (CAHSI Includes). It was also supported by the program of the development of the Scientific-Educational Mathematical Center of Volga Federal District No. 075-02-2020-1478. The authors are greatly thankful to Anatol Slissenko and to all the participants of the Fifth St. Petersburg Days of Logic and Computability Conference (St. Petersburg, Russia, May 12–15, 2021) for valuable discussions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Kosheleva, O., Kreinovich, V. (2023). Gödel’s Proof of Existence of God Revisited. In: Ceberio, M., Kreinovich, V. (eds) Decision Making Under Uncertainty and Constraints. Studies in Systems, Decision and Control, vol 217. Springer, Cham. https://doi.org/10.1007/978-3-031-16415-6_33
Download citation
DOI: https://doi.org/10.1007/978-3-031-16415-6_33
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-16414-9
Online ISBN: 978-3-031-16415-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)