Informal semantics, apredicate isquantized if it being true of an entity requires that it isnot 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.^[1][2]

Formally, aquantization predicateQUA can be defined as follows, where${\displaystyle U}$ is theuniverse of discourse,${\displaystyle F}$ is a variable oversets, and${\displaystyle p}$ is amereological partstructure on${\displaystyle U}$ with themereological part-ofrelation:^[1][2]

Quantization was first proposed byManfred Krifka as part of hismereological approach to the semantics of nominals. It has since been applied to other phenomena such astelicity.

• Fewer vs. less
• Mass noun
• Mereology
• Telicity
• Cumulativity (linguistics)

Thissemantics article is astub. You can help Wikipedia byexpanding it.

• v
• t
• e

• Logic
• Semantics
• Grammar
• Semantics stubs

• All stub articles