Reference : Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument
Scientific journals : Article
Engineering, computing & technology : Computer science
Arts & humanities : Philosophy & ethics
Arts & humanities : Religion & theology
Computational Sciences
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Fuenmayor, David [FU Berlin]
Archive of Formal Proofs
[en] Automated Reasoning ; Interactive Proof ; Computational Metaphysics
[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.
Researchers ; Professionals ; Students ; General public

File(s) associated to this reference

Fulltext file(s):

Open access
document.pdfPublisher postprint151.22 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.