Abstract
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.
“...that the same way that the whole is, of course, understood in reference to the individual, so too, the individual can only be understood in reference to the whole.”
Friedrich Schleiermacher (1829)
Benzmüller received funding for this research from VolkswagenStiftung under grant CRAP 93678 (Consistent Rational Argumentation in Politics).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
This is similar to the distinction between TBox and ABox in knowledge bases. Some may claim that ‘ontological’ sentences (TBox) tend to be more permanent and mostly concern types, classes and other universals; while other, ‘non-ontological’ sentences (ABox) mostly concern their instances. The former may be treated as being always true and the latter as subject to on-line revision. However, what counts as a class, what as an instance and what is subject to revision is heavily dependent on the use we intend to give to the theory (knowledge base).
- 2.
Recalling Carnap’s related notion of explication [23], we can think of a set of meaning postulates as providing a precise characterization for some new, exact concept (explicatum) aimed at “replacing” an inexact, pre-theoretical notion (explicandum), for the purpose of advancing a theory. Thus, in computational hermeneutics, the non-logical terms of our interpretive theory characterize concepts playing the role of explicata aimed at explicitly representing fuzzy, unarticulated explicanda from a tacit conceptualization.
- 3.
As we see it, those rules are (their tacitness notwithstanding) of a logical nature: they concern which arguments or inferences are endorsed by (a community of) speakers.
- 4.
When we talk of models of a logical theory or ontology, we always refer to models in a model-theoretical sense, i.e. interpretations: assignments of values (as denoted entities) to non-logical terms.
- 5.
For instance, the existence of human races may need to be posited for some eugenicist arguments to succeed; or the presupposition of highly-localized specific brain functions may be needed for a phrenology-related argument to get through. When we intuitively accept the conclusions of arguments we may thereby also commit to the existence of their posits (as made explicit in the logical forms of adequate formalizations). Conversely, such arguments can be attacked by calling into question the mere existence of what they posit.
- 6.
Guarino further considers factors like language expressivity (richness of logical and non-logical vocabulary) and scope of the domain of discourse in having a bearing on the degree to which an ontology specifies a conceptualization.
- 7.
Logical correctness encompasses, among others, the more traditional concept of logical validity. Our working notion of logical correctness also encompasses axioms/premises consistency and lack of circularity (no petitio principii) as well as avoiding idle premises. Other accounts may consider different criteria. We have restricted ourselves to the ones that can be efficiently computed with today’s automated reasoning technology. See [50] for an interesting discussion of logical (in)correctness.
- 8.
Sharing a similar background and motivation, computational hermeneutics might support a technological implementation of contemporary approaches for the revisionary philosophical analysis of public discourse like ameliorative analysis (in particular, as presented in [47]), conceptual ethics [22], and conceptual engineering (e.g. as discussed in [20]).
- 9.
In this sense, Davidson has emphatically made clear that he does not aim at showing how humans actually interpret let alone acquire natural language. This being rather a subject of empirical research (e.g. in cognitive science and linguistics) [25]. However, Davidson’s philosophical point becomes particularly interesting in artificial intelligence, as regards the design of artificial language-capable machines.
- 10.
- 11.
The notion of reflective equilibrium has been initially proposed by Nelson Goodman [40] as an account for the justification of the principles of (inductive) logic and has been popularized years later in political philosophy and ethics by John Rawls [52] for the justification of moral principles. In Rawls’ account, “reflective equilibrium” refers to a state of balance or coherence between a set of general principles and particular judgments (where the latter follow from the former). We arrive at such a state through a deliberative give-and-take process of mutual adjustment between principles and judgments. More recent methodical accounts of reflective equilibrium have been proposed as a justification condition for scientific theories [31] and objectual understanding [2], and as a methodology for conceptual engineering [20].
- 12.
There are ongoing efforts on our part to frame the problem of finding an adequate interpretive theory as an optimization problem to be approached by appropriate heuristic methods.
- 13.
Recall that we think of discourses as networks of mutually supporting/attacking arguments. Each formalized argument can be seen as a collection of axioms and theorems; the latter being intended to logically follow from a combination of the former plus some further axioms of a definitional nature (meaning postulates). This view is in tune with prominent structured approaches to argumentation in artificial intelligence (cf. [14, 30]).
- 14.
As mentioned in Sect. 2.1, there is no definitive criteria for distinguishing meaning postulates from others (cf. ontological vs. non-ontological or TBox vs. ABox sentences). The heuristics for labeling sentences as meaning postulates thus constitute another degree of freedom in our interpretive process, which we address primarily (but not exclusively) by means of inferential adequacy criteria. Moreover, our set of meaning postulates can at some point become inconsistent, thus urging us to mark some of them for controlled removal. In this aspect, our approach resembles reason-maintenance and belief-revision frameworks (cf. [29]).
- 15.
Argument databases and arguments extracted from text sources usually provide information on support and attack relations (see [21, 44] and references therein). Another alternative is to dynamically construct the needed arguments by using the working theory plus hypothetical premises and conclusions as building stones. Those arguments would then be presented, in an interactive way, to the user for rejection or endorsement. This mode of operation would correspond to a kind of inverted (we could call it ‘Socratic’) question-answering system.
- 16.
Note that this approach is not related to the similarly named notion of word embeddings in natural language processing (NLP).
- 17.
Note that since Isabelle-specific extensions of HOL (except for prefix polymorphism) are not exploited in our work, the technical framework we depict here can easily be transferred to other HOL theorem proving environments.
- 18.
- 19.
Such a reading would be in tune with strong conceptions of existence drawing on the Quinean slogan “no entity without identity”.
References
Basile V, Cabrio E, Schon C (2016) KNEWS: using logical and lexical semantics to extract knowledge from natural language. In: Proceedings of the European conference on artificial intelligence (ECAI) 2016 conference
Baumberger C, Brun G (2016) Dimensions of objectual understanding. In: Explaining understanding. New perspectives from epistemology and philosophy of science, pp 165–189
Baumgartner M, Lampert T (2008) Adequate formalization. Synthese 164(1):93–115
Benzmüller C (2019) Universal (meta-)logical reasoning: recent successes. Sci Comput Program 172:48–62
Benzmüller C, Andrews P (2019) Church’s type theory. In: Zalta EN (eds.) The stanford encyclopedia of philosophy. Metaphysics Research Lab, Stanford University, summer 2019 edition
Benzmüller C, Brown C, Kohlhase M (2004) Higher-order semantics and extensionality. J Symbolic Logic 69(4):1027–1088
Benzmüller C, Fuenmayor D (2018) Can computers help to sharpen our understanding of ontological arguments? In: Gosh S, Uppalari R, Rao KV, Agarwal V, Sharma S (eds) Mathematics and Reality. Proceedings of the 11th All India Students’ Conference on Science & Spiritual Quest (AISSQ). The Bhaktivedanta Institute, Kolkata, pp 195–226
Benzmüller C, Parent X, van der Torre L (2018) A deontic logic reasoning infrastructure. In: Manea F, Miller RG, Nowotka D (eds) Proceedings of the 14th conference on computability in Europe (CiE), LNCS, vol 10936, pp 60–69. Springer
Benzmüller C, Paulson L (2010) Multimodal and intuitionistic logics in simple type theory. Logic J IGPL 18(6):881–892
Benzmüller C, Paulson L (2013) Quantified multimodal logics in simple type theory. Log Univers 7(1):7–20 (Special Issue on Multimodal Logics)
Benzmüller C, Scott DS (2019) Automating free logic in HOL, with an experimental application in category theory. J Autom Reasoning
Benzmüller C, Weber L, Woltzenlogel Paleo B (2017) Computer-assisted analysis of the Anderson-Hájek controversy. Log Univers 11(1):139–151
Benzmüller C, Woltzenlogel Paleo B (2016) The inconsistency in Gödel’s ontological argument: a success story for AI in metaphysics. In: Kambhampati S (eds) IJCAI 2016, vol 1–3, pp 936–942. AAAI Press
Besnard P, Hunter A (2008) Elements of argumentation. MIT Press (2008)
Blanchette JC, Nipkow T (2010) Nitpick: a counterexample generator for higher-order logic based on a relational model finder. In: Kaufmann M, Paulson LC (eds) ITP 2010, vol 6172. LNCS. Springer, Heidelberg, pp 131–146. https://doi.org/10.1007/978-3-642-14052-5_11
Blau U (1978) Die dreiwertige Logik der Sprache: ihre Syntax, Semantik und Anwendung in der Sprachanalyse. Walter de Gruyter
Bos J (2008) Wide-coverage semantic analysis with boxer. In: Bos J, Delmonte R (eds.) Semantics in text processing, STEP, 2008 Conference proceedings, Venice, Italy, 22–24 September 2008. Association for Computational Linguistics (2008). https://dblp.org/rec/bib/conf/acl-step/Bos08a
Brandom RB (1994) Making it explicit: reasoning, representing, and discursive commitment. Harvard University Press
Brun G (2004) Die richtige Formel: Philosophische Probleme der logischenFormalisierung. Walter de Gruyter
Brun G (2017) Conceptual re-engineering: from explication to reflective equilibrium. Synthese, pp 1–30
Budzynska K, Villata S (2018) Processing natural language argumentation. In: Baroni P, Gabbay D, Giacomin M, van der Torre L (eds) Handbook of formal argumentation, pp 577–627. Springer
Burgess A, Plunkett D (2013) Conceptual ethics I & II. Philos Compass 8(12):1091–1110
Carnap R (1947) Meaning and necessity: a study in semantics and modal logic. University of Chicago Press
Carnap R (1952) Meaning postulates. Philos Stud 3(5):65–73
Davidson D (1994) Radical interpretation interpreted. Philos Persp 8:121–128
Davidson D (2001) Essays on actions and events: philosophical essays, vol 1. Oxford University Press on Demand
Davidson D (2001) Inquiries into truth and interpretation: philosophical essays, vol 2. Oxford University Press
Dowty DR, Wall R, Peters S (2012) Introduction to montague semantics, vol 11. Springer
Doyle J (1992) Reason maintenance and belief revision: foundations vs. coherence theories. Belief Revision 29:29–51
Dung PM, Kowalski RA, Toni F (2009) Assumption-based argumentation. In: Argumentation in artificial intelligence, pp 199–218. Springer
Elgin C (1999) Considered judgment. Princeton University Press
Epstein RL (1994) The semantic foundations of logic: predicate logic, vol 2. Oxford University Press
Fuenmayor D, Benzmüller C (2017) Automating emendations of the ontological argument in intensional higher-order modal logic. In: Kern-Isberner G, Fürnkranz J, Thimm M (eds) KI 2017: Advances in artificial intelligence. LNAI, vol 10505, pp 114–127. Springer
Fuenmayor D, Benzmüller C (2017) Computer-assisted reconstruction and assessment of E. J. Lowe’s modal ontological argument. Archive of formal proofs, September 2017. http://isa-afp.org/entries/Lowe_Ontological_Argument.html, Formal proof development
Fuenmayor D, Benzmüller C (2018) A case study on computational hermeneutics: E. J. Lowe’s modal ontological argument. J Appl Logics (IfCoLoG J Logics Appl) 5(7):1567–1603 (special issue on Formal Approaches to the Ontological Argument)
Fuenmayor D, Benzmüller C (2019) Computational hermeneutics: an integrated approach for the logical analysis of natural-language arguments. In: Liao B, Agotnes T, Wang YN (eds) Dynamics, uncertainty and reasoning: the second Chinese conference on logic and argumentation
Gadamer HG (1960) Gesammelte Werke, Bd. 1, Hermeneutik I: Wahrheit und Methode. J.C.B. Mohr (Paul Siebeck)
Gangemi A, Presutti V, Recupero DR, Nuzzolese AG, Draicchio F, Mongiovì M (2017) Semantic web machine reading with FRED. Seman Web 8(6):873–893
Genesereth MR, Nilsson NJ (1987) Logical foundations of artificial intelligence. Morgan Kaufmann
Goodman N (1983) Fact, fiction, and forecast. Harvard University Press
Gruber TR (1993) A translation approach to portable ontology specifications. Knowl Acquisition 5(2):199–220
Guarino N, Giaretta P (1995) Ontologies and knowledge bases towards a terminological clarification. In: Towards very large knowledge bases: knowledge building & knowledge sharing, vol 25, no 32, pp 307–317
Guarino N, Oberle D, Staab S (2009) What is an ontology? In: Handbook on ontologies, pp 1–17. Springer
Lippi M, Torroni P (2016) Argumentation mining: state of the art and emerging trends. ACM Trans Internet Technol (TOIT) 16(2):10
Lowe EJ (2013) A modal version of the ontological argument. In: Moreland JP, Sweis KA, Meister CV (eds) Debating Christian theism, chapter 4, pp 61–71. Oxford University Press
Nipkow T, Paulson L, Wenzel M. (2002) Isabelle/HOL: a proof assistant for higher-order logic. LNCS, lecture notes in computer science, vol 2283. Springer
Novaes CD (2018) Carnapian explication and ameliorative analysis: a systematic comparison. Synthese, pp 1–24
Peregrin J (2014) Inferentialism: why rules matter. Springer
Peregrin J, Svoboda V (2013) Criteria for logical formalization. Synthese 190(14):2897–2924
Peregrin J, Svoboda V (2017) Reflective equilibrium and the principles of logical analysis: understanding the laws of logic. Routledge studies in contemporary philosophy. Taylor and Francis
Quine WVO (1960) Word and object. MIT Press
Rawls J (2009) A theory of justice. Harvard University Press
Sainsbury M (1991) Logical forms: an introduction to philosophical logic. Blackwell Publishers
Studer R, Benjamins VR, Fensel D (1998) Knowledge engineering: principles and methods. Data Knowl Eng 25(1–2):161–197
Sutcliffe G (2017) The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0. J Autom Reason 59(4):483–502
Tarski A (1956) The concept of truth in formalized languages. In: Logic, semantics, metamathematics, vol 2, pp 152–278
Uschold M (1996) Building ontologies: towards a unified methodology. In: Proceedings of 16th annual conference of the British computer society specialists group on expert systems. Citeseer
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Fuenmayor, D., Benzmüller, C. (2019). A Computational-Hermeneutic Approach for Conceptual Explicitation. In: Nepomuceno-Fernández, Á., Magnani, L., Salguero-Lamillar, F., Barés-Gómez, C., Fontaine, M. (eds) Model-Based Reasoning in Science and Technology. MBR 2018. Studies in Applied Philosophy, Epistemology and Rational Ethics, vol 49. Springer, Cham. https://doi.org/10.1007/978-3-030-32722-4_25
Download citation
DOI: https://doi.org/10.1007/978-3-030-32722-4_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32721-7
Online ISBN: 978-3-030-32722-4
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)