We present an approach towards the deep, pluralistic logical analysis of argumentative discourse that benefits from the application of state-of-the-art automated reasoning technology for classical higher-order logic. Thanks to its expressivity this logic can adopt the status of a uniform \textit{lingua franca} allowing the encoding of both formalized arguments (their deep logical structure) and dialectical interactions (their attack and support relations). We illustrate this by analyzing an excerpt from an argumentative debate on climate engineering. Another, novel contribution concerns the definition of abstract, language-theoretical foundations for the characterization and assessment of shallow semantical embeddings (SSEs) of non-classical logics in classical higher-order logic, which constitute a pillar stone of our approach. The novel perspective we draw enables more concise and more elegant characterizations of semantical embeddings of logics and logic combinations, which is demonstrated with several examples.

中文翻译：

---

作为通用语的高阶逻辑——整合论证话语和深层逻辑分析

我们提出了一种对论证性话语进行深入、多元的逻辑分析的方法，该方法受益于对经典高阶逻辑应用最先进的自动推理技术。由于其表现力，这种逻辑可以采用统一的\textit{lingua franca} 的状态，允许对形式化的论点（它们的深层逻辑结构）和辩证交互（它们的攻击和支持关系）进行编码。我们通过分析气候工程辩论的摘录来说明这一点。另一个新颖的贡献涉及抽象的语言理论基础的定义，用于表征和评估经典高阶逻辑中非经典逻辑的浅层语义嵌入（SSE），这构成了我们方法的支柱。