What is it about?
This paper explores the concepts of consistency and negation, particularly how to define them using modal logic. While starting from classical modal logics yields interesting results, using paraconsistent modalities introduces intriguing cases, especially within cathodic modal paraconsistent systems (as discussed by Bueno-Soler, 2010). The paper also begins to examine the philosophical implications of these logical tools, comparing modal definitions of consistency and negation with the basic notions found in Logics of Formal Inconsistency (LFIs) and suggesting experiments to test their expressive power.
Featured Image
Photo by Louis Hansel on Unsplash
Why is it important?
This paper is an attempt to explain the idea of formal consistency and its connections with negation.
Perspectives
Our (the authors) intention was to try to make clear the formal notions of consistency and inconsistency.
Professor Walter Carnielli
Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP
Read the Original
This page is a summary of: Experimenting with Consistency, January 2017, Springer Science + Business Media,
DOI: 10.1007/978-3-319-66162-9_15.
You can read the full text:
Contributors
The following have contributed to this page
