Reference : A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument
Scientific journals : Article
Engineering, computing & technology : Multidisciplinary, general & others
Computational Sciences
A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument
Fuenmayor, David [Freie Universität Berlin > Mathematics and Computer Science]
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
IfCoLog Journal of Logics and Their Applications
College Publishing
Formal Approaches to the Ontological Argument
United Kingdom
[en] computational metaphysics ; ontological argument ; computational hermeneutics
[en] Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language argument with strong ties to metaphysics and religion: E. J. Lowe’s modern variant of St. Anselm’s ontological argument for the existence of God. Our new method, which we call computational hermeneutics, has been particularly conceived for use in interactive-automated proof assistants. It aims at shedding light on the meanings of words and sentences by framing their inferential role in a given argument. By employing automated theorem reasoning technology within interactive proof assistants, we are able to drastically reduce (by several orders of magnitude) the time needed to test the logical validity of an argument’s formalization. As a result, a new approach to logical analysis, inspired by Donald Davidson’s account of radical interpretation, has been enabled. In computational hermeneutics, the utilization of automated reasoning tools effectively boosts our capacity to expose the assumptions we indirectly commit ourselves to every time we engage in rational argumentation and it fosters the explicitation and revision of our concepts and commitments.
Researchers ; Professionals ; Students

File(s) associated to this reference

Fulltext file(s):

Open access
J38-8.pdfAuthor preprint549.02 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.