Christoph Benzmueller
Freie Universität Berlin
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 ar- gument 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 argu- ment’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 ef- fectively 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.
Keywords computational metaphysics  computational hermeneutics  interactive and automated theorem proving
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
Ontological Dependence.Tuomas E. Tahko & E. J. Lowe - 2020 - Stanford Encyclopedia of Philosophy.
On the Very Idea of a Conceptual Scheme.Donald Davidson - 1973 - Proceedings and Addresses of the American Philosophical Association 47:5-20.
On the Very Idea of a Conceptual Scheme.Donald Davidson - 2011 - In Robert B. Talisse & Scott F. Aikin (eds.), The Pragmatism Reader: From Peirce Through the Present. Princeton University Press. pp. 286-298.
The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.

View all 19 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Critical Examination of Hilary Putnam's Refutation of Computational Functionalism.Jeff Buechner - 2003 - Dissertation, Rutgers the State University of New Jersey - New Brunswick
Computational Models.Paul Humphreys - 2002 - Philosophy of Science 69 (S3):S1-S11.
Automating Leibniz’s Theory of Concepts.Indrasen Poola - 2017 - Stanford Encyclopedia of Philosophy 1.
Steps Toward a Computational Metaphysics.Branden Fitelson & Edward N. Zalta - 2007 - Journal of Philosophical Logic 36 (2):227-247.
Computational Models.Paul Humphreys - 2002 - Proceedings of the Philosophy of Science Association 2002 (3):S1-S11.
Identity in Modal Logic Theorem Proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Against Computational Hermeneutics.Stevan Harnad - 1990 - Social Epistemology 4:167-172.


Added to PP index

Total views
416 ( #21,478 of 2,462,873 )

Recent downloads (6 months)
29 ( #29,236 of 2,462,873 )

How can I increase my downloads?


My notes