A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy
2017
Logica Universalis
We present an exemplary study in Computational Metaphysics, which is an emerging, interdisciplinary field aiming at the rigorous formalisation 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 [9, 7] 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
doi:10.1007/s11787-017-0160-9
fatcat:flqsjus6v5axtkj2neqwnr57si