Reference : A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument

	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Multidisciplinary, general & others
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/37444

Title :	A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument
Language :	English
Author, co-author :	Fuenmayor, David [Freie Universität Berlin > Mathematics and Computer Science]
	Benzmüller, Christoph [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Publication date :	2018
Journal title :	IfCoLog Journal of Logics and Their Applications
Publisher :	College Publishing
Volume :	5
Issue/season :	7
Special issue title :	Formal Approaches to the Ontological Argument
Pages :	1567-1603
Peer reviewed :	Yes
Audience :	International
ISSN :	2055-3706
e-ISSN :	2055-3714
City :	Londres
Country :	United Kingdom
Keywords :	[en] computational metaphysics ; ontological argument ; computational hermeneutics
Abstract :	[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.
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/37444
Other URL :	http://www.collegepublications.co.uk/downloads/ifcolog00027.pdf

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access J38-8.pdf Author preprint 549.02 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map