Inconsistency-adaptive dialogical logic (Q263112)

The paper presents a logical formalism which is a combination of a dialogical logic and an adaptive logic. The authors take the paraconsistent approach to dialogical logic as developed by \textit{S. Rahman} and \textit{W. A. Carnielli} [Synthese 125, No. 1--2, 201--231 (2000; Zbl 0970.03030)], and apply to it some key ideas from Batens' adaptive logic. More concretely, they define a ``set of abnormalities'' which contains all inconsistent formulas of the language, and then make use of the notion of reliability so that a formula behaves reliably with respect to a premise set if no disjunction of abnormalities follows from this set. It is then ``safe'' to apply a rule of dialog whenever the formulas to which the rule is applied behave reliably with respect to the given premises. The resulting system is called ``inconsistency-adaptive dialogical logic'' (\textbf{IAD}). It is argued that this system allows one to avoid logical explosion, but is strong enough to validate applications of such rules as disjunctive syllogism, contraposition and modus tollens in the absence of inconsistencies. The authors establish certain correspondence between \textbf{IAD} and the inconsistency-adaptive logic \textbf{CLuN}\(^r\) developed by Batens and his collaborators.