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
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 ...
,
is a variable over
sets, and
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
with
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
* ...
:
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