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

Title:	Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument
Authors:	David Fuenmayor (davfuenmayor /at/ gmail /dot/ com) and Christoph Benzmüller
Submission date:	2017-09-21
Abstract:	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.
BibTeX:	@article{Lowe_Ontological_Argument-AFP, author = {David Fuenmayor and Christoph Benzmüller}, title = {Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument}, journal = {Archive of Formal Proofs}, month = sep, year = 2017, note = {\url{http://isa-afp.org/entries/Lowe_Ontological_Argument.html}, Formal proof development}, ISSN = {2150-914x}, }
License:	BSD License
Status: [ok]	This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.