Abstract
We introduce two variants of first-order fuzzy logic that can deal with non-denoting terms, or terms that lack existing referents, e.g., Pegasus, the current king of France, the largest number, or 0/0. Logics designed for this purpose in the classical setting are known as free logics. In this paper we discuss the features of free logics and select the options best suited for fuzzification, deciding on the so-called dual-domain semantics for positive free logic with truth-value gaps and outer quantifiers. We fuzzify the latter semantics in two levels of generality, first with a crisp and subsequently with a fuzzy predicate of existence. To accommodate truth-valueless statements about nonexistent objects, we employ a recently proposed first-order partial fuzzy logic with a single undefined truth value. Combining the dual-domain semantics with partial fuzzy logic, we define several kinds of ‘inner-domain’ quantifiers, relativized by the predicate of existence. Finally, we make a few observations on some of the resulting rules of free fuzzy quantification that illustrate the differences between the two proposed systems of free fuzzy logic and their well known non-free or non-fuzzy variants.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Běhounek, L., Cintula, P., Hájek, P.: Introduction to mathematical fuzzy logic. In: Cintula, P., Hájek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic, Chap. 1, vol. I, pp. 1–101. College Publications (2011)
Běhounek, L., Daňková, M.: Towards fuzzy partial set theory. In: Carvalho, J., et al. (eds.) Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016), Part II. Communications in Computer and Information Science, vol. 611, pp. 482–494. Springer, Cham (2016)
Běhounek, L., Novák, V.: Towards fuzzy partial logic. In: Proceedings of the IEEE 45th International Symposium on Multiple-Valued Logics (ISMVL 2015), pp. 139–144 (2015)
Bencivenga, E.: Free logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 5, 2nd edn., pp. 147–196. Kluwer, Dordrecht (2002)
Lehmann, S.: More free logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 5, 2nd edn., pp. 197–259. Kluwer, Dordrecht (2002)
Nolt, J.: Free logics. In: Jacquette, D. (ed.) Philosophy of Logic, Handbook of the Philosophy of Science, pp. 1023–1060. North-Holland, Amsterdam (2007)
Nolt, J.: Free logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Winter 2014 edn. (2014). URL \(\langle \) https://plato.stanford.edu/archives/win2014/entries/logic-free/ \(\rangle \)
Acknowledgement
The work was supported by grant No. 16–19170S “Fuzzy partial logic” of the Czech Science Foundation.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Běhounek, L., Dvořák, A. (2018). Non-denoting Terms in Fuzzy Logic: An Initial Exploration. In: Kacprzyk, J., Szmidt, E., Zadrożny, S., Atanassov, K., Krawczak, M. (eds) Advances in Fuzzy Logic and Technology 2017. EUSFLAT IWIFSGN 2017 2017. Advances in Intelligent Systems and Computing, vol 641. Springer, Cham. https://doi.org/10.1007/978-3-319-66830-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-66830-7_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66829-1
Online ISBN: 978-3-319-66830-7
eBook Packages: EngineeringEngineering (R0)