在一个参数矛盾设定中的假设推理
摘要：在假设不一致或结论相悖的情况下，我们探讨了在无矛盾情形下的推定推理。具体而言，我们为带有矛盾假设或结论的推定论证提供了语义。我们改变了Verheij提出的具体案例模型，并定义了其中定义的三种类型的有效性的无矛盾类比：一致、推定有效和最终有效。为了形式化推理，我们定义了使用Belnap-Dunn逻辑和Baaz Delta运算符的案例模型的扩展。我们还展示了如何从我们的无矛盾版本的案例模型中恢复原始的经典语境中的推定推理。最后，我们构造了一个两层逻辑，并获得了将推定论证忠实地转化为公式的翻译。
作者：Sabine Frittella (INSA Centre Val de Loire, Universit''e d'Orl''eans, France), Daniil Kozhemiachenko (INSA Centre Val de Loire, Universit''e d'Orl''eans, France), Bart Verheij (Bernoulli Institute, Rijksuniversiteit Groningen, Groningen, the Netherlands)
论文ID：2303.15276
分类：Logic
分类简称：math.LO
提交时间：2023-07-12