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.