论文标题
高阶逻辑为通用语言 - 整合辩论性话语和深入的逻辑分析
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
论文作者
论文摘要
我们提出了一种对辩论性话语进行深刻，多元化的逻辑分析的方法，该分析受益于将最先进的自动推理技术应用于经典高阶逻辑的方法。由于其表现力，这种逻辑可以采用统一\ textit {lingua franca}的状态，允许编码形式的参数（其深层逻辑结构）和辩证的互动（其攻击和支持关系）。我们通过分析有关气候工程的争论性辩论的摘录来说明这一点。 另一个新颖的贡献涉及对经典高级逻辑中非经典逻辑的浅层语义嵌入（SSE）的表征和评估的抽象，语言理论基础的定义，这构成了我们方法的支柱。 我们绘制的新颖观点可以使逻辑和逻辑组合语义嵌入的更简洁，更优雅的特征，并通过几个示例证明。
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.
