quantifier, free logic, existence, referent, partial fuzzy logic

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.