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. 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.
A foolish consistency is the hobgoblin of little minds, adored by little statesmen and philosophers and divines.
Ralph Waldo Emerson ( 1841 ).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
It is commonly accepted that (PEx) and (PNC) are taken to be independent, in the sense that neither of them entails the other; see, e.g., Béziau and Franceschetto (2015) for an argument, where it is also argued that a legitimate paraconsistent logic must reject both principles. As we show in Sect. 15.4, however, such a conclusion should be taken cum grano salis.
- 2.
Notice that this definition implies that any classical contradiction is consistent; this is not any problem, however, since ‘consistent’ does not mean ‘true’.
- 3.
A modal system is classified as normal if it contains the Distribution Axiom (K) and the Necessitation Rule (Nec) among its axioms and rules, and as minimal if it has only (K) as a modal axiom and only (Nec) as a modal rule. In this sense, the above defined systems are the minimal normal modal extension of each propositional basis.
- 4.
The obvious example comes from some axiomatizations of geometry where ‘point’ is a primitive concept whose meaning is governed by geometric axioms.
- 5.
M. Fitting in (2017), proposes a formalization of the notion of evidence that defines an embedding of the logic BLE into the modal logic KX4 (a modification of S4). Formally, evidence can be understood as permitting contradictions. It is shown that BLE has both implicit and explicit evidence interpretations in a formal sense.
- 6.
- 7.
As an analogy, imaginary numbers do no exclude real numbers, but help to explain real numbers and expand the logical space where real numbers exist.
References
Akiba, K. (1996). Field on the notion of consistency. Notre Dame Journal of Formal Logic, 37(4), 625–630.
Allo, P. (2011). The logic of being informed revisited and revised. Philosophical Studies, 153, 427–434.
Batens, D. (1980). Paraconsistent extensional propositional logics. Logique et analyse, 90–91, 195–234.
Béziau, J.-Y. (2002). S5 is a paraconsistent logic and so is first-order classical logic. Logical Studies, 9, 301–309.
Béziau, J.-Y. (2003). New light on the square of oppositions and its nameless corner. Logical Investigations, 10, 218–232.
Béziau, J.-Y., & Franceschetto, A. (2015). Strong three-valued paraconsistent logics. In J.-Y. Béziau, M. Chakraborty, & S. Dutta (Eds.), New Directions in Paraconsistent Logic: 5th WCP, Kolkata, Feb 2014 (pp. 131–145). New Delhi: Springer India.
Brunner, A., & Carnielli, W. (2005). Anti-intuitionism and paraconsistency. Journal of Applied Logic, 3(1), 161–184.
Bueno-Soler, J. (2009). Completeness and incompleteness for anodic modal logics. Journal of Applied Non-Classical Logic, 4(5), 291–310. Pre-print available at: ftp://logica.cle.unicamp.br/pub/e-prints/vol.9,n.5,2009.pdf
Bueno-Soler, J. (2010). Two semantical approaches to paraconsistent modalities. Logica Universalis, 4(1), 137–160. Pre-print available at: http://www.cle.unicamp.br/e-prints/vol{\_}9,n{\_}6,2009.html
Carnielli, W. A. (2011). The single-minded pursuit of consistency and its weakness. Studia Logica, 97(1), 81–100.
Carnielli, W. A., & Coniglio, M. E. (2016a). Paraconsistent set theory by predicating on consistency. Journal of Logic and Computation, 26(1), 97–116.
Carnielli, W. A., & Coniglio, M. E. (2016b). Paraconsistent logic: Consistency, contradiction and negation (Logic, epistemology and the unity of science). Cham: Springer International Publishing.
Carnielli, W. A., Coniglio, M. E., & Marcos, J. (2007). Logics of formal inconsistency. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 14, pp. 1–93) Amsterdam: Springer.
Carnielli, W. A., & Marcos, J. (2002). A taxonomy of C-systems. In W. A. Carnielli, M. E. Coniglio, & I. M. L. D’Ottaviano (Eds.), Paraconsistency the logical way to the inconsistent (Lecture notes in pure and applied mathematics, Vol. 228, pp. 1–94) New York: Marcel Dekker.
Coniglio, M. E., & Peron, N. M. (2009). A paraconsistentist approach to Chisholm’s paradox. Principia, 13(3), 299–326.
Carnielli, W. A., & Rodrigues, A. (2016). An epistemic approach to paraconsistency: A logic of evidence and truth. Pre-print available from ftp://ftp.cle.unicamp.br/pub/e-prints/vol.15,n{\_}5,2015.pdf
Emerson, R. W. (1841). Essays. First series. “Self-Reliance”. http://www.emersoncentral.com/selfreliance.htm
Field, H. (1991). Metalogic and modality. Philosophical Studies, 62, 1–22.
Fitting, M. (2017). Paraconsistent logic, evidence, and justification. Studia Logica. Issn:1572-8730. doi:10.1007/s11225-017-9714-3.
Floridi, L. (2011). The philosophy of information. Oxford: Oxford University Press.
Henkin, L. (1949). Fragments of the propositional calculus. The Journal of Symbolic Logic, 14(1), 42–48.
Kapsner, A., Miller, D., & Dyckhoff, R. (2014). Report on Kalman Cohen’s 1954 Oxford thesis on alternative systems of logic. In J.-Y. B’eziau (Ed.), Handbook of the 5th World Congress of Paraconsistency. Online: http://www.paraconsistency.org/book/Handbook-WCP5.pdf
Lemmon, E. J., & Scott, D. (1977). An introduction to modal logic. In K. Segerberg (Ed.), The Lemmon notes. Oxford: Blackwell.
Marcos, J. (2005). Modality and paraconsistency. Logical Studies, 9, 213–222.
Mortensen, C. (2016). Change and inconsistency. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Winter 2016 ed.). Metaphysics Research Lab, Stanford University.
Ramsey, F. (1980). Truth and probability. In H. E. Kyburg & H. E. Smokler (Eds.), Studies in subjective probability (pp. 23–52). Huntington: R. E. Krieger.
Vineberg, S. (2001). The notion of consistency for partial belief. Philosophical Studies, 102, 281–296.
Wheeler, G. (2015). Is there a logic of information? Journal of Experimental and Theoretical Artificial Intelligence, 27(1), 95–98.
Williams, J. N. (1981). Inconsistency and contradiction. Mind, 360, 600–602.
Wójtowicz, K. (2001). Some remarks on Hartry Fields notion of “logical consistency”. Logic and Logical Philosophy, 9, 199–212.
Acknowledgements
Both authors acknowledge support from FAPESP Thematic Project LogCons 2010/51038-0, Brazil, and the second author thanks a research grant from The National Council for Scientific and Technological Development (CNPq), Brazil. We are indebted to David Gilbert, Raymundo Morado, and Peter Verdee for discussions that helped to improve this paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Bueno-Soler, J., Carnielli, W. (2017). Experimenting with Consistency. In: Markin, V., Zaitsev, D. (eds) The Logical Legacy of Nikolai Vasiliev and Modern Logic. Synthese Library, vol 387. Springer, Cham. https://doi.org/10.1007/978-3-319-66162-9_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-66162-9_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66160-5
Online ISBN: 978-3-319-66162-9
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)