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

David Fuenmayor ­čôž and Christoph Benzm├╝ller ­čîÉ

September 21, 2017

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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.


BSD License


Session Lowe_Ontological_Argument