Abstract
Both the phenomenon of presupposition and that of vagueness have motivated the use of one form or another of trivalent logic, in which a declarative sentence can not only receive the standard values true (1) and false (0), but also a third, non-standard truth-value which is usually understood as ‘undefined’ (#). The goal of this paper is to propose a multivalent framework which can deal simultaneously with presupposition and vagueness, and, more specifically, capture their projection properties as well as their different roles in language. Now, there is a prima facie simple way of doing this, which simply consists in assimilating the two phenomena, and using an appropriate type of trivalent logic. On this view, we just need a compositional system that deals with the ‘undefined’ truth-value, and does not care about whether the source of undefinedness is ‘presuppositional’ or related to vagueness. I will argue that such a simple solution cannot succeed, and point out a number of desiderata that any successful approach must meet. I will then present and discuss two seven-valued semantics, inspired, respectively, by the Strong Kleene semantics and by supervaluationism, which meet these desiderata.
Similar content being viewed by others
Notes
There is a recent debate as to whether the predicted asymmetry is real. Schlenker (2008) and Chemla and Schlenker (2012) argue for a kind of ambiguity, whereby the predictions made by the Middle Kleene truth-tables correspond to one of two possible readings (though these proposals do not adopt a trivalent approach to presupposition projection), while the other reading corresponds to what would be predicted by the symmetric Strong Kleene truth-tables (see below). Rothschild (2011), on the other hand, claims that there is no real asymmetry in presupposition projection.
There is of course a close relationship between Strong Kleene and Middle Kleene. Middle Kleene can be viewed as an asymmetric variant of Strong Kleene. In Middle Kleene, for every binary connective, whenever the first argument received a standard truth-value (0 or 1), the corresponding line is identical to its counterpart in the Strong Kleene truth-table. When the first argument receives the value \(\#\), then the sentence as a whole receives the value \(\#\). George 2008 offers a way of deriving in a systematic way Middle Kleene truth-tables on the basis of classical truth-tables, simply by using a different definition of a ‘repair’ from the one used below in (6). George furthermore extends this account to predicate logic and beyond.
Priest (1984), followed by Ripley (2013), offers a hierarchy of levels, where the semantics at level \(n+1\) is derived from the one at level \(n\) by means of a generalization of the rule given in (8). The 1st-level semantics in Ripley (2013) is just classical, bivalent semantics. The 2nd-level truth-values consist of the non-empty subsets of \(\{0,1\}\), i.e. \(\{0\}\), \(\{1\}\), and \(\{0, 1\}\), and the associated semantics is then Strong Kleene, with \(\{0,1\}\) playing the role of the third truth-value. The 3rd level in Ripley’s system thus corresponds to my 2nd level, and its semantics is derived exactly as stated in (8), but not on the basis of Middle Kleene—so the resulting semantics is different from the one presented here.
As Paul Egré pointed out to me (p.c.), this might actually be reasonable, because the threshold for tallness might be different for boys and girls, or for young children and adult children. I am assuming here that the standard for tallness is uniform for all of John’s children. One way of making this natural is to consider a case where John has no daughter, and only adult sons, who happen to be borderline-tall and to have blue eyes.
References
Beaver D, Krahmer E (2001) A partial account of presupposition projection. J Log Lang Inf 10(2):147–182
Chemla E, Schlenker P (2012) Incremental vs. symmetric accounts of presupposition projection: an experimental approach. Nat Lang Semant 20(2):177–226
Cobreros P, Egré P, Ripley D, van Rooij R (2012) Tolerant, classical, strict. J Philos Log 41(2):347–385
Cobreros P, Egré P, Ripley D, van Rooij R (2015) Vagueness, truth and permissive consequence. In: Achourioti T, Galinon H, Fernández JM, Fujimoto K (eds) Unifying the Philosophy of Truth, Volume 36 of Logic, Epistemology, and the Unity of Science. Springer, New York
Fine K (1975) Vagueness, truth and logic. Synthese 30(3):265–300
Fox D (2009) Two short notes on Schlenker’s theory of presupposition projection. Theor Linguist 34(3):237–252
George BR (2008) A new predictive theory of presupposition projection. In: Friedman T, Ito S (eds) Proceedings of SALT XVIII. Cornell University, Ithaca, NY
George BR (2014) Some remarks on certain trivalent accounts of presupposition projection. J Appl Non-Class Log 24(1–2):86–117
Heim I (1983) On the projection problem for presuppositions. Proc WCCFL 2:114–125
Kleene SC (1952) Introduction to metamathematics. North-Holland, Groeningen
Peters S (1979) A truth-conditional formulation of Karttunen’s account of presupposition. Synthese 40(2):301–316
Priest G (1984) Hyper-contradictions. Logique et Analyse 27(107):237–243
Ripley D (2013) Sorting out the sorites. In: Tanaka K, Berto F, Mare E, Paoli F (eds) Paraconsistency: logic and applications, volume 26 of logic, epistemology, and the unity of science. Springer, Berlin, pp 329–348
Rothschild D (2011) Explaining presupposition projection with dynamic semantics. Semant Pragmat 4:3–1
Schlenker P (2008) Be articulate: a pragmatic theory of presupposition projection. Theor Linguist 34(3):157–212
Stalnaker R (1978) Assertion. In: Cole P (ed) Syntax and semantics, vol 9. Academic Press, New York, pp 315–322
Van Fraassen BC (1966) Singular terms, truth-value gaps, and free logic. J Philos 63(17):481–495
von Fintel K (2004) Would you believe it? The King of France is back! Presuppositions and truth-value intuitions. In: Bezuidenhout A, Reimer M (eds) Descriptions and beyond. Oxford University Press, Oxford, pp 315–341
Zehr J (2013) ST5: a 5-valued logic for truth-value judgments involving vagueness and presuppositions. In: Colinet M, Katrenko S, Rendsvig RK (eds) Pristine perspectives on logic, language and computation, Volume 8607. ESSLLI 2012–2013, pp 247–265
Zehr J (2014) Vagueness, presupposition and truth value judgments. Ph. D. thesis, Ecole Normale Supérieure, Paris
Acknowledgments
I would like to gratefully acknowledge the important role that my numerous conversations with Jérémy Zehr and Paul Egré played in stimulating my thoughts and thereby shaping the ideas that I present here. I also thank Paul Egré for his careful reading of a first draft of this paper. The research leading to these results has received support from the Agence Nationale de la Recherche (grants ANR-10-LABX-0087 IEC, ANR-10-IDEX-0001-02 PSL, & ANR-14-CE30-0010-01 TriLogMean).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Spector, B. Multivalent Semantics for Vagueness and Presupposition. Topoi 35, 45–55 (2016). https://doi.org/10.1007/s11245-014-9292-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11245-014-9292-1