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
http://hdl.handle.net/10993/37444
A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument
English
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)]
2018
IfCoLog Journal of Logics and Their Applications
College Publishing
5
7
Formal Approaches to the Ontological Argument
1567-1603
Yes
International
2055-3706
2055-3714
Londres
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
http://hdl.handle.net/10993/37444
http://www.collegepublications.co.uk/downloads/ifcolog00027.pdf

File(s) associated to this reference

Fulltext file(s):

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

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.