| Reference : A Computational-Hermeneutic Approach for Conceptual Explicitation |
| Parts of books : Contribution to collective works | |||
| Arts & humanities : Philosophy & ethics | |||
| Computational Sciences | |||
| http://hdl.handle.net/10993/40905 | |||
| A Computational-Hermeneutic Approach for Conceptual Explicitation | |
| English | |
| Fuenmayor, David [> >] | |
Benzmüller, Christoph  [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)] | |
| 25-Oct-2019 | |
| Model-Based Reasoning in Science and Technology -- Inferential Models for Logic, Language, Cognition and Computation | |
| Nepomuceno, A. | |
| Magnani, L. | |
| Salguero, F. | |
| Bares, C. | |
| Fontaine, M. | |
| Springer | |
| Studies in Applied Philosophy, Epistemology and Rational Ethics | |
| 441-469 | |
| Yes | |
| 978-3-030-32721-7 | |
| Cham | |
| Switzerland | |
| [en] own ; Computational Hermeneutics ; Higher Order Logic Universal Reasoning ; Rational Argumentation Human-Machine Interaction | |
| [en] 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. | |
| Researchers ; Professionals ; Students | |
| http://hdl.handle.net/10993/40905 | |
| 10.1007/978-3-030-32722-4_25 | |
| https://doi.org/10.1007/978-3-030-32722-4_25 | |
| Preprint http://doi.org/10.13140/RG.2.2.30869.78564 |
There is no file associated with this reference.
All documents in ORBilu are protected by a user license.
