TY - GEN
T1 - A Generalization of Ordered-Pair Semantics
AU - Omori, Hitoshi
AU - Arenhart, Jonas R.B.
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - 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.
AB - 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.
KW - Classical logic
KW - Dialetheism
KW - K3
KW - LP
KW - Many-valued logic
UR - http://www.scopus.com/inward/record.url?scp=85117075079&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85117075079&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-88708-7_12
DO - 10.1007/978-3-030-88708-7_12
M3 - Conference contribution
AN - SCOPUS:85117075079
SN - 9783030887070
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 149
EP - 157
BT - Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Proceedings
A2 - Ghosh, Sujata
A2 - Icard, Thomas
PB - Springer Science and Business Media Deutschland GmbH
T2 - 8th International Workshop on Logic, Rationality and Interaction, LORI 2021
Y2 - 16 October 2021 through 18 October 2021
ER -