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.

TitelComputer-Assisted Analysis of the Anderson-Hájek Controversy
VerfasserChristoph Benzmüller, Leon Weber, Bruno Woltzenlogel-Paleo
VerlagSpringer International Publishing
KennungDOI: 10.1007/s11787-017-0160-9
Erschienen inLogica Universalis, volume 11, number 1.
ZitierweiseBibtex entry URL: bibtexbrowser.local.php?key=J32&bib=chris.bib