HOME

TheInfoList



OR:

In formal semantics, a predicate is quantized if it being true of an entity requires that it is ''not'' true of any proper subparts of that entity. For example, if something is an "apple", then no proper subpart of that thing is an "apple". If something is "water", then many of its subparts will also be "water". Hence, the predicate "apple" is quantized, while "water" is not. Formally, a quantization predicate ''QUA'' can be defined as follows, where U is the
universe of discourse In the formal sciences, the domain of discourse or universe of discourse (borrowing from the mathematical concept of ''universe'') is the set of entities over which certain variables of interest in some formal treatment may range. It is also ...
, F is a variable over sets, and p is a mereological part
structure A structure is an arrangement and organization of interrelated elements in a material object or system, or the object or system so organized. Material structures include man-made objects such as buildings and machines and natural objects such as ...
on U with <_p the mereological part-of
relation Relation or relations may refer to: General uses * International relations, the study of interconnection of politics, economics, and law on a global level * Interpersonal relationship, association or acquaintance between two or more people * ...
: (\forall F\subseteq U_p)(QUA(F) \iff (\forall x,y)(F(x)\wedge F(y) \Rightarrow \neg x<_p y)) Quantization was first proposed by Manfred Krifka as part of his mereological approach to the semantics of nominals. It has since been applied to other phenomena such as
telicity In linguistics, telicity (; from Greek τέλος "end, goal") is the property of a verb or verb phrase that presents an action or event as having a specific endpoint. A verb or verb phrase with this property is said to be ''telic''; if the situ ...
.


See also

* Fewer vs. less *
Mass noun In linguistics, a mass noun, uncountable noun, non-count noun, uncount noun, or just uncountable, is a noun with the syntactic property that any quantity of it is treated as an undifferentiated unit, rather than as something with discrete eleme ...
*
Mereology Mereology (; from Greek μέρος 'part' (root: μερε-, ''mere-'') and the suffix ''-logy'', 'study, discussion, science') is the philosophical study of part-whole relationships, also called ''parthood relationships''. As a branch of metaphys ...
*
Telicity In linguistics, telicity (; from Greek τέλος "end, goal") is the property of a verb or verb phrase that presents an action or event as having a specific endpoint. A verb or verb phrase with this property is said to be ''telic''; if the situ ...


References

Logic Semantics Grammar {{semantics-stub