Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments

DOI10.1007/978-981-13-7791-4_9MaRDI QIDQ3305694zbMATH OpenOpenAlexFDO

Authors David Fuenmayor, Christoph Benzmüller

Publication date 10 August 2020

Published in Dynamics, Uncertainty and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-981-13-7791-4_9

zbMATH Keywords

computational hermeneuticshigher order logicproof assistantsrational argumentationsemantical embeddingsuniversal logical reasoning

Mathematics Subject Classification ID

Natural language processing (68T50) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• scientific article; zbMATH DE number 7594144
• Mechanised assessment of complex natural-language arguments using expressive logic combinations
• EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
• A formalization of abstract argumentation in higher-order logic
• Interleaved argumentation and explanation in dialog

Cites work

• A logic-based theory of deductive arguments
• Adequate formalization
• An object-logic explanation for the inconsistency in Gödel's ontological theory
• Automating emendations of the ontological argument in intensional higher-order modal logic
• Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
• Change in abstract argumentation frameworks: adding an argument
• Computer-assisted analysis of the Anderson-Hájek ontological controversy
• Criteria for logical formalization
• Dynamic predicate logic
• Godelian ontological arguments
• Higher-order semantics and extensionality
• scientific article; zbMATH DE number 3151566 (Why is no real title available?)
• scientific article; zbMATH DE number 7594144 (Why is no real title available?)
• Isabelle/HOL. A proof assistant for higher-order logic
• Multimodal and intuitionistic logics in simple type theory
• Nitpick: a counterexample generator for higher-order logic based on a relational model finder
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Quantified multimodal logics in simple type theory
• Steps toward a computational metaphysics
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• The higher-order prover \textsc{Leo}-II
• Theorem provers for every normal modal logic

Cited in

(2)

• Computer-supported analysis of arguments in climate engineering
• scientific article; zbMATH DE number 7594144 (Why is no real title available?)

Describes a project that uses

Uses Software

• Isabelle/HOL
• Nitpick
• Archive of Formal Proofs
• Lowe_Ontological_Argument
• embed_modal

This page was built for publication: Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305694)