Experimenting with consistency

  • Juliana Bueno-Soler
  • Walter Carnielli


This paper discusses logical accounts of the notions of consistency and negation, and in particular explores some potential means of defining consistency and negation when expressed in modal terms. Although this can be done with interesting consequences when starting from classical normal modal logics, some intriguing cases arise when starting from paraconsistent modalities and negations, as in the hierarchy of the so-called cathodic modal paraconsistent systems (cf.[BS10]). The paper also takes some rst steps in exploring the philosophical signicance of such logical tools, comparing them with the paraconsistent logics of the family of Logics of Formal Inconsistency (LFIs), and presents some experiments with their expressive power.