Repository | Buch | Kapitel
Experimenting with consistency
pp. 199-221
Abstrakt
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. Bueno-Soler, Log Univers 4(1):137–160, 2010). The paper also takes some first steps in exploring the philosophical significance of such logical tools, comparing the notions of consistency and negation modally defined with the primitive notions of consistency and negation in the family of Logics of Formal Inconsistency (LFIs), suggesting some experiments on their expressive power.
Publication details
Published in:
Markin Vladimir, Zaitsev Dmitry (2017) The logical legacy of Nikolai Vasiliev and modern logic. Dordrecht, Springer.
Seiten: 199-221
DOI: 10.1007/978-3-319-66162-9_15
Referenz:
Bueno-Soler Juliana, Carnielli Walter (2017) „Experimenting with consistency“, In: V. Markin & D. Zaitsev (eds.), The logical legacy of Nikolai Vasiliev and modern logic, Dordrecht, Springer, 199–221.