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

Πλήρης περιγραφή

Αποθηκεύτηκε σε:  
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Benzmüller, Christoph (Συγγραφέας)
Τύπος μέσου: Ηλεκτρονική πηγή Άρθρο
Γλώσσα:Αγγλικά
Έλεγχος διαθεσιμότητας: HBZ Gateway
Journals Online & Print:
Φόρτωση...
Fernleihe:Fernleihe für die Fachinformationsdienste
Έκδοση: Wiley-Blackwell 2022
Στο/Στη: Zygon
Έτος: 2022, Τόμος: 57, Τεύχος: 4, Σελίδες: 953-962
Άλλες λέξεις-κλειδιά:B Ontology
B Artificial Intelligence
B Interdisciplinarity
B Metaphysics
B Πληροφορία
Διαθέσιμο Online: Volltext (kostenfrei)
Volltext (kostenfrei)
Περιγραφή
Σύνοψη: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
Περιλαμβάνει:Enthalten in: Zygon
Persistent identifiers:DOI: 10.1111/zygo.12830