A Computational-Hermeneutic Approach for Conceptual Explicitation

by   David Fuenmayor, et al.

We present a computer-supported approach for the logical analysis and conceptual explicitation of argumentative discourse. Computational hermeneutics harnesses recent progresses in automated reasoning for higher-order logics and aims at formalizing natural-language argumentative discourse using flexible combinations of expressive non-classical logics. In doing so, it allows us to render explicit the tacit conceptualizations implicit in argumentative discursive practices. Our approach operates on networks of structured arguments and is iterative and two-layered. At one layer we search for logically correct formalizations for each of the individual arguments. At the next layer we select among those correct formalizations the ones which honor the argument's dialectic role, i.e. attacking or supporting other arguments as intended. We operate at these two layers in parallel and continuously rate sentences' formalizations by using, primarily, inferential adequacy criteria. An interpretive, logical theory will thus gradually evolve. This theory is composed of meaning postulates serving as explications for concepts playing a role in the analyzed arguments. Such a recursive, iterative approach to interpretation does justice to the inherent circularity of understanding: the whole is understood compositionally on the basis of its parts, while each part is understood only in the context of the whole (hermeneutic circle). We summarily discuss previous work on exemplary applications of human-in-the-loop computational hermeneutics in metaphysical discourse. We also discuss some of the main challenges involved in fully-automating our approach. By sketching some design ideas and reviewing relevant technologies, we argue for the technological feasibility of a highly-automated computational hermeneutics.


page 1

page 2

page 3

page 4


Higher-order Logic as Lingua Franca – Integrating Argumentative Discourse and Deep Logical Analysis

We present an approach towards the deep, pluralistic logical analysis of...

The Analysis of Synonymy and Antonymy in Discourse Relations: An interpretable Modeling Approach

The idea that discourse relations are construed through explicit content...

Refining Implicit Argument Annotation For UCCA

Few resources represent implicit roles for natural language understandin...

Exploring Discourse Structures for Argument Impact Classification

Discourse relations among arguments reveal logical structures of a debat...

LPAttack: A Feasible Annotation Scheme for Capturing Logic Pattern of Attacks in Arguments

In argumentative discourse, persuasion is often achieved by refuting or ...

Signature Entrenchment and Conceptual Changes in Automated Theory Repair

Human beliefs change, but so do the concepts that underpin them. The rec...

How To Solve Moral Conundrums with Computability Theory

Various moral conundrums plague population ethics: The Non-Identity Prob...

Please sign up or login with your details

Forgot password? Click here to reset