Symbolic Ai and Gödel's Ontological Argument

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 i...

Ausführliche Beschreibung

Gespeichert in:  
Bibliographische Detailangaben
1. VerfasserIn: Benzmüller, Christoph (VerfasserIn)
Medienart: Elektronisch Aufsatz
Sprache:Englisch
Verfügbarkeit prüfen: HBZ Gateway
Journals Online & Print:
Lade...
Fernleihe:Fernleihe für die Fachinformationsdienste
Veröffentlicht: Wiley-Blackwell 2022
In: Zygon
Jahr: 2022, Band: 57, Heft: 4, Seiten: 953-962
weitere Schlagwörter:B Ontology
B Artificial Intelligence
B Interdisciplinarity
B Metaphysics
B Information
Online Zugang: Volltext (kostenfrei)
Volltext (kostenfrei)
Beschreibung
Zusammenfassung: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.
ISSN:1467-9744
Enthält:Enthalten in: Zygon
Persistent identifiers:DOI: 10.1111/zygo.12830