Abstract
The significance of three-valued logics partly depends on the interpretation of the third truth-value. When it refers to the idea of unknown, we have shown that a number of three-valued logics, especially Kleene, Łukasiewicz, and Nelson, can be encoded in a simple fragment of the modal logic KD, called MEL, containing only modal formulas without nesting. This is the logic of possibility theory, the semantics of which can be expressed in terms of all-or-nothing possibility distributions representing an agent’s epistemic state. Here we show that this formalism can also encode some three-valued paraconsistent logics, like Priest, Jaśkowski, and Sobociński’s, where the third truth-value represents the idea of contradiction. The idea is just to change the designated truth-values used for their translations. We show that all these translations into modal logic are very close in spirit to Avron’s early work expressing natural three-valued logics using hypersequents. Our work unifies a number of existing formalisms and the translation also highlights the perfect symmetry between three-valued logics of contradiction and three-valued logics of incomplete information, which corresponds to a swapping of modalities in MEL.
Keywords
- Three-valued logics
- Paraconsistent logic
- Possibility theory
Mathematics Subject Classification (2000)
- Primary 03B53
- Secondary 03B50
- 03B45
- 03B42
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
A system is over-complete if any formula is a theorem.
- 2.
A negation \(\lnot \) is internal if “\(\Gamma , A \vdash \Delta \) iff \( \Gamma \vdash \Delta , \lnot A\)” or equivalently if “\(\Gamma \vdash \Delta , A\) iff \( \Gamma , \lnot A \vdash \Delta \).” An implication \(\rightarrow \) is internal if “\(\Gamma , A \vdash \Delta , B\) iff \(\Gamma \vdash \Delta , A \rightarrow B\).”
- 3.
Not to be confused with the MEL contrapositive form of \({\Box }a \rightarrow {\Box }b\), i.e., \(({\Box }b)' \rightarrow ({\Box }a)'\), of course equivalent to the former.
- 4.
The convention differs from the ones in the preliminary version of this paper [11] where we used \({\Box }p\) to stand for “at least one source asserts p.” The latter convention leads to a logic where \({\Box }\) has the same properties as \({\lozenge }\) in a KD system, which may be misleading.
- 5.
Note that Jaśkowski traces back this implication to Słupecki.
- 6.
So-called, as it violates the contradiction law and satisfies the excluded middle law.
References
Anderson, A.R., Belnap, N.D.: Entailment. The Logic of Relevance and Necessity. Princeton University Press, Princeton (1975)
Asenjo, F.G.: A calculus of antinomies. Notre Dame J. Form. Log. 7, 103–105 (1966)
Asenjo, F.G., Tamburino, J.: Logic of antinomies. Notre Dame J. Form. Log. 16, 17–44 (1975)
Avron, A.: On an implication connective of RM. Notre Dame J. Form. Log. 27, 201–209 (1986)
Avron, A.: Natural 3-valued logics—characterization and proof theory. J. Symb. Log. 56(1), 276–294 (1991)
Banerjee, M., Dubois, D.: A simple modal logic for reasoning about revealed beliefs. In: Sossai, C., Chemello, G. (eds.) Proceedings ECSQARU 2009, Verona, Italy, LNAI 5590. Springer, pp. 805-816 (2009)
Banerjee, M., Dubois, D.: A simple logic for reasoning about incomplete knowledge. Int. J. Approx. Reason. 55, 639–653 (2014)
Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic. D. Reidel, pp. 8-37 (1977)
Brady, R.: Completeness proofs for the systems RM3 and BN4. Logique et Analyse 25, 51–61 (1982)
Carnielli, W., Lima-Marques, M.: Society semantics for multiple-valued logics. In: Advances in Contemporary Logic and Computer Science, Contemporary Mathematics, vol. 235, pp. 33-52. American Mathematical Society (1999)
Ciucci, D., Dubois, D.: From paraconsistent three-valued logics to multiple-source epistemic logic. In: Proceedings 8th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT-13. Atlantis Press (2013)
Ciucci, D., Dubois, D.: A modal theorem-preserving translation of a class of three-valued logics of incomplete information. J. Appl. Non-Class. Log. 23(4), 321–352 (2013)
da Costa, N.C.A., Alves, E.H.: Relations between paraconsistent logics and many-valued logic. Bull. Sec. Logic Polish Acad. Sci. 10, 185–191 (1981)
D’Ottaviano, I.M.L., da Costa, N.C.A.: Sur un problème de Jaśkowski. Comptes Rendus de l’Académie des Science 270, 1349–1353 (1970)
Dubois, D.: Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic. Soft Comput. 16(11), 1817–1831 (2012)
Dubois, D., Prade, H.: Possibility theory: qualitative and quantitative aspects. In: Gabbay,D.M., Smets, Ph. (eds.) Quantified Representation of Uncertainty and Imprecision. Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 1, pp. 169-226. Kluwer Academic Publications (1998)
Jaśkowski, S.: Propositional calculus for contradictory deductive systems. Stud. Logica 24, 143–160 (1969)
Monteiro, D.: Construction des algèbres de łukasiewicz trivalentes dans les algèbres de Boole monadiques. Math. Japon. 12, 1–23 (1967)
Nelson, D.: Constructible falsity. J. Symb. Logic 14, 16–26 (1949)
Priest, G.: The Logic of Paradox. J. Philos. Logic 8, 219–241 (1979)
Sette, A.M.: On propositional calculus P\(\_\)1. Math. Japon. 16, 173–180 (1973)
Sobociński, B.: Axiomatization of a partial system of three-value calculus of propositions. J. Comput. Syst. 1, 23–55 (1952)
Tanaka, K., Berto, F., Mares, E., Paoli, F. (eds.): Paraconsistency: Logic and Applications. Springer (2013)
Acknowledgments
The authors wish to thank Philippe Besnard for remarks on the first draft that led us to improve the presentation.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer India
About this paper
Cite this paper
Ciucci, D., Dubois, D. (2015). From Possibility Theory to Paraconsistency. In: Beziau, JY., Chakraborty, M., Dutta, S. (eds) New Directions in Paraconsistent Logic. Springer Proceedings in Mathematics & Statistics, vol 152. Springer, New Delhi. https://doi.org/10.1007/978-81-322-2719-9_10
Download citation
DOI: https://doi.org/10.1007/978-81-322-2719-9_10
Published:
Publisher Name: Springer, New Delhi
Print ISBN: 978-81-322-2717-5
Online ISBN: 978-81-322-2719-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)