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