Quantiiers and Partiality
نویسنده
چکیده
1 Varieties of Partiality Quantiication can involve partiality in several ways. Quantiiers loaded with presuppositions give rise to partiality by introducing truth value gaps (if there are no A, and the quantiier all + carries an existence presupposi-tion, then all + A are B will lack a truth value). The study of quantiiers in contexts of incomplete information involves a quite diierent kind of partial-ity. This paper investigates the behaviour of binary quantiiers in settings of incomplete information, i.e., in partial models. The framework to handle informational partiality that is presented in this paper is relevant for the behaviour of quantiiers in the natural language semantics of propositional attitudes and perception reports, for theories of vagueness in natural language and for semantic accounts of natural language fragments containing a truth predicate. First, the constraints on binary relations on a universe that make these relations qualify for the honoriic title quantiicational are generalized to the partial case. Special consideration is given to quantiiers deened via supervaluation from quantiiers on total models. Next, properties of partial quantiiers are studied, with particular emphasis on behaviour under growth of information and growth of domain. Quantiier interpretations for natural language determiners like all, some, most, exactly two, at least three and at most ve, pick out binary relations on sets of individuals, on arbitrary universes E. Notation: Q E AB. We call A the restriction of the quantiier and B its body. Many quantiier relations satisfy the familiar constraints EXT, CONS and ISOM (cf. the introduction to this volume). We will put generalized quantiiers in a three valued setting. In such a setting, quantiiers themselves can introduce truth value gaps, but they can also havèthree valued sets' as arguments. Our framework deals with both these kinds of partiality. Below, in Section 2, new versions of EXT, CONS and ISOM will be proposed that also cover the cases where only partial information concerning the extensions of the body and the restriction of a quantiier is available. The deenite description the n A are B can be viewed as a partial quan-tiier that is undeened if the number of As is not equal to n, and that behaves like the universal quantiier otherwise (see ?). Consider the partial quantiier in (1). (1) The four A are B.
منابع مشابه
Asymptotic Probabilities of Languageswith
We study the impact of adding certain families of generalized quantiiers to rst-order logic (FO) on the asymptotic behavior of sentences. All our results are stated and proved for languages disallowing free variables in the scope of generalized quantiiers. For a class K of nite structures closed under isomorphism, the quantiier Q K is said to be strongly monotonic, sm, if membership in the clas...
متن کاملEnhancing Xed Point Logic with Cardinality Quantiiers
Let Q IFP be any quantiier such that FO(Q IFP), rst order logic enhanced with Q IFP and its vectorizations, equals inductive xed point logic, IFP in expressive power. It is known that for certain quantiiers Q, the equivalence FO(Q IFP) IFP is no longer true if Q is added on both sides 12, 13]. Rather, we have FO(Q IFP ; Q) < IFP(Q) in such cases. We extend these results to a great variety of qu...
متن کاملDeenability of Polyadic Lifts of Generalized Quantiiers
We study generalized quantiiers on nite structures. With every function f : ! ! ! we associate a quantiier Q f by letting Q f x' say \there are at least f(n) elements x satisfying ', where n is the size of the universe". This is the general form of what is known as a monotone quantiier of type h1i. We study so called polyadic lifts of such quantiiers. The particular lifts we consider are Ramsey...
متن کامل5 Morality and Reasonable Partiality ∗
What is the relation between morality and partiality? Can the kind of partiality that matters to us be accommodated within moral thought, or are morality and partiality rival sources of normative considerations? These are questions that moral philosophy has struggled with in recent decades.1 They may not have much intuitive resonance, because the term ‘partiality’ is not used much in everyday d...
متن کاملModal Quanti cation over Structured Domains
1 Quantiiers as Modal Operators 1.1 Motivations The semantics for quantiiers described in this paper can be viewed both as a new semantics for generalized quantiiers and as a new look at standard rst-order quantiication, bringing the latter closer to modal logic. The standard semantics for generalized quantiiers interprets a monadic generalized quantiier Q as a set of subsets of a domain. For e...
متن کامل