A note on formalizing discussive logic

Abstract

Listen

Translate article

Discussive logic was introduced by Jaskowski as a logic of discussion. In this note we show that some natural translation-based formalizations of discussive logic in modal logic do not yield a paraconsistent logic but rather classical logic. Some alternative modal formalizations of discussive logic that avoid the collapse into classical logic are put forward.