Abstract
In the literature on vagueness one finds two very different kinds of degree theory. The dominant kind of account of gradable adjectives in formal semantics and linguistics is built on an underlying framework involving bivalence and classical logic: its degrees are not degrees of truth. On the other hand, fuzzy logic based theories of vagueness—largely absent from the formal semantics literature but playing a significant role in both the philosophical literature on vagueness and in the contemporary logic literature—are logically nonclassical and give a central role to the idea of degrees of truth. Each kind of degree theory has a strength: the classical kind allows for rich and subtle analyses of the comparative form of gradable adjectives and of various types of gradable precise adjectives, while the fuzzy kind yields a compelling solution to the sorites paradox. This paper argues that the fuzzy kind of theory can match the benefits of the classical kind and hence that the burden is on the latter to match the advantages of the former. In particular, we develop a new version of the fuzzy logic approach that—unlike existing fuzzy theories—yields a compelling analysis of the comparative as well as an adequate account of gradable precise predicates, while still retaining the advantage of genuinely solving the sorites paradox.
Similar content being viewed by others
Notes
\(x_1,\ldots ,x_n\) denote the objects in the series from first (\(x_1\)) through to last (\(x_n\)). x ranges over all objects in the sorites series except the last object and \(x'\) is the object immediately after x in the series.
See e.g. Fara (2000).
As mentioned in Sect. 1, the argument that fuzzy theories of vagueness handle the sorites better than other kinds of theory is presented elsewhere (Smith , forthcoming) and in this paper we do not repeat the argument in full.
The fundamental idea is that truth comes in degrees. The representation of these degrees of truth by real numbers between 0 and 1 inclusive is convenient but not essential to the very idea of degrees of truth, which could potentially be modelled using other structures. We shall discuss this issue further below.
Cf. Forbes (1983, pp. 243–244, 1985, pp. 171–172), Williamson (1994, pp. 123–124), and Paoli (2003, p. 365, forthcoming).
On terminology: Suppose that some speakers’ implicit grasp of certain semantic facts leads them to use language the way they do—and suppose that a certain semantic theory T is a correct codification of those semantic facts. In such a situation, we say that those speakers ‘internalise’ that semantic theory. This is purely for ease of expression and should not be taken to suggest (for example) that the semantic theory comes first and then speakers learn it. On the contrary, the speakers’ usage comes first and the semantic theory seeks to codify those semantic facts, implicit grasp of which leads speakers to use language as they do.
It is relatively straightforward to allow also function symbols in the language and/or consider a special symbol for equality, but we decide to omit them here for simplicity.
By \(v[x{\mapsto }d]\) we denote the \({\textbf{M}}\)-valuation, resulting from v by setting \(v[x{\mapsto }d](x) = d\) and keeping the values of the remaining variables unchanged.
Observe that the notion of consequence we define can be characterized as a sentential truth-preserving notion of consequence, i.e., one which is concerned with whether the property of “having value 1 for all valuations” is preserved. Other alternatives, not considered in the paper, include the non-sentential truth-preserving consequence, which is concerned with whether the property of “having value 1” is preserved for each valuation, or the degree-preserving consequence, which is concerned with whether for all valuations the value of conclusion is not less than the value of each of the premises; see Bou et al. (2009).
It is also possible to define a second disjunction, by means of the formula \(\lnot \varphi \rightarrow \psi \), linked with the conjunction \( \mathbin { \& }\) by De Morgan laws. However, since this disjunction connective will not have a general counterpart in the framework introduced later, we will skip it here.
Actually, it can be shown that n can be taken as the minimum number of times one needs to use the premise \(\varphi \) in a formal proof of \(\psi \) from \(\Gamma \cup \{\varphi \}\) (see Chvalovský & Cintula, 2012).
Alternatively, it can also be obtained by adding the axiom of excluded middle, \(\varphi \vee \lnot \varphi \), or the axiom of contraction: \((\varphi \rightarrow (\varphi \rightarrow \psi ))\rightarrow (\varphi \rightarrow \psi )\); see Hájek (1998).
Observe that while \(*_{\textrm{G}}\) and \(*_\Pi \) are actually continuous (like ), \(*_{\textrm{NM}}\) is only left-continuous.
Note that this pattern also fails for some precise gradable predicates, namely, those whose antonym pairs are contraries (rather than contradictories)—i.e. antonyms A and B such that A is not equivalent to not-B. For instance, it fails for ‘empty’/‘full’, despite these being precise (in some contexts).
These approaches are named after the characters in the following dialogue from the 1984 motion picture This Is Spinal Tap: Nigel Tufnel: This is a top to a, you know, what we use on stage, but it’s very, very special because, if you can see Marty DiBergi: Yeah NT: the numbers all go to eleven. Look, right across the board, eleven, eleven, eleven and MD: Oh, I see. And most amps go up to ten? NT: Exactly. MD: Does that mean it’s louder? Is it any louder? NT: Well, it’s one louder, isn’t it? It’s not ten. You see, most, most blokes, you know, be playing at ten, you’re on ten here, all the way up, all the way up, all the way up, you’re on ten on your guitar, where can you go from there? Where? MD: I don’t know. NT: Nowhere. Exactly. What we do is, if we need that extra push over the cliff, you know what we do? MD: Put it up to eleven. NT: Eleven. Exactly. One louder. MD: Why don’t you just make ten louder and make ten be the top number and make that a little louder? NT: [long pause] These go to eleven.
The two limit points give a largest and a least truth-value whose presence is necessary for our purposes of covering a wide class of graded predicates. Of course, these extremal truth values are not actually used in the modelization of all kinds of graded predicates (see Sect. 6).
Let us note that we could work instead with the optically more manageable interval \([-0.1, 1.1]\) (yet with the same cardinality), which is perhaps more consonant with our up-to-eleven spirit. Or we could, as well, use the unit internal [0, 1] to stress the similarity with t-norms. Any suitable monotone bijection of the extended reals with any chosen closed interval of reals would yield an isomorphic semantics (more details later); however, we would pay the price of losing the natural and simple arithmetic interpretations of conjunction and implication that we have on the extended reals. The choice of a particular closed interval of real numbers as the set of truth values for our algebra is inessential from the point of view of the proposed modeling of the sorites paradox in the next section, so we can pick one just out of aesthetic considerations like those just mentioned.
This correspondence obeys a precise technical sense, which we will not explain here; see right after the definition and the end of the section for some hints.
However, note that this is not the only suitable assignment. For the sake of simplicity, we shall not make this explicit in our formulations, but we advocate a view—called ‘fuzzy plurivaluationism’—which leaves room for the acceptance of multiple equally-suitable models. On this view, instead of each vague discourse being associated with a unique intended fuzzy model, it is associated with multiple acceptable fuzzy models. The acceptable models are all those that our usage and usage dispositions do not rule out as being incorrect interpretations of our language. These models must be adequate, in the sense that they must respect the meaning-determining facts (i.e. what speakers say, and the circumstances in which they say these things; what speakers are disposed to say in possible circumstances; etc.). For example, they must all assign the adjective ‘rich’ a model such that any individual who all speakers agree is paradigmatically rich is assigned a designated value. Moreover, for any two people such that one is clearly richer than the other, all adequate models must assign ‘rich’ a model that maps the former to a higher degree than the latter. The idea is that, even though the meaning-determining facts do not suffice to pin down a single adequate fuzzy model, this does not necessarily lead to abandoning the fuzzy route. We just take all adequate models to be on a par. For more details, see Smith (2008).
Although this may seem very obvious in this setting, other proposals are not able to offer such a simple analysis. For instance, Kennedy (2007) needs to pose a null morpheme transforming so-called ‘bare adjectives’, which denote measure functions, into proper predicates, understood as classical crisp predicates.
This particular choice of analysis forbids comparatives involving different predicates (e.g. ‘Alex is taller than he is smart’), but we could easily modify it so as to leave room for these (by analysing the comparative as a function from a pair of properties to a binary relation). Nevertheless, since this topic falls outside the scope of this article, we will stick to the analysis above.
For more details on this distinction, see Burnett (2016, Chap. 3).
This is one of the ways in which context interacts with the semantic analysis of gradable predicates, but it is not the only one. For instance, another point where context must be taken into account is to determine the exact form of the extension of (a use of) a predicate (and, possibly, anti-extension, depending on the kind of analysis). This is the sense in which ‘tall’ has different extensions depending on whether we are talking, say, about basketball players or about 10 year-old children. The latter collections of objects are usually referred to as ‘the class of comparison’ (see (Kennedy , 2007; Burnett , 2016)) and are usually provided by the context.
In all these cases, we are focusing on the precise use of the predicates in question.
These distributions are described in Kennedy (2007).
We could have chosen any other designated value. For present purposes, it does not need to be the top of the chain. However, we choose the top for simplicity and to capture the intuition that bigraded predicates are a limiting case of any other type of gradable precise predicates.
Once again, we could have chosen any other anti-designated value.
Formulas of the form \( MF (c,d)\) correspond to our old \({\textbf{f}}(c)>{\textbf{f}}(d)\) (i.e. the result of multiple \(\beta \)-reductions on \(\lambda {\textbf{g}}\lambda {\textbf{f}}.\lambda x.{\textbf{g}}(x)>\lambda y.{\textbf{f}}(y)\)). These two representations belong to two different levels of linguistic analysis. The lambda calculus expressions make explicit the compositional steps by which we get to the semantic analysis of complex statements, in this case, comparatives. By contrast, the first-order notation employed here simply expresses the resulting propositional content of those statements. In a sense, we can see the lambda expressions as providing instructions to arrive at the semantics of a binary predicate \(M\!F\), given a corresponding monadic predicate F.
Nevertheless, the question of the axiomatizability of the logic of \({\varvec{C}}\) is left for future research.
References
Åkerman, J. (2009). Extensions in flux: An essay on vagueness and context sensitivity. PhD Thesis, Stockholm University.
Åkerman, J. (2012). Contextualist theories of vagueness. Philosophy Compass, 7(7), 470–480.
Bartsch, R., & Vennemann, T. (1973). Semantic structures: A study in the relation between syntax and semantics. Athäenum Verlag.
Bierwisch, M. (1989). The semantics of gradation. In M. Bierwisch & E. Lang (Eds.), Dimensional adjectives (pp. 71–261). Springer.
Bou, F., Esteva, F., Font, J. M., Gil, À., Godo, L., Torrens, A., & Verdú, V. (2009). Logics preserving degrees of truth from varieties of residuated lattices. Journal of Logic and Computation, 19(6), 1031–1069.
Burnett, H. (2016). Gradability in natural language: Logical and grammatical foundations. Oxford University Press.
Chvalovský, K., & Cintula, P. (2012). Note on deduction theorems in contraction-free logics. Mathematical Logic Quarterly, 58(3), 236–343.
Cintula, P., Fermüller, C G., Hájek, P., & Noguera, C. (Eds.) (2011 and 2015). Handbook of mathematical fuzzy Logic (in three volumes: Studies in logic, mathematical logic and foundations (Vols. 37, 38, and 58). College Publications.
Cresswell, M. J. (1976). The semantics of degree. In B. Partee (Ed.), Montague grammar (pp. 261–92). Academic.
Delia Graff, F. (2000). Shifting sands: An interest-relative theory of vagueness. Philosophical Topics, 28, 45–81. Published under ‘Delia Graff’.
Esteva, F., & Godo, L. (2001). Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. Fuzzy Sets and Systems, 124(3), 271–288.
Fine, K. (1975). Vagueness, truth and logic. Synthese, 30, 265–300.
Forbes, G. (1983). Thisness and vagueness. Synthese, 54, 235–259.
Forbes, G. (1985). The metaphysics of modality. Clarendon Press.
Gabbay, D. M., & Metcalfe, G. (2007). Fuzzy logics based on \([0,1)\)-continuous uninorms. Archive for Mathematical Logic, 46(6), 425–469.
Goguen, J. (1968). The logic of inexact concepts. Synthese, 19, 325–73.
Gottwald, S. (2001). A treatise on many-valued logics: Studies in logic and computation (Vol. 9). Research Studies Press.
Hájek, P. (1998). Metamathematics of fuzzy logic: Trends in logic (Vol. 4). Kluwer.
Hájek, P., Montagna, F., & Noguera, C. (2011). Arithmetical complexity of first-order fuzzy logics. In P. Cintula, P. Hájek, & C. Noguera (Eds.), Handbook of mathematical fuzzy logic—Volume 2: Studies in logic, mathematical logic and foundations (Vol. 38, pp. 853–908). College Publications.
Hay, L. S. (1963). Axiomatization of the infinite-valued predicate calculus. Journal of Symbolic Logic, 28(1), 77–86.
Kamp, H. (1975). Two theories about adjectives. In J. A. W. Kamp & E. L. Keenan (Eds.), Formal semantics of natural language (pp. 123–55). Cambridge University Press.
Kamp, H. (1981). The paradox of the heap. In U. Mönnich (Ed.), Aspects of philosophical logic (pp. 225–277). D. Reidel.
Keefe, R., & Smith, P. (1997). Introduction: Theories of vagueness. In R. Keefe & P. Smith (Eds.), Vagueness: A reader (pp. 1–57). MIT Press.
Kennedy, C. (1997). Projecting the adjective. PhD Thesis, University of California.
Kennedy, C. (2007). Vagueness and grammar: The semantics of relative and absolute gradable adjectives. Linguistics and Philosophy, 30, 1–45.
Kennedy, C., & McNally, L. (2005). Scale structure and the semantic typology of gradable predicates. Language, 81, 345–81.
Klein, E. (1980). A semantics for positive and comparative adjectives. Linguistics and Philosophy, 4(1), 1–45.
Klement, E. P., Mesiar, R., & Pap, E. (2000). Triangular norms: Trends in logic (Vol. 8). Kluwer.
Klir, G. J., & Yuan, B. (1995). Fuzzy sets and fuzzy logic: Theory and applications. Prentice Hall.
Lakoff, G. (1973). Hedges: A study in meaning criteria and the logic of fuzzy concepts. Journal of Philosophical Logic, 2, 458–508.
Łukasiewicz, J. (1920). O logice trójwartościowej (On three-valued logic). Ruch filozoficzny, 5, 170–171.
Łukasiewicz, J., & Tarski, A. (1930). Untersuchungen über den Aussagenkalkül. Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, cl. III, 23(iii), 30–50.
Machina, K. F. (1976). Truth, belief, and vagueness. Journal of Philosophical Logic, 5, 47–78.
Metcalfe, G., & Montagna, F. (2007). Substructural fuzzy logics. Journal of Symbolic Logic, 72(3), 834–864.
Montagna, F., & Ono, H. (2002). Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall \). Studia Logica, 71(2), 227–245.
Mundici, D. (2011). Advanced Łukasiewicz calculus and MV-algebras: Trends in logic (Vol. 35). Springer.
Nguyen, H. T., & Walker, E. A. (2000). A first course in fuzzy logic (2nd ed.). Chapman & Hall/CRC.
Novák, V. (1990). On the syntactico-semantical completeness of first-order fuzzy logic part I (syntax and semantic), part II (main results). Kybernetika, 26(47–66), 134–154.
Novák, V., Perfilieva, I., & Močkoř, J. (1999). Mathematical principles of fuzzy logic. Kluwer Academic Publishers.
Paoli, F. (1999). Comparative logic as an approach to comparison in natural language. Journal of Semantics, 16, 67–96.
Paoli, F. (2003). A really fuzzy approach to the sorites paradox. Synthese, 134, 363–387.
Paoli, F. (forthcoming). Truth degrees, closeness, and the sorites. In O. Bueno & A. Abasnezhad (Eds.), On the sorites paradox. Springer.
Raffman, D. (1994). Vagueness without paradox. Philosophical Review, 103, 41–74.
Raffman, D. (1996). Vagueness and context relativity. Philosophical Studies, 81, 175–192.
Ragaz, M. E. (1981). Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik. PhD Thesis, Swiss Federal Institute of Technology.
Rose, A., & Barkley, R. J. (1958). Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, 87(1), 1–53.
Seuren, P. (1973). The comparative. In F. Keifer & N. Ruwet (Eds.), Generative grammar in Europe (pp. 528–564). Reidel.
Shapiro, S. (2006). Vagueness in context. Oxford University Press.
Smith, N. J. J. (2008). Vagueness and degrees of truth. Oxford University Press. Paperback 2013.
Smith, N. J. J. (2017). Undead argument: The truth-functionality objection to fuzzy theories of vagueness. Synthese, 194(10), 3761–3787.
Smith, N. J. J. (forthcoming). Consonance and dissonance in solutions to the sorites. In O. Bueno & A. Abasnezhad (Eds.), On the sorites paradox. Springer.
Soames, S. (1999). Understanding truth. Oxford University Press.
Stanley, J. (2003). Context, interest relativity and the sorites. Analysis, 63, 269–80.
Tappenden, J. (1993). The liar and sorites paradoxes: Toward a unified treatment. Journal of Philosophy, 90, 551–577.
von Stechow, A. (1984). Comparing semantic theories of comparison. Journal of Semantics, 3(1–2), 1–77.
Williamson, T. (1994). Vagueness. Routledge.
Wright, C. (1987). Further reflections on the sorites paradox. Philosophical Topics, 15, 227–290.
Zadeh, L. A. (1965). Fuzzy sets. Information and Control, 8(3), 338–353.
Acknowledgements
We are grateful to the anonymous referees for helpful comments. The research leading to these results was supported by the Grant GA18-00113S of the Czech Science Foundation. Finally, we acknowledge support by the European Union’s Marie Sklodowska–Curie grant no. 101007627 (MOSAIC project).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Cintula, P., Grimau, B., Noguera, C. et al. These degrees go to eleven: fuzzy logics and gradable predicates. Synthese 200, 445 (2022). https://doi.org/10.1007/s11229-022-03909-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11229-022-03909-2