| Reference : Computer-Assisted Analysis of the Anderson-Hájek Controversy |
| Scientific journals : Article | |||
| Engineering, computing & technology : Computer science Arts & humanities : Philosophy & ethics Arts & humanities : Religion & theology | |||
| Computational Sciences | |||
| http://hdl.handle.net/10993/33699 | |||
| Computer-Assisted Analysis of the Anderson-Hájek Controversy | |
| English | |
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] | |
| 23-Feb-2017 | |
| Logica Universalis | |
| Springer International Publishing AG | |
| 11 | |
| 1 | |
| 139-151 | |
| Yes (verified by ORBilu) | |
| International | |
| 1661-8297 | |
| Heidelberg | |
| Germany | |
| [en] Computational Metaphysics ; Automated Reasoning ; Interactive Proof ; Semantic Embedding ; Higher Order Logic ; Higher Order Modal Logic | |
| [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. | |
| Researchers ; Professionals ; Students | |
| http://hdl.handle.net/10993/33699 | |
| 10.1007/s11787-017-0160-9 | |
| http://christoph-benzmueller.de/papers/J32.pdf |
| File(s) associated to this reference | ||||||||||||||
|
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
