A Generalization of Ordered-Pair Semantics

In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 149-157 (2021)
  Copy   BIBTEX

Abstract

In this paper, we generalize the ordered-pair semantics advanced by Matthew Clemens for the Logic of Paradox 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 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Reconsidering ordered pairs.Dana Scott & Dominic McCarty - 2008 - Bulletin of Symbolic Logic 14 (3):379-397.
Semantics in Banach spaces.Sławomir Bugajski - 1983 - Studia Logica 42 (1):81 - 88.
Ordered pair semantics and negation in LP.Matthew Clemens - 2020 - Australasian Journal of Logic 17 (5):201-205.
Semantics with Only One Bedeutung.Sergey Pavlov - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:81-85.
Implementing Mathematical Objects in Set Theory.Thomas Forster - 2007 - Logique Et Analyse 50 (197):79-86.
Monoid Based Semantics for Linear Formulas.W. P. R. Mitchell & H. Simmons - 2001 - Journal of Symbolic Logic 66 (4):1597-1619.
Generalized Update Semantics.Simon Goldstein - 2019 - Mind 128 (511):795-835.
Monoid based semantics for linear formulas.W. P. R. Mitchell & H. Simmons - 2001 - Journal of Symbolic Logic 66 (4):1597-1619.
Monoid based semantics for linear formulas.W. P. R. Mitchell & H. Simmons - 2002 - Journal of Symbolic Logic 67 (2):505-527.
The empty set, the Singleton, and the ordered pair.Akihiro Kanamori - 2003 - Bulletin of Symbolic Logic 9 (3):273-298.

Analytics

Added to PP
2022-03-10

Downloads
8 (#1,157,597)

6 months
4 (#368,572)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Jonas R. B. Arenhart
Universidade Federal de Santa Catarina

References found in this work

No references found.

Add more references