Квантование (лингвистика)

В формальной семантике предикат , квантуется истинным если его истинность для сущности требует, чтобы он не был для каких-либо подчастей этой сущности. Например, если что-то является «яблоком», то никакая подходящая часть этого предмета не является «яблоком». Если что-то является «водой», то многие его части также будут «водой». Следовательно, предикат «яблоко» квантуется, а предикат «вода» — нет.

Формально квантования предикат QUA можно определить следующим образом, где $U$ это вселенная дискурса , $F$ является переменной над множествами и $p$ представляет собой мереологическую часть структуры на $U$ с $<_{p}$ мереологическая часть - отношения :

$(\forall F\subseteq U_{p})(QUA(F)\iff (\forall x,y)(F(x)\wedge F(y)\Rightarrow \neg x<_{p}y))$

Квантование было впервые предложено Манфредом Крифкой как часть его мереологического подхода к семантике номиналов. С тех пор его стали применять и к другим явлениям, например, теличности .

См. также

• Меньше против меньше
• Массовое существительное
• Мереология
• Телисити