Skip to main content
SpringerLink
Log in

Multimodal Incompleteness Under Weak Negations

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

This paper shows that some classes of multimodal paraconsistent logics endowed with weak forms of negation are incompletable with respect to Kripke semantics. The reach of such incompleteness is discussed, and we argue that this shortcoming, more than just a logical predicament, may be relevant for attempts to characterize quantum logics and to handle quantum information and quantum computation.

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. Agudelo J.C, Carnielli W.A: Paraconsistent machines and their relation to quantum computing. J. Log. Computat. 20(2), 573–595 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  2. Batens D: Paraconsistent extensional propositional logics. Logique et Anal. 90(−91), 195–234 (1980)

    MathSciNet  Google Scholar 

  3. Bueno-Soler J: Completeness and incompleteness for anodic modal logics. J. Appl. Non-Class. Log. 19(3), 291–310 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  4. Bueno-Soler J: Two semantical approaches to paraconsistent modalities. Logica Univers. 4(1), 137–160 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  5. Baltag A, Smets S: The dynamic turn in quantum logic. Synthese 186(3), 753–773 (2012)

    Article  Google Scholar 

  6. Bueno-Soler J: Models for anodic and cathodic multimodalities. Log. J. IGPL. 20(2), 458–476 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  7. Birkhoff G, von Neumann J: The logic of quantum mechanics. Ann. Math. 37, 823–843 (1936)

    Article  Google Scholar 

  8. Battilotti, G., Zizzi, P.: Logical interpretation of a reversible measurement in quantum computing. CoRR, quant-ph/0408068 (2004)

  9. 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)

  10. Dalla Chiara M.L, Giuntini R: Paraconsistent ideas in quantum logic. Synthese 125(1–2), 55–68 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  11. Coniglio M.E: Logics of deontic inconsistency. Revista Brasileira de Filosofia 233, 162–186 (2009)

    Google Scholar 

  12. Canielli, W.A., Pizzi, C.: Modalities and Multimodalities. Springer, New York (2008)

  13. Coniglio M.E, Peron N.M: A paraconsistentist approach to Chisholm’s paradox. Principia 13, 299–326 (2009)

    Article  Google Scholar 

  14. da Costa N.C.A, Carnielli W.A: On paraconsistent deontic logic. Philosophia-the Philosophical Q. Israel 16(3/4), 293–305 (1986)

    Article  Google Scholar 

  15. da Costa, N.C.A., Krause, D.: Remarks on the applications of paraconsistent logic to physics (2011) http://philsci-archive.pitt.edu/1566/1/CosKraPATTY.pdf

  16. Destouches-Février, P.: La Structure des Théories Physiques. Presses Universitaires de France, Paris (1951)

  17. Einstein A, Podolsky B, Rosen N: Can quantum mechanical description of reality be considered complete? Phys. Rev. 47, 777–780 (1935)

    Article  MATH  Google Scholar 

  18. Feynman R.P: Simulating physics with computers. Int. J. Theor. Phys. 21(6), 467–488 (1982)

    Article  MathSciNet  Google Scholar 

  19. Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic. Barnes and Noble, Inc., New York (1968)

  20. Hakli, R., Negri, S.: Does the deduction theorem fail for modal logic? Synthese (2011). doi:10.1007/s11229-011-9905-9

  21. Lloyd S: Universal quantum simulators. Science 273(5278), 1073–1078 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  22. Lemmon, E.J., Scott, D.: An introduction to modal logic. In: Segerberg, K.(ed.) The Lemmon Notes. Blackwell, Oxford (1977)

  23. Takeuti G.: Quantum set theory. In: Beltrametti, E.G., van Fraassen, B.C. (eds.) Current Issues in Quantum Logic. Plenum Press, New York, pp. 303–322 (1981)

  24. Tokuo K: Extended quantum logic. J. Philos. Log. 32, 549–563 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  25. van Benthem J: Two simple incomplete logics. Theoria 44, 25–37 (1978)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Federal University of ABC, Santo André, 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.

Additional information

This research was supported by a grant from FAPESP. Additional support has been provided by the FAPESP Thematic Project LogCons (2010/51038-0) and by CPAI-UnB. The author acknowledges the support and hospitality of the School of Historical and Philosophical Studies of the University of Melbourne.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bueno-Soler, J. Multimodal Incompleteness Under Weak Negations. Log. Univers. 7, 21–31 (2013). https://doi.org/10.1007/s11787-012-0075-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-012-0075-4

Mathematics Subject Classification (2010)

Keywords

Search

Navigation