ISSN 1519-9681

ARTICLES
EDITORIAL BOARD
RULES AND INSTRUCTIONS
SITES POINTING TO CLE e-PRINTS

Articles

..
.


Vol. 14(3), 2014
Experimenting with consistency
Juliana Bueno-Soler (1); Walter Carnielli (2)

(1) Faculty of Technology
State University of Campinas (UNICAMP)

(2) Department of Philosophy, IFCH and
Centre for Logic, Epistemology and The History of Science (CLE)
State University of Campinas (UNICAMP)


Date Posted: November 24, 2014

vol. 14, n. 3, 2014

   
Abstract:

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. Al-
though 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 hi-
erarchy of the so-called cathodic modal paraconsistent systems (cf.
[BS10]). The paper also takes some rst steps in exploring the philo-
sophical signi cance 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.


|   Home   | 2014  |  2013 2012  |  2011   |   2010   |   2009   |   2008   |   2007   |    2005   |   2004   |   2003   |   2002   |   2001   |

© 2001-2014 - Centre for Logic, Epistemology and the History of Science – CLE