Symbolic AI and Gödel's Ontological Argument
Faculty/Professorship: | AI Systems Engineering |
Author(s): | Benzmüller, Christoph ![]() |
Title of the Journal: | Zygon : Journal of Religion and Science |
ISSN: | 1467-9744, 0591-2385 |
Publisher Information: | John Wiley & Sons, Inc |
Year of publication: | 2022 |
Issue: | Online First |
Pages: | 1-10 |
Language(s): | English |
DOI: | 10.1111/zygo.12830 |
Abstract: | Over the past decade, variants of Gödel's ontological arguments have been critically examined using modern symbolic AI technology. Computers have unearthed new insights about them and even contributed to the exploration of new, simplified variants of the argument, which now need to be further investigated by theologians and philosophers. In this article, I provide a brief, informal overview of these contributions and engage in a discussion of the possible future role of AI technology for the rigorous assessment of arguments in theology and philosophy. |
GND Keywords: | Künstliche Intelligenz; Metaphysik; Ontologie; Information; Interdisziplinarität |
Keywords: | artificial intelligence, metaphysics, ontology, information, interdisciplinarity |
DDC Classification: | 004 Computer science |
RVK Classification: | SK 130 |
Peer Reviewed: | Ja |
International Distribution: | Ja |
Open Access Journal: | Ja |
Type: | Article |
URI: | https://fis.uni-bamberg.de/handle/uniba/55552 |
Release Date: | 15. September 2022 |

originated at the
University of Bamberg
University of Bamberg