Philosophy:Quantization (linguistics)

From HandWiki

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.[1][2] Formally, a quantization predicate QUA can be defined as follows, where [math]\displaystyle{ U }[/math] is the universe of discourse, [math]\displaystyle{ F }[/math] is a variable over sets, and [math]\displaystyle{ p }[/math] is a mereological part structure on [math]\displaystyle{ U }[/math] with [math]\displaystyle{ \lt _p }[/math] the mereological part-of relation:[1][2]

[math]\displaystyle{ (\forall F\subseteq U_p)(QUA(F) \iff (\forall x,y)(F(x)\wedge F(y) \Rightarrow \neg x\lt _p y)) }[/math]

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.

See also

References

  1. 1.0 1.1 Champollion, Lucas; Krifka, Manfred (2016). "Mereology". The Cambridge Handbook of Formal Semantics. Cambridge University Press. pp. 369–388. doi:10.1017/CBO9781139236157.014. ISBN 9781139236157. 
  2. 2.0 2.1 Krifka, Manfred (1989). "Nominal reference, temporal constitution, and quantification in event semantics". Semantics and Contextual Expressions. Foris. pp. 75–115.