Abstract
Fuzzy logics are systems of logic with infinitely many truth values. Such logics have been claimed to have an extremely wide range of applications in linguistics, computer technology, psychology, etc. In this note, we canvass the known results concerning infinitely many valued logics; make some suggestions for alterations of the known systems in order to accommodate what modern devotees of fuzzy logic claim to desire; and we prove some theorems to the effect that there can be no fuzzy logic which will do what its advocates want. Finally, we suggest ways to accommodate these desires in finitely many valued logics.
Similar content being viewed by others
Bibliography
Bellman, R., Kalaba, R., and Zadeh, L. A.: 1966, ‘Abstraction and Pattern Classification’, Jour. Math. Analysis and Applications 13, 1–7.
Belluce, L. P.: 1960, ‘Some Remarks on the Completeness of Infinite Valued Predicate Logic’, Notices of the Amer. Math. Soc. 7, 633.
Belluce, L. P.: 1964, ‘Further Results on Infinite Valued Predicate Logic’, Journal of Symbolic Logic 29, 69–78.
Chang, C. C.: 1958, ‘Proof of an Axiom of Łukasiewicz’, Trans. Amer. Math. Soc. 87, 55–56.
Chang, C. C.: 1959, ‘Algebraic Analysis of Many Valued Logics’, Trans. Amer. Math. Soc. 88, 467–490.
Chang, C.-T. and Lee, R. C.: 1973, Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York.
Dreyfus, G. R., Kochen, Manfred, Robinson, Jane, Badre, A. N.: 1975, ‘On the Psycholinguistic Reality of Fuzzy Sets’, Chicago Linguistic Society Parasession on Functionalism, pp. 135–149.
Goguen, J. A.: 1969, ‘The Logic of Inexact Concepts’, Synthese 19, 325–373.
Hay, L. S.: 1959, An Axiomatization of the Infinitely Many-Valued Predicate Logic, M.S. Thesis, Cornell.
Heider, E. R.: 1971, ‘On the Internal Structure of Perceptual and Semantic Categories’, unpublished.
Kochen, Manfred: 1975, ‘Applications of Fuzzy Sets in Psychology’, in K. S. Fu and L. A. Zadeh (eds.), Proceedings of the U.S.-Japan Seminar on Fuzzy Sets and their Applications.
Kochen, Manfred and Badre, A. N.: 1975, ‘On the Precision of Adjectives which Denote Fuzzy Sets’, Jour. Cybernetics.
Lakoff, George: 1971, ‘Linguistics and Natural Logic’, in D. Davidson and G. Harmon (eds.), Semantics of Natural Language, Reidel, Dordrecht.
Lakoff, George: 1972, ‘Hedges: A Study in Meaning Criteria and the Logic of Fuzzy Concepts’, Chicago Linguistic Society 8, 183–228.
Lee, R. C. T.: 1972, ‘Fuzzy Logic and the Resolution Principle’, Jour. Assoc. Comp. Mach. 19, 109–119.
Lukasiewicz, Jan and Tarski, A.: 1930, ‘Untersuchungen Über den Aussagenkalkül’, translated as ‘Investigations into the Sentential Calculus’, in Tarski Logic, Semantics, Metamathematics (1956, Oxford University Press), pp. 38–59.
Meredith, J.: 1958, ‘The Dependence of an Axiom of Łukasiewicz’, in Trans. Amer. Math. Soc. 87, 54.
Morgan, C. G.: 1973, ‘A Resolution Procedure for a Class of Many-Valued Logics’, read at Assoc. for Sym. Logic meeting. Abstract in Journal of Symbolic Logic 39, 199–200. Forthcoming in Logique et Analyse.
Nakamura, Akira: 1962a, ‘On an Axiomatic System of the Infinitely Many-Valued Threshold Logics’, Zeit. für Math. Logik und Grund. der Math. 8, 71–74.
Nakamura, Akira: 1962b, ‘On the Infinitely Many-Valued Threshold Logics and von Wright's System M′’, Zeit für Math. Logik und Grund. der Math. 8, 147–164.
Nakamura, Akira: 1963a, ‘A Note on Truth-Value Functions in the Infinitely Many-Valued Logics’, Zeit. für Math. Logik und Grund. der Math. 9, 141–144.
Nakamura, Akira: 1963b, ‘On a Simple Axiomatic System of the Infinitely Many-Valued Logic Based on ∧, →’, Zeit. für Math. Logik und Grund. der Math. 9, 251–260.
Nakamura, Akira: 1963c, ‘On an Axiomatic System of the Infinitely Many-Valued Threshold Predicate Calculi’, Zeit. für Math. Logik und Grund. der Math. 9, 321–329.
Nakamura, Akira: 1964, ‘Truth-Value Stipulations for the von Wright System M′ and the Heyting System’, Zeit. für Math. Logik und Grund. der Math. 10, 173–181.
Nakamura, Akira: 1965, ‘On the Infinitely Many-Valued Double Threshold Logic’, Zeit. für Math. Logik und Grund. der Math. 11, 93–101.
Rescher, N.: 1969, Many Valued Logics, McGraw-Hill, New York.
Rose, Alan and Rosser, J. B.: 1959, ‘Fragments of Many Valued Statement Calculi’, Trans. Amer. Math. Soc. 93, 74–80.
Rosser, J. B. and Turquette, A. R.: 1952, Many-Valued Logic, North Holland: Dordrecht.
Rutledge, J. D.: 1959, A Preliminary Investigation of the Infinite Valued Predicate Logic, Ph.D. Thesis, Cornell.
Samuel, A. I.: 1967, ‘Some Studies in Machine Learning Using the Game of Checkers’, IBM Jour. of Research and Development 11, 601–617.
Scarpellini, B.: 1962, ‘Die Nicht-Axiomatisierbarkeit des Unendlichwertigen Prädikatenkalkuls von Łukasiewicz’, Journal of Symbolic Logic 27, 159–170.
van Fraassen, Bas: 1975, ‘Comments: Lakoff's Fuzzy Propositional Logic’, in Hockney, et al. (eds.), Contemporary Research into Philosophical Logic, Reidel, Dordrecht, pp. 273–277.
Zadeh, L. A.: 1965, ‘Fuzzy Sets’, Information and Control 8, 338–353.
Zadeh, L. A.: 1971, ‘Quantitative Fuzzy Semantics’, Information Sciences 3, 159–176.
Zadeh, L. A.: 1972, ‘A Fuzzy Theoretic Interpretation of Linguistic Hedges’, Jour. Cybernetics 2, 4–34.
Author information
Authors and Affiliations
Additional information
We would like to express our thanks to Stan Peters for helpful conversations. The method in the Appendix is due to David Lewis.
Rights and permissions
About this article
Cite this article
Morgan, C.G., Pelletier, F.J. Some notes concerning fuzzy logics. Linguistic and Philosophy 1, 79–97 (1977). https://doi.org/10.1007/BF00351937
Issue Date:
DOI: https://doi.org/10.1007/BF00351937