Max Scheler
Gesellschaft

Repository | Buch | Kapitel

182720

Experimenting with consistency

Juliana Bueno-Soler Walter Carnielli

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.