An axiomatization of 'very' within systiems of set theory
Studia Logica 73 (3):413 - 430 (2003)
| Abstract | A structural (as opposed to Zadeh's quantitative) approach to fuzziness is given, based on the operator "very", which is added to the language of set theory together with some elementary axioms about it. Due to the axiom of foundation and to a lifting axiom, the operator is proved trivial on the cumulative hierarchy of ZF. So we have to drop either foundation or lifting. Since fuzziness concerns complemented predicates rather than sets, a class theory is needed for the very operator. And of them the Kelley-Morse (KM) theory is more appropriate for reasons of class existence. Several definable realizations of the very-operator are presented in KM⁻. In the last section we consider the operator "very" without the lifting axiom on classes of urelements. To each structurally fuzzy set X a traditional quantitative fuzzy set X̄ is assigned -- its quantitative representation. This way we are able partly to recover ordinary fuzzy sets from the structurally fuzzy ones | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesP. V. Andreev & E. I. Gordon (2001). An Axiomatics for Nonstandard Set Theory, Based on Von Neumann-Bernays-Gödel Theory. Journal of Symbolic Logic 66 (3):1321-1341.
Steve Awodey, Carsten Butz & Alex Simpson (2007). Relating First-Order Set Theories and Elementary Toposes. The Bulletin of Symbolic Logic 13 (3):340 - 358.
Helena Rasiowa (1994). Axiomatization and Completeness of Uncountably Valued Approximation Logic. Studia Logica 53 (1):137 - 160.
Gy Fuhrmann (1991). Note on the Integration of Prototype Theory and Fuzzy-Set Theory. Synthese 86 (1):1 - 27.
John P. Burgess (2004). E Pluribus Unum: Plural Logic and Set Theory. Philosophia Mathematica 12 (3):193-221.
Boris Čulina (2013). Logic of Paradoxes in Classical Set Theories. Synthese 190 (3):525-547.
Gy Fuhrmann (1988). Fuzziness of Concepts and Concepts of Fuzziness. Synthese 75 (3):349 - 372.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #203,919 of 556,840 )Recent downloads (6 months)1 ( #64,931 of 556,840 )How can I increase my downloads? |
My notes
Discussion
