Presumptive Reasoning in a Paraconsistent Setting

Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij

Published 2023-03-27Version 1

We explore presumptive reasoning in the paraconsistent case. Specifically, we provide semantics for non-trivial reasoning with presumptive arguments with contradictory assumptions or conclusions. We adapt the case models proposed by Verheij and define the paraconsistent analogues of the three types of validity defined therein: coherent, presumptively valid, and conclusive ones. To formalise the reasoning, we define case models that use $\mathsf{BD}\triangle$, an expansion of the Belnap--Dunn logic with the Baaz Delta operator. We also show how to recover presumptive reasoning in the original, classical context from our paraconsistent version of case models. Finally, we construct a~two-layered logic over $\mathsf{BD}\triangle$ and $\mathsf{biG}$ (an expansion of G\"{o}del logic with a coimplication or $\triangle$) and obtain a faithful translation of presumptive arguments into formulas.