Article (Scientific journals)
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument
Benzmüller, Christoph; Fuenmayor, David
2017In Archive of Formal Proofs
Peer reviewed
 

Files


Full Text
document.pdf
Publisher postprint (154.85 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
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.
Disciplines :
Philosophy & ethics
Computer science
Religion & theology
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
External co-authors :
yes
Language :
English
Title :
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument
Publication date :
21 September 2017
Journal title :
Archive of Formal Proofs
ISSN :
2150-914X
Publisher :
SourceForge
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Available on ORBilu :
since 12 January 2018

Statistics


Number of views
124 (1 by Unilu)
Number of downloads
42 (1 by Unilu)

Bibliography


Similar publications



Contact ORBilu