Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument

Reference : Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science Arts & humanities : Philosophy & ethics Arts & humanities : Religion & theology
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/33920

Title :	Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument
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 [FU Berlin]
Publication date :	21-Sep-2017
Journal title :	Archive of Formal Proofs
Peer reviewed :	Yes
Audience :	International
ISSN :	2150-914x
Keywords :	[en] Automated Reasoning ; Interactive Proof ; Computational Metaphysics
Abstract :	[en] Computers may help us to understand --not just verify-- philosophical arguments. By utilizing modern proof assistants in an iterative interpretive process, we can reconstruct and assess an argument by fully formal means. Through the mechanization of a variant of St. Anselm's ontological argument by E. J. Lowe, which is a paradigmatic example of a natural-language argument with strong ties to metaphysics and religion, we offer an ideal showcase for our computer-assisted interpretive method.
Target :	Researchers ; Professionals ; Students ; General public
Permalink :	http://hdl.handle.net/10993/33920
Other URL :	https://www.isa-afp.org/entries/Lowe_Ontological_Argument.html

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	document.pdf		Publisher postprint	151.22 kB	View/Open

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