Springe direkt zu Inhalt

Can Computers Help to Sharpen our Understanding of Ontological Arguments?

Christoph Benzmüller , David Fuenmayor – 2018

In the past decades, several emendations of Gödel's (resp. Scott's) modal ontological argument have been proposed, many of which preserve the intended conclusion (the necessary existence of God), while avoiding a controversial side result of the Gödel/Scott variant called the "modal collapse", which expresses that there are no contingent truths (everything is determined, there is no free will). In this paper we provide a summary on recent computer-supported verification studies on some of these modern variants of the ontological argument. The purpose is to provide further evidence that the interaction with the computer technology, which we have developed together with colleagues over the past years, can not only enable the formal assessment of onotological arguments, but can, in fact, help to sharpen our conceptual understanding of the notions and concepts involved. From a more abstract perspective, we claim that interreligious understanding may be fostered by means of formal argumentation and, in particular, formal logical anaylsis supported by modern interactive and automated theorem proving technology.

Can Computers Help to Sharpen our Understanding of Ontological Arguments?
Christoph Benzmüller , David Fuenmayor
DOI (preprint): 10.13140/RG.2.2.31921.84323
Erschienen in
Mathematics and Reality, Proceedings of the 11th All India Students' Conference on Science & Spiritual Quest (AISSQ), 6-7 October, 2018, IIT Bhubaneswar, Bhubaneswar, India (Sudipto Gosh, Ramgopal Uppalari, K. Vasudeva Rao, Varun Agarwal, Sushant Sharma, eds.),
Größe oder Länge
pp. 195-226