Skip to main content
Erschienen in:
Buchtitelbild

2017 | OriginalPaper | Buchkapitel

A Logical Framework for Graded Predicates

verfasst von : Petr Cintula, Carles Noguera, Nicholas J. J. Smith

Erschienen in: Logic, Rationality, and Interaction

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this position paper we present a logical framework for modelling reasoning with graded predicates. We distinguish several types of graded predicates and discuss their ubiquity in rational interaction and the logical challenges they pose. We present mathematical fuzzy logic as a set of logical tools that can be used to model reasoning with graded predicates, and discuss a philosophical account of vagueness that makes use of these tools. This approach is then generalized to other kinds of graded predicates. Finally, we propose a general research program towards a logic-based account of reasoning with graded predicates.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
This classification is a modification of that presented by Paoli in [26, 27].
 
Literatur
1.
Zurück zum Zitat Běhounek, L.: In which sense is fuzzy logic a logic for vagueness? In: Lukasiewicz, T., Peñaloza, R., Turhan, A.Y. (eds.) Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2014), Vienna, pp. 26–39 (2014) Běhounek, L.: In which sense is fuzzy logic a logic for vagueness? In: Lukasiewicz, T., Peñaloza, R., Turhan, A.Y. (eds.) Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2014), Vienna, pp. 26–39 (2014)
4.
Zurück zum Zitat Casari, E.: Comparative logics and Abelian \(\ell \)-groups. In: Logic Colloquium 1988, Padova. Studies in Logic and the Foundations of Mathematics, vol. 127, pp. 161–190. North-Holland, Amsterdam (1989) Casari, E.: Comparative logics and Abelian \(\ell \)-groups. In: Logic Colloquium 1988, Padova. Studies in Logic and the Foundations of Mathematics, vol. 127, pp. 161–190. North-Holland, Amsterdam (1989)
5.
Zurück zum Zitat Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft. Comput. 4(2), 106–112 (2000)CrossRef Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft. Comput. 4(2), 106–112 (2000)CrossRef
6.
Zurück zum Zitat Cintula, P., Fermüller, C.G., Hájek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic (in three volumes). Studies in Logic, Mathematical Logic and Foundations, vols. 37, 38, and 58. College Publications (2011, 2015) Cintula, P., Fermüller, C.G., Hájek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic (in three volumes). Studies in Logic, Mathematical Logic and Foundations, vols. 37, 38, and 58. College Publications (2011, 2015)
7.
Zurück zum Zitat Cintula, P., Horčík, R., Noguera, C.: Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties. Rev. Symbolic Logic 6(3), 394–423 (2013)MathSciNetCrossRefMATH Cintula, P., Horčík, R., Noguera, C.: Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties. Rev. Symbolic Logic 6(3), 394–423 (2013)MathSciNetCrossRefMATH
8.
Zurück zum Zitat Cintula, P., Horčík, R., Noguera, C.: The quest for the basic fuzzy logic. In: Montagna, F. (ed.) Petr Hájek on Mathematical Fuzzy Logic. OCL, vol. 6, pp. 245–290. Springer, Cham (2015). doi:10.1007/978-3-319-06233-4_12 Cintula, P., Horčík, R., Noguera, C.: The quest for the basic fuzzy logic. In: Montagna, F. (ed.) Petr Hájek on Mathematical Fuzzy Logic. OCL, vol. 6, pp. 245–290. Springer, Cham (2015). doi:10.​1007/​978-3-319-06233-4_​12
9.
10.
Zurück zum Zitat Cintula, P., Noguera, C.: A Henkin-style proof of completeness for first-order algebraizable logics. J. Symb. Log. 80(1), 341–358 (2015)MathSciNetCrossRefMATH Cintula, P., Noguera, C.: A Henkin-style proof of completeness for first-order algebraizable logics. J. Symb. Log. 80(1), 341–358 (2015)MathSciNetCrossRefMATH
12.
Zurück zum Zitat Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124(3), 271–288 (2001)MathSciNetCrossRefMATH Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124(3), 271–288 (2001)MathSciNetCrossRefMATH
13.
Zurück zum Zitat Esteva, F., Godo, L., García-Cerdaña, À.: On the hierarchy of t-norm based residuated fuzzy logics. In: Fitting, M.C., Orlowska, E. (eds.) Beyond Two: Theory and Applications of Multiple-Valued Logic, Studies in Fuzziness and Soft Computing, vol. 114, pp. 251–272. Springer, Heidelberg (2003)CrossRef Esteva, F., Godo, L., García-Cerdaña, À.: On the hierarchy of t-norm based residuated fuzzy logics. In: Fitting, M.C., Orlowska, E. (eds.) Beyond Two: Theory and Applications of Multiple-Valued Logic, Studies in Fuzziness and Soft Computing, vol. 114, pp. 251–272. Springer, Heidelberg (2003)CrossRef
14.
Zurück zum Zitat Fine, K.: Vagueness, truth and logic. Synthese 30, 265–300 (1975). Reprinted with corrections in [22], pp. 119–150 Fine, K.: Vagueness, truth and logic. Synthese 30, 265–300 (1975). Reprinted with corrections in [22], pp. 119–150
15.
Zurück zum Zitat Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)MATH Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)MATH
16.
Zurück zum Zitat Galatos, N., Ono, H.: Cut elimination and strong separation for substructural logics: an algebraic approach. Ann. Pure Appl. Logic 161(9), 1097–1133 (2010)MathSciNetCrossRefMATH Galatos, N., Ono, H.: Cut elimination and strong separation for substructural logics: an algebraic approach. Ann. Pure Appl. Logic 161(9), 1097–1133 (2010)MathSciNetCrossRefMATH
17.
Zurück zum Zitat Hájek, P.: Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4. Kluwer, Dordrecht (1998)CrossRefMATH Hájek, P.: Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4. Kluwer, Dordrecht (1998)CrossRefMATH
19.
Zurück zum Zitat Jenei, S., Montagna, F.: A proof of standard completeness for Esteva and Godo’s logic MTL. Stud. Logica. 70(2), 183–192 (2002)MathSciNetCrossRefMATH Jenei, S., Montagna, F.: A proof of standard completeness for Esteva and Godo’s logic MTL. Stud. Logica. 70(2), 183–192 (2002)MathSciNetCrossRefMATH
20.
Zurück zum Zitat Jenei, S., Montagna, F.: A proof of standard completeness for non-commutative monoidal t-norm logic. Neural Netw. World 13(5), 481–489 (2003) Jenei, S., Montagna, F.: A proof of standard completeness for non-commutative monoidal t-norm logic. Neural Netw. World 13(5), 481–489 (2003)
21.
Zurück zum Zitat Keefe, R.: Theories of Vagueness. Cambridge University Press, Cambridge (2000) Keefe, R.: Theories of Vagueness. Cambridge University Press, Cambridge (2000)
22.
Zurück zum Zitat Keefe, R., Smith, P. (eds.): Vagueness: A Reader. MIT Press, Cambridge (1997) Keefe, R., Smith, P. (eds.): Vagueness: A Reader. MIT Press, Cambridge (1997)
23.
Zurück zum Zitat Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (ed.) Structure of Language and Its Mathematical Aspects, pp. 166–178. American Mathematical Society, Providence (1961)CrossRef Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (ed.) Structure of Language and Its Mathematical Aspects, pp. 166–178. American Mathematical Society, Providence (1961)CrossRef
24.
Zurück zum Zitat Łukasiewicz, J., Tarski, A.: 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 (1930) Łukasiewicz, J., Tarski, A.: 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 (1930)
26.
Zurück zum Zitat Paoli, F.: Truth degrees, closeness, and the sorites. In: Bueno, O., Abasnezhad, A. (eds.) On the Sorites Paradox. Springer (to appear) Paoli, F.: Truth degrees, closeness, and the sorites. In: Bueno, O., Abasnezhad, A. (eds.) On the Sorites Paradox. Springer (to appear)
27.
Zurück zum Zitat Paoli, F.: Comparative logic as an approach to comparison in natural language. J. Semant. 16, 67–96 (1999)CrossRef Paoli, F.: Comparative logic as an approach to comparison in natural language. J. Semant. 16, 67–96 (1999)CrossRef
28.
Zurück zum Zitat Raffman, D.: Vagueness without paradox. Philos. Rev. 103, 41–74 (1994)CrossRef Raffman, D.: Vagueness without paradox. Philos. Rev. 103, 41–74 (1994)CrossRef
29.
Zurück zum Zitat Shapiro, S.: Vagueness in Context. Oxford University Press, Oxford (2006)CrossRef Shapiro, S.: Vagueness in Context. Oxford University Press, Oxford (2006)CrossRef
30.
Zurück zum Zitat Smith, N.J.J.: Consonance and dissonance in solutions to the sorites. In: Bueno, O., Abasnezhad, A. (eds.) On the Sorites Paradox. Springer (to appear) Smith, N.J.J.: Consonance and dissonance in solutions to the sorites. In: Bueno, O., Abasnezhad, A. (eds.) On the Sorites Paradox. Springer (to appear)
32.
Zurück zum Zitat Smith, N.J.J.: Vagueness as closeness. Australas. J. Philos. 83, 157–183 (2005)CrossRef Smith, N.J.J.: Vagueness as closeness. Australas. J. Philos. 83, 157–183 (2005)CrossRef
33.
Zurück zum Zitat Smith, N.J.J.: Vagueness and Degrees of Truth. Oxford University Press, Oxford (2008). Paperback 2013CrossRef Smith, N.J.J.: Vagueness and Degrees of Truth. Oxford University Press, Oxford (2008). Paperback 2013CrossRef
34.
Zurück zum Zitat Sorensen, R.: Vagueness and Contradiction. Oxford University Press, Oxford (2001)MATH Sorensen, R.: Vagueness and Contradiction. Oxford University Press, Oxford (2001)MATH
35.
Zurück zum Zitat Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008) Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008)
36.
Zurück zum Zitat Williamson, T.: Vagueness. Routledge, London (1994) Williamson, T.: Vagueness. Routledge, London (1994)
Metadaten
Titel
A Logical Framework for Graded Predicates
verfasst von
Petr Cintula
Carles Noguera
Nicholas J. J. Smith
Copyright-Jahr
2017
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-55665-8_1