Abstract
The aim of this paper is to introduce an alternative to Łukasiewicz’s 4-valued modal logic Ł. As it is known, Ł is afflicted by “Łukasiewicz (modal) type paradoxes”. The logic we define, PŁ4, is a strong paraconsistent and paracomplete 4-valued modal logic free from this type of paradoxes. PŁ4 is determined by the degree of truth-preserving consequence relation defined on the ordered set of values of a modification of the matrix MŁ characteristic for the logic Ł. On the other hand, PŁ4 is a rich logic in which a number of connectives can be defined. It also has a simple bivalent semantics of the Belnap–Dunn type.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ackermann W.: Begründung einer strengen implikation. J. Symb. Log. 21(2), 113–128 (1956)
Anderson, A.R., Belnap, N.D. Jr.: Entailment. The logic of relevance and necessity, vol. I. Princeton University Press, Princeton (1975)
Batens D., De Clercq K., Kurtonina N.: Embedding and interpolation for some paralogics. The propositional case. Rep. Math. Log. 33, 29–44 (1999)
Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy. Oriel Press Ltd, Stocksfield (1977)
Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic. D. Reidel, Dordrecht (1977)
Béziau J.: A new four-valued approach to modal logic. Log. Anal. 54, 18–33 (2011)
Brady R.T.: Completeness proofs for the systems RM3 and BN4. Log. Anal. 25, 9–32 (1982)
Brady, R.T. (ed.): Relevant logics and their rivals, vol. II. Ashgate, Aldershot (2003)
Carnielli, W., Coniglio, M., Marcos, J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (Eds.) Handbook of Philosophical Logic, vol. 14, pp. 1–93. Springer, Berlin (2007)
Dunn, J.M.: The algebra of intensional logics. Doctoral dissertation, University of Pittsburg, Ann Arbor, University Microfilms (1966)
Dunn J.M.: Intuitive semantics for first-degree entailments and ‘coupled trees’. Philos. Stud. 29, 149–168 (1976)
Dunn J.M.: Partiality and its dual. Stud. Log. 65, 5–40 (2000)
Font J.M., Hajek P.: On Łukasiewicz four-valued modal logic. Stud. Log. 70(2), 57–182 (2002)
González, C.: MaTest. (2012). http://ceguel.es/mates. Accessed 01 July 2015
Kamide, N.: Proof systems combining classical and paraconsistent negations. Stud. Log. 91(2), 217–238 (2009)
Karpenko A.S.: Jaśkowski’s criterion and three-valued paraconsistent logics. Log. Log. Philos. 7, 81–86 (1999)
Łukasiewicz, J.: On three-valued logic. In: Łukasiewicz, J., Borkowski, L. (eds.) Selected Works, vol. 1970, pp. 87–88. North-Holland, Amsterdam (1920)
Łukasiewicz, J.: Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Clarendon Press, Oxford (1951)
Łukasiewicz J.: A system of modal logic. J. Comput. Syst. 1, 111–149 (1953)
Łukasiewicz, J.: Selected Works. North-Holland, Amsterdam (1970)
Łukasiewicz, J., Tarski, A.: Untersuchungen über den aussagenkalkül. Compt. Rend. Séances Soc. Sci. Lett. Vars. III(23), 1–21 (1930). [English translation: Investigation into the sentential calculus. In: J. Łukasiewicz (ed. by L. Borkowski), Selected works, North-Holland Pub. Co., Amsterdam, 1970]
Mendelson, E.: Introduction to mathematical logic. In: The University Series in Undergraduate Mathematics. D. Van Nostrand Co., Princeton (1964)
Méndez, J.M., Robles, G., Salto, F.: An interpretation of Łukasiewicz’s 4-valued modal logic. J. Philos. Log. (2015). doi:10.1007/s10992-015-9362-x
Minari, P.: A note on Łukasiewicz’s three-valued logic. Annali del Dipartimento di Filosofia VII, 163–189 (2002). doi:10.13128/Annali_Dip_Filos-1969
Mruczek-Nasieniewska K., Nasieniewski M.: Syntactical and semantical characterization of a class of paraconsistent logics. Bull. Sect. Log. 34(4), 229–248 (2005)
Mruczek-Nasieniewska K., Nasieniewski M.: Paraconsistent logics obtained by J. -Y. Béziau’s method by means of some non-normal modal logics. Bull. Sect. Log. 37(3/4), 185–196 (2008)
Priest, G.: Paraconsistent logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 6, pp. 287–393. Springer, Berlin (2002)
Robles G., Méndez J.M.: The basic constructive logic for a weak sense of consistency. J. Log. Lang. Inf. 17/1, 89–107 (2008)
Robles, G., Méndez, J.M.: A binary Routley semantics for intuitionistic De Morgan minimal logic \({{\rm H}_{-}\{\rm M\}}\) and its extensions. Log. J. IGPL 23(2), 174–193 (2015). doi:10.1093/jigpal/jzu029
Robles, G.: An affixing Routley–Meyer semantics for the 4-valued modal logic PŁ4 (Manuscript)
Routley R., Routley V.: Semantics of first-degree entailment. Noûs 1, 335–359 (1972)
Routley, R., Meyer, R.K., Plumwood, V., Brady R.T.: Relevant logics and their rivals, vol. 1. Ridgeview Publishing Co., Atascadero (1982)
Tomova N.: A lattice of implicative extensions of regular Kleene’s logics. Rep. Math. Log. 47, 173–182 (2012)
Tkaczyk M.: On axiomatization of Łukasiewicz’s four-valued modal logic. Log. Log. Philos. 20(3), 215–232 (2011)
Tuziak R.: Paraconsistent extensions of positive logic. Bull. Sect. Log. 25(1), 15–20 (1996)
Tuziak R.: Finitely many-valued paraconsistent systems. Log. Log. Philos. 5, 121–127 (1997)
Van Fraasen B.: Facts and tautological entailments. J. Philos. 67, 477–487 (1969)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Méndez, J.M., Robles, G. A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes. Log. Univers. 9, 501–522 (2015). https://doi.org/10.1007/s11787-015-0130-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-015-0130-z