Vagueness and Formal Fuzzy Logic: Some Criticisms
DOI:
https://doi.org/10.12775/LLP.2017.031Keywords
vagueness, fuzzy logic, approximate reasoning, compactness, effectiveness, localityAbstract
In the common man reasoning the presence of vague predicates is pervasive and under the name “fuzzy logic in narrow sense” or “formal fuzzy logic” there are a series of attempts to formalize such a kind of phenomenon. This paper is devoted to discussing the limits of these attempts both from a technical point of view and with respect the original and principal task: to define a mathematical model of the vagueness. For example, one argues that, since vagueness is necessarily connected with the intuition of the continuum, we have to look at the order-based topology of the interval [0,1] and not at the discrete topology of the set {0,1}. In accordance, in switching from classical logic to a logic for the vague predicates, we cannot avoid the use of the basic notions of real analysis as, for example, the ones of “approximation“, “convergence“, “continuity“. In accordance, instead of defining the compactness of the logical consequence operator and of the deduction operator in terms of finiteness, we have to define it in terms of continuity. Also, the effectiveness of the deduction apparatus has to be defined by using the tools of constructive real analysis and not the one of recursive arithmetic. This means that decidability and semi-decidability have to be defined by involving effective limit processes and not by finite steps stopping processes.
References
Belohlavek, R., 2002, “Fuzzy equational logic”, Arch. Math. Log. 41, 1: 83–90. DOI: 10.1007/s001530200006
Belohlavek, R., 2015, “Pavelka-style fuzzy logic in retrospect and prospect”, Fuzzy Sets and Systems 281: 61–72. DOI: 10.1016/j.fss.2015.07.007
Belohlavek, R., J.W. Dauben, G.J. Klir, 2017, Fuzzy Logic and Mathematics: A Historical Perspective, Oxford University Press (to appear). DOI: 10.1093/oso/9780190200015.001.0001
Belohlavek, R., and V. Vychodil, 2005, Fuzzy Equational Logic, Springer,Berlin, 2005. DOI: 10.1007/11376422_3
Belohlavek, R., and V. Vychodil, 2015, “A logic of graded attributes”, Arch. Math. Log. 4, 7–8: 785–802. DOI: 10.1007/s00153-015-0440-0
Belohlavek, R., G.J. Klir, H.W. Lewis III, E.C. Way, 2009, “Concepts and fuzzy sets: Misunderstandings, misconceptions, and oversights”, International Journal of Approximate Reasoning 51, 1: 23–34. DOI: 10.1016/j.ijar.2009.06.012
Biacino, L.G., G. Gerla, 2002, “Fuzzy logic, continuity and effectiveness”, Archive for Mathematical Logic 41, 7: 643–667. DOI: 10.1007/s001530100128
Carotenuto, G., G. Gerla, 2013, “Bilattices for deductions in multi-valued logic”, International Journal of Approximate Reasoning 54, 8: 1066–1086. DOI: 10.1016/j.ijar.2013.04.004
Cintula, P., and P. Hájek, 2010, “Triangular norm based predicate fuzzy logics”, Fuzzy Sets and Systems 161, 3: 311–346. DOI: 10.1016/j.fss.2009.09.006
Entemann, C.W., 2002, “Fuzzy logic: Misconceptions and clarifications”, Artificial Intelligence Review 17: 65–84.
Genito, D., G. Gerla, 2014, “Connecting bilattice theory with multivalued logic”, Logic and Logical Philosophy 23, 1: 15-45. DOI: 10.12775/LLP.2013.036
Gerla, G., 1982, “Sharpness relation and decidable fuzzy sets”, IEEE Trans. on Automatic Control, AC-27, 5: 1113. DOI: 10.1109/TAC.1982.1103075
Gerla, G., 2000, Fuzzy logic: Mathematical tools for approximate reasoning, Trends in Logic, Kluwer Ac. Press. DOI: 10.1007/978-94-015-9660-2
Gerla, G., 2005, “Fuzzy logic programming and fuzzy control”, Studia Logica 79, 2: 231–254. DOI: 10.1007/s11225-005-2977-0
Gerla, G., 2006, “Effectiveness and multi-valued logics”, Journal of Symbolic Logic 71, 1: 137–162. DOI: 10.2178/jsl/1140641166
Gerla, G., 2007, “Multi-valued logics, effectiveness and domains”, pages 336–347 in Computation and Logic in the Real World, Lecture Notes in Computer Science 4497, Springer. DOI: 10.1007/978-3-540-73001-9_35
Gerla, G., 2016,“Comments on some theories of fuzzy computation”, International Journal of General Systems 45, 4: 372–392. DOI: 10.1080/03081079.2015.1076403
Goguen, J.A., 1968/1969, “The logic of inexact concepts”, Synthese 19, 3–4: 325–373. DOI: 10.1007/BF00485654
Gottwald, S., 2008, “Mathematical fuzzy logic”, The Bulletin of Symbolic Logic 14, 2: 210–239. DOI: 10.2178/bsl/1208442828
Hájek, P., 1995, “Fuzzy logic and arithmetical hierarchy”, Fuzzy Sets and Systems 73, 3: 359–363. DOI: 10.1016/0165-0114(94)00299-M
Hájek, P., 1998, Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht. DOI: 10.1007/978-94-011-5300-3
Hájek, P., 1999, “Ten questions and one problem on fuzzy logic”, Annals of Pure and Applied Logic 96, 1–3: 157–165. DOI: 10.1016/S0168-0072(98)00037-2
Hájek, P., 2006, “What is mathematical fuzzy logic?”, Fuzzy Sets and Systems 157, 5: 597–603. DOI: 10.1016/j.fss.2005.10.004
Hájek, P., and V. Novák, 2003, “The Sorites paradox and fuzzy logic”, International Journal of General Systems 32, 4: 373–383. DOI: 10.1080/0308107031000152522
Kamp, H., 1975, “Two theories of adjectives”, pages 123–155 in E. Keenan (ed.), Formal Semantics of Natural Languages, Cambridge University Press. DOI: 10.1017/CBO9780511897696.011
Montagna, F., 2001, “Three complexity problems in quantified fuzzy logic”, Studia Logica 68, 1: 143–152. DOI: 10.1023/A:1011958407631
Novák, V., 1990a, “On the syntactico-semantical completeness of first-order fuzzy logic. Part I: Syntax and Semantics”, Kybernetika 26: 47–66.
Novák, V., 1990b, “On the syntactico-semantical completeness of first-order fuzzy logic. Part II: Main results”, Kybernetika 26: 134–154.
Novák, V., 2005, “Are fuzzy sets a reasonable tool for modeling vague phenomena?”, Fuzzy Sets and Systems 156, 3: 341–348. DOI: 10.1016/j.fss.2005.05.029
Parikh, R., 1991, “A test for fuzzy logic”, Sigact News 22, 3: 49–50. DOI: 10.1145/126537.126542
Pavelka, J., 1979a, “On fuzzy logic I: Many-valued rules of inference”, Zeitschr. F. math. Logik und Grundlagen d. Math. 25, 3–6: 45–52. DOI: 10.1002/malq.19790250304
Pavelka, J., 1979b, “On fuzzy logic II: Enriched residuated lattices and semantics of propositional calculus”, Zeitschr. F. math. Logik und Grundlagen d. Math. 25, 7–12: 119–134. DOI: 10.1002/malq.19790250706
Pavelka, J., 1979c, “On fuzzy logic III: Semantical completeness of some many-valued propositional calculi”, Zeitschr. F. math. Logik und Grundlagen d. Math. 25, 25–29: 447-464. DOI: 10.1002/malq.19790252510
Pelletier, F.J., 2000, “Review of Metamathematics of Fuzzy Logic by P. Hájek”, The Bulletin of Symbolic Logic 6: 342–346.
Pelletier, F.J., 2004, “On some alleged misconceptions about fuzzy logic”, Artificial Intelligence Review 22, 1: 71–82. DOI: 10.1023/B:AIRE.0000044308.48654.c1
Rogers, H.,1967, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York.
Sauerland, U., 2011, “Vagueness in language: The case against fuzzy logic revisited”, pages 185–198 in P. Cintula, C. Fermüller, L. Godo, and P. Hájek (eds.), Understanding Vagueness: Logical, Philosophical, and Linguistic Perspectives, Studies in Logic 36, College Publications, London, UK.
Sorensen, R., 2001, Vagueness and Contradiction, Clarendon Press, Oxford.
Tabacchi, M.E., and S. Termini, 2017a, “Back to ‘reasoning’”, pages 471–478 in M.B. Ferraro et al. (eds.), Soft Methods for Data Science, Advances in Intelligent Systems and Computing 456, Springer, Switzerland. DOI: 10.1007/978-3-319-42972-4_58
Tabacchi, M.E., and S. Termini, 2017b, “Fuzziness as an experimental science: An homage to Claudio Moraga”, pages 41–54 in R. Seising and H. Allende-Cid (eds.), Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing, Studies in Fuzziness and Soft Computing, Springer, Switzerland. DOI: 10.1007/978-3-319-48317-7_4
Termini, S., 2002, “On some vagaries of vagueness and information”, Annals of Mathematics and Artificial Intelligence 35: 343–355.
Trillas, E., 2006, “On the use of words and fuzzy sets”, Information Sciences 176, 11: 1463–1487. DOI: 10.1016/j.ins.2005.03.008
Turunen, E., 1999, Mathematics Behind Fuzzy Logic, Springer, Heidelberg.
Vojtáš, P., 2001, “Fuzzy logic programming”, Fuzzy Sets and Systems 124: 361–370.
Zadeh, L.A., 1965, “Fuzzy sets”, Information and Control 8, 3: 338–353. DOI: 10.1016/S0019-9958(65)90241-X URL: https://people.eecs.berkeley.edu/~zadeh/papers/Fuzzy%20Sets-1965.pdf
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 786
Number of citations: 5