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

Logica Universalis 11 (1):139-151 (2017)


A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the ontological argument on the computer. Several novel findings are reported which contribute to the clarification of a long-standing dispute between Anderson and Hájek. The technology employed in this work, which to some degree realizes Leibniz’s dream of a characteristica universalis and a calculus ratiocinator for solving philosophical controversies, is ready to be fruitfully adopted in larger scale by philosophers.

Download options


    Upload a copy of this work     Papers currently archived: 72,855

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

11 (#859,778)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Structured Argumentation Framework for Modeling Debates in the Formal Sciences.Marcos Cramer & Jérémie Dauphin - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2):219-241.

Add more citations

Similar books and articles

Higher-Order Ontological Arguments.Graham Oppy - 2008 - Philosophy Compass 3 (5):1066-1078.
Maydole on Ontological Arguments.Graham Oppy - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 445.
Ontological Arguments.Graham Oppy - 2014 - Stanford Encyclopedia of Philosophy.
Goedel's Ontological Argument.Randolph Rubens Goldman - 2000 - Dissertation, University of California, Berkeley
REVIEWS-The Philosophical Computer.P. Grim, G. Mar, P. St Denis & Petr Hajek - 2000 - Bulletin of Symbolic Logic 6 (3):347-348.