Abstract
Linguistic models of vagueness usually record contexts of possible precisifications. A link between such models and fuzzy logic is established by extracting fuzzy sets from context based word meanings and by analyzing standard logical connectives in this setting. In this manner the three fundamental t-norms (Łukasiewicz, minimum, and product) highlighted in Petr Hájek’s approach to fuzzy logic reappear as bounds for degrees extracted from contextual models. In a further step, two semantic scenarios for fuzzy logic—similarity based reasoning and Giles’s dialogue game—are adapted to obtain t-norm based truth functions from the point of view of context update semantics.
Dedicated to Petr Hájek
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The term ‘mathematical fuzzy logic’ has been successfully propagated by students and colleagues of Petr Hájek only well after the appearance of Hájek (2001). Hájek, like others at that time, referred to ‘fuzzy logic in the narrow sense’, following Zadeh’s distinction between a wider and a narrow sense of fuzzy logic, where the latter meant the study of deductive systems of logics that are based on the real unit interval as set of truth values.
- 2.
Some fuzzy logicians seem tempted to argue that models like that of Barker, that we will take as starting point here, compare unfavorably with fuzzy logic, even if the aim is to model the semantics of natural language. But, as our brief review of Barker’s model in Sect. 5.2 will indicate, context based models are usually much more fine grained than those offered by fuzzy logic. They indicate that the mentioned methodological principles successfully support contemporary linguistic research in various ways. We thus take the idea that linguists should replace their own approach to formal semantics of vague language by that of fuzzy logic as a quixotic move, that hardly deserves serious debate. On the other hand, the claim that there is no relation between natural language semantics and fuzzy logic at all seems dubious. After all, both fields attempt to model the successful processing of vaguely stated information. In this endeavor they frequently refer to the same natural language examples and moreover rely both on tools from mathematical logic.
- 3.
- 4.
By a filter we (here) just mean a function \(f\) which maps any set to one of its subsets, i.e. \(f: \fancyscript{P}(S) \rightarrow \fancyscript{P}(S)\), with \(f(X)\subseteq X\) for all \(X \in \fancyscript{P}(S)\).
- 5.
Note that \({\delta }(w)\) is polymorphic: for simple predicates such as tall it has only one argument. However, if the first argument is a reference to a modifier like \({[\![{{{ very}}}]\!]}\) or \({[\![{{{ clearly}}}]\!]}\) then a reference to a predicate is expected as second argument.
- 6.
Note that nevertheless both, very and definitely, are understood as vague adjectives, in the sense of being systematically context dependent.
- 7.
For brevity we focus on monadic predicates, but the concepts can easily be extended to relations of higher arity.
- 8.
As already implicitly assumed above (following Barker), we stipulate that the relevant element is in the universe of the context to which the filter is applied. (Otherwise the result simply remains undefined.)
- 9.
Of course, the approach can be generalized to infinite contexts by imposing suitable probability measures on possible worlds. We will implicitly use such a model in Sect. 5.4, below. In any case, we do not claim any originality, but rather follow a well established concept here.
- 10.
In natural language one can also find exclusive disjunction, e.g. \({{ Jana \,is\, either}}\, {{ tall \,or}}\) \({{ clever \,(but \,not \, both)}}\), but note that exclusive disjunction can be modeled as well in the obvious way.
- 11.
As is well known, it is questionable whether material implication has a natural language equivalent. We include this logical connective here mainly for the purpose of comparison.
- 12.
For the sake of readability we write \([{X}]_{C}\) instead of \([{{[\![{{{ X}}}]\!]}}]_{C}\).
- 13.
Note that risk, here, refers to expected payments and not to guaranteed bounds. If I am unlucky then, for a final state \(\left[ p \mid p\right] \), the experiment associated with \(p\) might yield a negative answer for my assertion that \(p\), but might nevertheless yield a positive answer for your assertion that \(p\). Accordingly I have to pay 1€ to you, although my corresponding total risk remains \(0\), independently of \(\left\langle p\right\rangle \).
- 14.
Note that the mentioned literature does not address this problem. There, the similarity relation over worlds is assumed as given and remains independent of the structure of the worlds themselves (at least in principle). However, for our current purpose, we have to take into account that similarities typically depend on the particular valuations of atomic formulas that characterize the individual worlds.
- 15.
In the case where there is no uncertainty about Jane’s height, this definition can be simplified by changing the numerator to \(|{\delta }(u)({{^\uparrow {}{{{ tall}}}}}) - {\delta }(w)({{^\uparrow {}{{{ tall}}}}})|\).
References
Barker, C. (2002). The dynamics of vagueness. Linguistics and Philosophy, 25(1), 1–36.
Bennett, A. D. C., Paris, J. B., & Vencovska, A. (2000). A new criterion for comparing fuzzy logics for uncertain reasoning. Journal of Logic, Language and Information, 9(1), 31–63.
Bezdek, J., & James, C. (1978). Fuzzy partitions and relations: an axiomatic basis for clustering. Fuzzy Sets and Systems, 1(2), 111–127.
Bosch, P. (1983). “Vagueness” is context-dependence. A solution to the sorites paradox. In T. Ballmer & M. Pinkal (Eds.), Approaching vagueness (pp. 189–210). Amsterdam: Elsevier.
Ciabattoni, A., Fermüller, C. G., & Metcalfe, G. (2005). Uniform rules and dialogue games for fuzzy logics. In F. Baader & A. Voronkov (Eds.). Logic for programming, artificial intelligence, and reasoning, Proceedings. LNCS (vol. 3452, pp. 496–510). Berlin: Springer.
Cintula, P., Hájek, P., & Noguera, C. (Eds.). (2011). Handbook of mathematical fuzzy logic, studies in logic (vol 37, 38). London: College Publications.
Dietz, R., & Moruzzi, S. (2010). Cuts and clouds: Vaguenesss, its nature and its logic. Oxford: Oxford University Press.
Dubois, D., Prade, H., Esteva, F., Garcia, P., & Godo, L. (1997). A logical approach to interpolation based on similarity relations. International Journal of Approximate Reasoning, 17(1), 1–36.
Egré, P., & Klinedinst, N. (Eds.). (2011). Vagueness and language use. Basingstok: Palgrave Macmillan.
Esteva, F., Garcia, P., & Godo, L. (2000). Similarity-based reasoning. In V. Novák & I. Perfilieva (Eds.), Discovering the world with fuzzy logic (pp. 367–396). Heidelberg: Physica.
Fermüller, C. G. (2009). Revisiting Giles’s game. In O. Majer, A.-V. Pietarinen, & T. Tulenheimo (Eds.), Games: Unifying logic, language, and philosophy, logic, epistemology, and the unity of science (pp. 209–227). New York: Springer.
Fermüller, C. G. (2010). On Giles style dialogue games and hypersequent systems. In H. Hosni & F. Montagna (Eds.), Probability, uncertainty and rationality (pp. 169–195). Frankfurt: Springer.
Fermüller, C. G., & Metcalfe, G. (2009). Giles’s game and the proof theory of Łukasiewicz logic. Studia Logica, 92(1), 27–61.
Fermüller, C. G. (2003). Theories of vagueness versus fuzzy logic: Can logicians learn from philosophers? Neural Network World, 13(5), 455–466.
Fernando, T., & Kamp, H. (1996). Expecting many. Proceedings of SALT VI (pp. 53–68). Ithaca: Cornell University.
Fréchet, M. (1935). Généralisations du théorème des probabilités totales. Fundamenta Mathematica, 25, 379–387.
Giles, R. (1970). Foundations for quantum mechanics. Journal of Mathematical Physics, 11(7), 2139–2161.
Giles, R. (1974). A non-classical logic for physics. Studia Logica, 33(4), 397–415.
Godo, L., & Rodrıguez, R. (2008). Logical approaches to fuzzy similarity-based reasoning: An overview. In D. Riccia, D. Dubois & R. Kruse (Eds.), Preferences and similarities (Vol. 504, pp. 75–128)., CISM courses and lectures New York: Springer.
Groenendijk, J., & Stokhof, M. (1991). Dynamic predicate logic. Linguistics and Philosophy, 14(1), 39–100.
Hájek, P. (2001). Metamathematics of fuzzy logic. Dordrecht: Kluwer Academic.
Heim, I. (2002). File change semantics and the familiarity theory of definiteness. In P. Portner & B. H. Partee (Eds.), Formal semantics: The essential readings (pp. 223–248). Oxford: Wiley-Blackwell.
Heim, I., & Kratzer, A. (1998). Semantics in generative grammar. Oxford: Blackwell.
Hisdal, E. (1988). Are grades of membership probabilities? Fuzzy Sets and Systems, 25(3), 325–348.
Keefe, R. (2000). Theories of vagueness. Cambridge: Cambridge University Press.
Keefe, R., & Smith, P. (Eds.). (1999). Vagueness: A reader. Cambridge: MIT Press.
Kennedy, C. (2007). Vagueness and grammar: the semantics of relative and absolute gradable adjectives. Linguistics and Philosophy, 30(1), 1–45.
Klement, E. P., & Navara, M. (1999). A survey on different triangular norm-based fuzzy logics. Fuzzy Sets and Systems, 101(2), 241–251.
Kyburg, A., & Morreau, M. (2000). Fitting words: Vague language in context. Linguistics and Philosophy, 23(6), 577–597.
Lawry, J. (1998). A voting mechanism for fuzzy logic. International Journal of Approximate Reasoning, 19(3–4), 315–333.
Lewis, D. (1970). General semantics. Synthese, 22(1), 18–67.
Lorenzen, P. (1960). Logik und Agon. In Atti Congresso Internazionale di Filosofia, pp. 187–194. Sansoni.
Menger, K. (1951). Ensembles flous et fonctions aléatoires. Comptes Rendus Académie Des Science, 322, 2001–2003.
Novák, V. (1992). The alternative mathematical model of linguistic semantics and pragmatics. New York: Plenum Press.
Novák, V. (2008). A comprehensive theory of trichotomous evaluative linguistic expressions. Fuzzy Sets and Systems, 159(22), 2939–2969.
Ovchinnikov, S. (1991). Similarity relations, fuzzy partitions, and fuzzy orderings. Fuzzy Sets and Systems, 40(1), 107–126.
Paris, J. B. (1997). A semantics for fuzzy logic. Soft Computing, 1(3), 143–147.
Paris, J. B. (2000). Semantics for fuzzy logic supporting truth functionality. In V. Novák & I. Perfilieva (Eds.), Discovering the world with fuzzy logic (pp. 82–104). Heidelberg: Physica.
Partee, B. H. (1997). Montague semantics. In J. van Benthem & A. ter Meulen (Eds.), Handbook of logic and language (pp. 5–91). Amsterdam: MIT Press.
Pinkal, M. (1995). Logic and lexicon. Boston: Kluwer Academic Publishers.
Rooij, R. (2011). Vagueness and linguistics. In G. Ronzitti (Ed.), The vagueness handbook. Dordrecht: Springer.
Ruspini, E. (1977). A theory of fuzzy clustering. In 1977 IEEE Conference on Decision and Control including the 16th Symposium on Adaptive Processes and A Special Symposium on Fuzzy Set Theory and Applications, volume 16 of IEEE Conference Publications, pp. 1378–1383.
Ruspini, E. H. (1991). On the semantics of fuzzy logic. International Journal of Approximate Reasoning, 5(1), 45–88.
Shapiro, S. (2006). Vagueness in context. Oxford: Oxford University Press.
Smith, N. J. J. (2008). Vagueness and degrees of truth. Oxford: Oxford University Press.
Stalnaker, R. (1998). On the representation of context. Journal of Logic, Language and Information, 7(1), 3–19.
Valverde, L. (1985). Structure of F-indistinguishability operators. Fuzzy Sets and Systems, 17(3), 313–328.
van Rooij, R., Sauerland, U., & Schmitz, H.-C. (Eds.). (2011). Vagueness in communication. Berlin: Springer.
Williamson, T. (1994). Vagueness. London: Burns & Oates.
Zadeh, L. (1971). Similarity relations and fuzzy orderings. Information Sciences, 3(2), 177–200.
Acknowledgments
Research partially supported by FWF project LOGFRADIG P25417-G15.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Fermüller, C.G., Roschger, C. (2015). Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic. In: Montagna, F. (eds) Petr Hájek on Mathematical Fuzzy Logic. Outstanding Contributions to Logic, vol 6. Springer, Cham. https://doi.org/10.1007/978-3-319-06233-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-06233-4_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06232-7
Online ISBN: 978-3-319-06233-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)