Abstract
Three-valued logics are standardly used to formalize gappy languages, i.e., interpreted languages in which sentences can be true, false or neither. A three-valued logic that assigns the same truth value to all gappy sentences is, in our view, insufficient to capture important semantic differences between them. In this paper we will argue that there are two different kinds of pathologies that should be treated separately and we defend the usefulness of a four-valued logic to represent adequately these two types of gappy sentences. Our purpose is to begin the formal exploration of the four-valued logics that could be used to represent the phenomena in question and to show that these phenomena are present in natural language, at least according to some semantic theories of natural language.
Acknowledgment
A version of this paper was presented at the IX Conference of the Spanish Society for Logic, Methodology and Philosophy of Science, held in Madrid in 2018, and at the Workshop on non-classical validity and logical pluralism, held in Barcelona in January 2020. We thank the audiences in both events for their comments. We wish to thank also an anonymous referee for this journal, for helpful comments and suggestions.
Research funding: The research for this paper has been funded by project 2019PID-107667GB-I00 of the Spanish Ministry of Science and Innovation and the European Union.
References
Belnap, Nuel. 1977. A useful four-valued logic. In Michael Dunn & George Epstein (eds.), Modern uses of multiple-valued logic, 5–37. Dortrecht: Reidel.10.1007/978-94-010-1161-7_2Search in Google Scholar
Braun, David. 1993. Empty names. Noûs 27(4). 449–469. https://doi.org/10.2307/2215787.Search in Google Scholar
Da Ré, Bruno, Federico Pailos & Damian Szmuc. 2020. Theories of truth based on four-valued infectious logics. Logic Journal of the IGPL 28(5). 712–746. https://doi.org/10.1093/jigpal/jzy057.Search in Google Scholar
Donnellan, Keith. 1966. Reference and definite descriptions. The Philosophical Review 75(3). 281–304. https://doi.org/10.2307/2183143.Search in Google Scholar
Donnellan, Keith. 1974. Speaking of nothing. The Philosophical Review 83(1). 3–31. https://doi.org/10.2307/2183871.Search in Google Scholar
Fitting, Melvin. 1994. Kleene’s three-valued logics and their children. Fundamenta Informaticae 20. 113–131. https://doi.org/10.3233/fi-1994-201234.Search in Google Scholar
Gupta, Anil & Nuel Belnap. 1993. The revision theory of truth. Cambridge, MA: MIT Press.10.7551/mitpress/5938.001.0001Search in Google Scholar
Kaplan, David. 1978. Dthat. In Peter Cole (ed.), Pragmatics (Syntax and semantics 9), 221–243. New York: Academic Press.10.1163/9789004368873_008Search in Google Scholar
Kaplan, David. 1989. Afterthoughts. In Joseph Almog, Howard Wettstein & John Perry (eds.), Themes from Kaplan, 565–614. Oxford: Oxford University Press.Search in Google Scholar
Keefe, Rosanna. 2000. Theories of vagueness. Cambridge: Cambridge University Press.Search in Google Scholar
Kripke, Saul. 1975. Outline of a theory of truth. Journal of Philosophy 72. 690–716. https://doi.org/10.2307/2024634.Search in Google Scholar
Kripke, Saul. 1980. Naming and necessity. Cambridge, MA: Harvard University Press.Search in Google Scholar
Martínez-Fernández, José. 2014. Remarks on the Gupta-Belnap fixed-point property for k-valued clones. Journal of Applied Non-Classical Logics 24(1–2). 118–131. https://doi.org/10.1080/11663081.2014.911531.Search in Google Scholar
Russell, Bertrand. 1956[1905]. On denoting. In Logic and knowledge, 39–56. London: Unwin Hyman.10.4324/9780203822586-6Search in Google Scholar
Strawson, Peter Frederick. 1952. Introduction to logical theory. London: Methuen.Search in Google Scholar
Strawson, Peter Frederick. 1971[1950]. On referring. Logico-linguistic papers, 1–27. London: Methuen.Search in Google Scholar
Szmuc, Damian Enrique. 2016. Defining LFIs and LFUs in extensions of infectious logics. Journal of Applied Non-Classical Logics 26(4). 286–314. https://doi.org/10.1080/11663081.2017.1290488.Search in Google Scholar
Tye, Michael. 1994. Sorites paradoxes and the semantics of vagueness. In James E. Tomberlin (ed.), Logic and language (Philosophical perspectives 8), 189–206. Atascadero, CA: Ridgeview.10.2307/2214170Search in Google Scholar
Visser, Albert. 1984. Semantics and the liar paradox. In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of philosophical logic IV, 617–706. Dortrecht: Kluwer.10.1007/978-94-009-1171-0_10Search in Google Scholar
Wettstein, Howard. 1981. Demonstrative reference and definite descriptions. Philosophical Studies 40(2). 241–257. https://doi.org/10.1007/bf00353794.Search in Google Scholar
© 2021 Walter de Gruyter GmbH, Berlin/Boston