Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Can Computers Help to Sharpen our Understanding of Ontological Arguments?
Benzmüller, Christoph; Fuenmayor, David
2018In Mathematics and Reality, Proceedings of the 11th All India Students' Conference on Science Spiritual Quest, 6-7 October, 2018, IIT Bhubaneswar, Bhubaneswar, India
 

Files


Full Text
C74-4.pdf
Author preprint (2.52 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Ontological Argument; Computational Metaphysics; Higher Order Logic; Semantic Embedding; Modal Logics; Automated Reasoning; Ontology Reasoning
Disciplines :
Philosophy & ethics
Author, co-author :
Benzmüller, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Fuenmayor, David;  Freie Universität Berlin
External co-authors :
yes
Language :
English
Title :
Can Computers Help to Sharpen our Understanding of Ontological Arguments?
Publication date :
2018
Event name :
Mathematics & Reality, 11th All India Students' Conference on Science Spiritual Quest
Event date :
from 06-10-2018 to 07-10-2018
By request :
Yes
Audience :
International
Main work title :
Mathematics and Reality, Proceedings of the 11th All India Students' Conference on Science Spiritual Quest, 6-7 October, 2018, IIT Bhubaneswar, Bhubaneswar, India
Publisher :
The Bhaktivedanta Institute, Kolkata, www.binstitute.org, Kokata, India
ISBN/EAN :
81-89635-31-X
Pages :
195-226
Focus Area :
Computational Sciences
Commentary :
195-226
Available on ORBilu :
since 24 November 2018

Statistics


Number of views
113 (0 by Unilu)
Number of downloads
134 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu