We address a salient issue arising in Gloeckner's two-step methodology for modeling vague quantifiers: the design of quantifier fuzzification mechanisms (QFMs). These are mechanisms to turn formal models of vague quantifiers operating only on crisp arguments (semi-fuzzy quantifiers) into vague quantifiers accepting vague arguments as well (fully-fuzzy quantifiers). We critically examine desiderata formulated by Gloeckner for QFMs and also point out that previous approaches to quantifier fuzzification largely ignored the question whether the resulting quantifiers can be expressed in suitable extensions of t-norm based fuzzy logics, in particular in Lukasiewicz logic. We also introduce a new family of QFMs, and assess how it fares with respect to the mentioned desiderata. We exclusively focus on unary quantifiers, in order to circumvent interference with vagueness related problems arising for all truth functional accounts of quantifiers that refer to more than one argument formula.

On fuzzification mechanisms for unary quantification / P. Baldi, C.G. Fermüller, M.F.J. Hofer. - In: FUZZY SETS AND SYSTEMS. - ISSN 0165-0114. - 388:(2020 Jun), pp. 90-123. [10.1016/j.fss.2019.12.009]

On fuzzification mechanisms for unary quantification

P. Baldi
Primo
;
2020

Abstract

We address a salient issue arising in Gloeckner's two-step methodology for modeling vague quantifiers: the design of quantifier fuzzification mechanisms (QFMs). These are mechanisms to turn formal models of vague quantifiers operating only on crisp arguments (semi-fuzzy quantifiers) into vague quantifiers accepting vague arguments as well (fully-fuzzy quantifiers). We critically examine desiderata formulated by Gloeckner for QFMs and also point out that previous approaches to quantifier fuzzification largely ignored the question whether the resulting quantifiers can be expressed in suitable extensions of t-norm based fuzzy logics, in particular in Lukasiewicz logic. We also introduce a new family of QFMs, and assess how it fares with respect to the mentioned desiderata. We exclusively focus on unary quantifiers, in order to circumvent interference with vagueness related problems arising for all truth functional accounts of quantifiers that refer to more than one argument formula.
Settore INF/01 - Informatica
Settore M-FIL/02 - Logica e Filosofia della Scienza
Settore MAT/01 - Logica Matematica
   Dipartimenti di Eccellenza 2018-2022 - Dipartimento di FILOSOFIA
   MINISTERO DELL'ISTRUZIONE E DEL MERITO
giu-2020
gen-2020
Article (author)
File in questo prodotto:
File Dimensione Formato  
lifting_C.pdf

Open Access dal 02/06/2021

Descrizione: Articolo
Tipologia: Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione 579.08 kB
Formato Adobe PDF
579.08 kB Adobe PDF Visualizza/Apri
1-s2.0-S0165011418308352-main-2.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 596.22 kB
Formato Adobe PDF
596.22 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/738639
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
social impact