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.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.