References of "Woltzenlogel Paleo, Bruno"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailComputer-Assisted Analysis of the Anderson-Hájek Controversy
Benzmüller, Christoph UL; Weber, Leon; Woltzenlogel Paleo, Bruno

in Logica Universalis (2017), 11(1), 139-151

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 ... [more ▼]

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. [less ▲]

Detailed reference viewed: 21 (0 UL)
Full Text
Peer Reviewed
See detailExperiments in Computational Metaphysics: Gödel's Proof of God's Existence
Benzmüller, Christoph UL; Woltzenlogel Paleo, Bruno

in Savijnanam: scientific exploration for a spiritual paradigm. Journal of the Bhaktivedanta Institute (2017), 9

“Computer scientists prove the existence of God” --- variants of this headline appeared in the international press in autumn 2013. Unfortunately, many media reports had only moderate success in ... [more ▼]

“Computer scientists prove the existence of God” --- variants of this headline appeared in the international press in autumn 2013. Unfortunately, many media reports had only moderate success in communicating to the wider public what had actually been achieved and what not. This article outlines the main findings of the authors’ joint work in computational metaphysics. More precisely, the article focuses on their computer-supported analysis of variants and recent emendations of Kurt Gödel’s modern ontological argument for the existence of God. In the conducted experiments, automated theorem provers discovered some interesting and relevant facts. [less ▲]

Detailed reference viewed: 206 (1 UL)