Skip to main content
SpringerLink
Log in

Two Semantical Approaches to Paraconsistent Modalities

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

In this paper we extend the anodic systems introduced in Bueno-Soler (J Appl Non Class Logics 19(3):291–310, 2009) by adding certain paraconsistent axioms based on the so called logics of formal inconsistency, introduced in Carnielli et al. (Handbook of philosophical logic, Springer, Amsterdam, 2007), and define the classes of systems that we call cathodic. These classes consist of modal paraconsistent systems, an approach which permits us to treat with certain kinds of conflicting situations. Our interest in this paper is to show that such systems can be semantically characterized in two different ways: by Kripke-style semantics and by modal possible-translations semantics. Such results are inspired in some universal constructions in logic, in the sense that cathodic systems can be seen as a kind of fusion (a particular case of fibring) between modal logics and non-modal logics, as discussed in Carnielli et al. (Analysis and synthesis of logics, Springer, Amsterdam, 2007). The outcome is inherently within the spirit of universal logic, as our systems semantically intermingles modal logics, paraconsistent logics and many-valued logics, defining new blends of logics whose relevance we intend to show.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Batens D.: Paraconsistent extensional propositional logics. Logique et analyse 90-91, 195–234 (1980)

    MathSciNet  Google Scholar 

  2. Béziau J.-Y.: From paraconsistent logic to universal logic. Sorites 12, 5–32 (2001)

    Google Scholar 

  3. Blok, W.J., Pigozzi, D.: Algebraizable Logics, Vol 396 of Memoirs of the American Mathematical Society. American Mathematical Society (1989)

  4. Bueno-Soler, J.: Completeness and incompleteness for anodic modal logics. J. Appl. Non Class. Logics 19(3), 291–310 (2009). Pre-print available at: http://www.cle.unicamp.br/e-prints/vol_9,n_5,2009.html

    Google Scholar 

  5. Bueno-Solerm, J.: Multimodalidades anódicas e catódicas: a negação controlada em lógicas multimodais e seu poder expressivo (Anodic and cathodic multimodalities: controled negation in multimodal logics and their expressive power). Ph.D Thesis, in Portuguese, IFCH-Unicamp, Campinas, Brazil (2009)

  6. Carnielli W.A., Coniglio M.E., Gabbay D., Gouveia P., Sernadas C. (2007) Analysis and Synthesis of Logics. Sringer: Amsterdam

  7. Carnielli W.A., Coniglio M.E., Marcos J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic, vol. 14, pp. 1–93. Springer, Amsterdam (2007)

    Chapter  Google Scholar 

  8. Costa-Leite, A.: Paraconsistência, modalidades e cognoscibilidade. Master’s thesis, IFCH-Unicamp, Campinas, SP, Brazil (2003)

  9. Carnielli W.A., Marcos J.: A taxonomy of C-systems. In: Carnielli, W.A., Coniglio, M.E., D’Ottaviano, I.M.L. (eds) Paraconsistency—The Logical Way to the Inconsistent, Lecture Notes in Pure and Applied Mathematics, vol. 228, Marcel Dekker, New York (2002)

    Google Scholar 

  10. Coniglio, M.E.: Logics of deontic inconsistency. CLE e-Prints 7(4) (2007). ftp://logica.cle.unicamp.br/pub/e-prints/vol.7,n.4,2007.pdf

  11. Canielli W.A., Pizzi C.: Modalities and Multimodalities. Springer, Amsterdam (2008)

    Book  Google Scholar 

  12. Coniglio, M.E., Peron, N.M.: A paraconsistentist approach to Chisholm’s paradox. In: Fourth World Congress of Paraconsistency (WCP4): The Fourth World Congress of Paraconsistency, pp. 18–19. Ormond College, Melbourne (2008)

  13. da Costa N.C.A., Carnielli W.A.: On paraconsistent deontic logic. Philosophia 16(3/4), 293–305 (1986)

    Article  Google Scholar 

  14. Henkin, L.: Fragments of the propositional calculus. J. Symb. Logic 14(1), (1949)

  15. Hansen, J., Pigozzi, G., van der Torre, L.: Ten philosophical problems in deontic logic. In: Boella, G., van der Torre, L., Verhagen, H. (eds.), Normative Multi-agent Systems, number 07122 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

  16. Lemmon E.J., Scott D.: An introduction to modal logic. Blackwell, Oxford (1977)

    MATH  Google Scholar 

  17. Marcos J.: Possible-translations semantics for some weak classically based paraconsistent logics. J. Appl. Non Class. Logics 18(1), 07–28 (2008)

    Article  MathSciNet  Google Scholar 

  18. Zalta E.N.: A classically-based theory of impossible worlds. Notre Dame J. Formal Logic 38(4), 640–660 (1997)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Institute of Mathematics and Statistics, University of São Paulo, São Paulo, SP, Brazil

    Juliana Bueno-Soler

Authors
  1. Juliana Bueno-Soler
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Juliana Bueno-Soler.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bueno-Soler, J. Two Semantical Approaches to Paraconsistent Modalities. Log. Univers. 4, 137–160 (2010). https://doi.org/10.1007/s11787-010-0015-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-010-0015-0

Mathematics Subject Classification (2000)

Keywords

Search

Navigation