Conservativity
In formal semantics conservativity is a proposed linguistic universal which states that any determiner  must obey the equivalence . For instance, the English determiner "every" can be seen to be conservative by the equivalence of the following two sentences, schematized in generalized quantifier notation to the right. Every aardvark bites. Every aardvark is an aardvark that bites. Conceptually, conservativity can be understood as saying that the elements of  which are not elements of  are not relevant for evaluating the truth of the determiner phrase as a whole. For instance, truth of the first sentence above does not depend on which biting non-aardvarks exist. Conservativity is significant to semantic theory because there are many logically possible determiners which are not attested as denotations of natural language expressions. For instance, consider the imaginary determiner  defined so that  is true iff . If there are 50 biting aardvarks, 50 non-biting aardvarks, and millions of non-aardvark biters,  will be false but  will be true. Some potential counterexamples to conservativity have been observed, notably, the English expression "only". This expression has been argued to not be a determiner since it can stack with bona fide determiners and can combine with non-nominal constituents such as verb phrases. Only some aardvarks bite. This aardvark will only [VP bite playfully.] Different analyses have treated conservativity as a constraint on the lexicon, a structural constraint arising from the architecture of the syntax-semantics interface, as well as constraint on learnability. See also
 Jon Barwise
 Lindström quantifier
 Universal grammar

Notes

Semantics
Formal semantics (natural language)