Abstract
In this paper, we generalize the ordered-pair semantics advanced by Matthew Clemens for the Logic of Paradox (LP) to n-tuple semantics, for each fixed n. Moreover, we show that the resulting semantics can accommodate not only LP, but also classical logic as well as strong Kleene logic depending on the set of designated (or distinguished) values that one chooses. Building on the technical observations, we offer intuitively plausible readings for the semantics, and we also discuss some weaknesses of the original intuitive reading advanced by Clemens.
The research of HO was supported by a Sofja Kovalevskaja Award of the Alexander von Humboldt-Foundation, funded by the German Ministry for Education and Research. The research of JRBA was also supported by the Alexander von Humboldt-Foundation through the Experienced Researcher Fellowship program, funded by CAPES-Humboldt. We would like to thank the referees for their careful comments.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We are using the subscript 3 just to indicate that there are three designated values. We will consider other possibilities later.
- 2.
The idea of n-tuple semantics is not new. Diderik Batens [1], for one, presents one such semantics, but it goes along different direction than the one we introduce later.
- 3.
The two-part semantics that suits better for dialetheists is described by use of relational semantics with two truth values rather than functional semantics with three truth values (see [15, pp. 148–149] for the details). The most faithful semantic presentation of LP by dialetheists advanced so far, which relies on a dialetheic metatheory, is presented by Zach Weber, Guillermo Badia and Patrick Girard in [18].
- 4.
As observed by Newton C. A. da Costa, Otávio Bueno and Steven French in [6], the logic of quasi-truth is closely related to discussive logic, one of the first paraconsistent systems, introduced by Stanisław Jaśkowski in [9,10,11]. Interestingly, the conditional of the three-valued paraconsistent logic LPT introduced in [5] is that of Sette’s system \(\mathbf{P^1}\) (cf. [17]), which enjoys a discussive semantics, as observed in [13]. Therefore, by making some simple changes for the negation, we obtain a discussive semantics for the conjunction-disjunction free fragment of LPT. Moreover, seen from this perspective, the semantics by Clemens, as well as our generalization, can be understood as a discussive semantics for LP.
References
Batens, D.: A bridge between two-valued and many-valued semantic:systems: N-tuple semantics. In: Proceedings of the 12th International Symposium on Multiple-Valued Logics, pp. 121–133. IEEE (1982)
Clemens, M.: Ordered pair semantics and negation in LP. Aust. J. Log. 17(5), 201–205 (2020)
Cobreros, P., Egré, P., Ripley, D., van Rooij, R.: Tolerant, classical, strict. J. Philos. Logic 41(2), 347–385 (2012)
Cobreros, P., Égré, P., Ripley, D., Van Rooij, R.: Reaching transparent truth. Mind 122(488), 841–866 (2013)
Coniglio, M.E., Silvestrini, L.H.D.C.: An alternative approach for quasi-truth. Logic J. IGPL 22(2), 387–410 (2013)
Da Costa, N.C., Bueno, O., French, S.: The logic of pragmatic truth. J. Philos. Log. 27(6), 603–620 (1998)
Frankowski, S.: Formalization of a plausible inference. Bull. Sect. Log. 33(1), 41–52 (2004)
Halmos, P.R.: Lectures on Boolean Algebras. Van Nostrand, New York (1963)
Jaśkowski, S.: Propositional calculus for contradictory deductive systems. Studia Logica 24, 143–157 (1969)
Jaśkowski, S.: A propositional calculus for inconsistent deductive systems. Log. Log. Philos. 7, 35–56 (1999), a new translation of [9]
Jaśkowski, S.: On the discussive conjunction in the propositional calculus for inconsistent deductive systems. Log. Log. Philos. 7, 57–59 (1999)
Mikenberg, I., Costa, N.C.A.D., Chuaqui, R.: Pragmatic truth and approximation to truth. J. Symbol. Log. 51(1), 201–221 (1986)
Omori, H.: Sette’s logics, revisited. In: Baltag, A., Seligman, J., Yamada, T. (eds.) Proceedings of LORI 2017, pp. 451–465 (2017)
Priest, G.: In Contradiction: A Study of the Transconsistent. Oxford University Press, Oxford (2006)
Priest, G.: Introduction to Non-classical Logics: From Ifs to Is, 2nd edn. Cambridge University Press, Cambridge (2008)
Selby-bigge, L., Hume, D.: An Enquiry Concerning Human Understanding, 2nd edn. CreateSpace Independent Publishing Platform (2015). https://books.google.de/books?id=-aTvsgEACAAJ
Sette, A.: On the propositional calculus P\(^1\). Math. Japonicae 16, 173–180 (1973)
Weber, Z., Badia, G., Girard, P.: What is an inconsistent truth table? Aust. J. Philos. 94(3), 533–548 (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Omori, H., Arenhart, J.R.B. (2021). A Generalization of Ordered-Pair Semantics. In: Ghosh, S., Icard, T. (eds) Logic, Rationality, and Interaction. LORI 2021. Lecture Notes in Computer Science(), vol 13039. Springer, Cham. https://doi.org/10.1007/978-3-030-88708-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-88708-7_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-88707-0
Online ISBN: 978-3-030-88708-7
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)