Springe direkt zu Inhalt

Computer-Assisted Analysis of the Anderson-Hájek Controversy

Christoph Benzmüller, Leon Weber, Bruno Woltzenlogel-Paleo – 2017

We present an exemplary study in Computational Methaphysics, which is an emerging, interdisciplinary field aiming at the rigorous formatlisation and deep Logical assessment of rational, philosophical arguments on the Computer. The particular focus here is on the ontological argument for the existence of God. While related work has concentrated on Anselm's simpler original version of the ontological argument and formalized it in classical predicate logic, we here focus on modern variants of Kurt Gödel's seminal contribution requiring higher-prder modal logic.

Titel
Computer-Assisted Analysis of the Anderson-Hájek Controversy
Verfasser
Christoph Benzmüller, Leon Weber, Bruno Woltzenlogel-Paleo
Verlag
Springer International Publishing
Datum
2017
Kennung
DOI: 10.1007/s11787-017-0160-9
Quelle/n
Erschienen in
Logica Universalis, volume 11, number 1.
Zitierweise
Bibtex entry URL: bibtexbrowser.local.php?key=J32&bib=chris.bib