Computational Metaphysics; Automated Reasoning; Interactive Proof; Semantic Embedding; Higher Order Logic; Higher Order Modal Logic
Résumé :
[en] 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.
BENZMÜLLER, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Weber, Leon; Freie Universität Berlin
Woltzenlogel Paleo, Bruno; Australian National University, Canberra
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Computer-Assisted Analysis of the Anderson-Hájek Controversy
Date de publication/diffusion :
23 février 2017
Titre du périodique :
Logica Universalis
ISSN :
1661-8297
Maison d'édition :
Springer International Publishing AG, Heidelberg, Allemagne
