Article (Scientific journals)
Computer-Assisted Analysis of the Anderson-Hájek Controversy
Benzmüller, Christoph; Weber, Leon; Woltzenlogel Paleo, Bruno
2017In Logica Universalis, 11 (1), p. 139-151
Peer reviewed
 

Files


Full Text
J32.pdf
Author preprint (294 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Computational Metaphysics; Automated Reasoning; Interactive Proof; Semantic Embedding; Higher Order Logic; Higher Order Modal Logic
Abstract :
[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.
Disciplines :
Religion & theology
Philosophy & ethics
Computer science
Author, co-author :
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
External co-authors :
yes
Language :
English
Title :
Computer-Assisted Analysis of the Anderson-Hájek Controversy
Publication date :
23 February 2017
Journal title :
Logica Universalis
ISSN :
1661-8297
Publisher :
Springer International Publishing AG, Heidelberg, Germany
Volume :
11
Issue :
1
Pages :
139-151
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Available on ORBilu :
since 14 December 2017

Statistics


Number of views
72 (0 by Unilu)
Number of downloads
447 (0 by Unilu)

Scopus citations®
 
20
Scopus citations®
without self-citations
6
OpenCitations
 
15
WoS citations
 
11

Bibliography


Similar publications



Contact ORBilu