Symbolic AI and Gödel's Ontological Argument

Faculty/Professorship: AI Systems Engineering 
Author(s): Benzmüller, Christoph  
Publisher Information: Bamberg : Otto-Friedrich-Universität
Year of publication: 2022
Pages: 1-9
Source/Other editions: Zygon : Journal of Religion and Science. (2022), Online First. - DOI: 10.1111/zygo.12830
is version of: 10.1111/zygo.12830
Language(s): English
Licence: Creative Commons - CC BY - Attribution 4.0 International 
URN: urn:nbn:de:bvb:473-irb-547934
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   
Type: Article
Release Date: 11. November 2022

File Description SizeFormat  
fisba54793.pdf503.97 kBPDFView/Open