Can Computers Help to Sharpen our Understanding of Ontological Arguments?

Reference : Can Computers Help to Sharpen our Understanding of Ontological Arguments?


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Arts & humanities : Philosophy & ethics
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/37462

Title :	Can Computers Help to Sharpen our Understanding of Ontological Arguments?
Language :	English
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]
Publication date :	2018
Main document 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
Pages :	195-226
Peer reviewed :	No
On invitation :	Yes
Audience :	International
ISBN :	81-89635-31-X
City :	Kokata
Country :	Indien
Event name :	Mathematics & Reality, 11th All India Students' Conference on Science Spiritual Quest
Event date :	from 06-10-2018 to 07-10-2018
Keywords :	[en] Ontological Argument ; Computational Metaphysics ; Higher Order Logic ; Semantic Embedding ; Modal Logics ; Automated Reasoning ; Ontology Reasoning
Permalink :	http://hdl.handle.net/10993/37462
DOI :	10.13140/RG.2.2.31921.84323
Other URL :	http://christoph-benzmueller.de/papers/C74.pdf
Commentary :	195-226

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	C74-4.pdf		Author preprint	2.46 MB	View/Open

All documents in ORBi^lu are protected by a user license.