Inconsistency-adaptive dialogical logic

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.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Inconsistency-adaptive dialogical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q263112)