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

В формальной семантике предикат квантуется , если его истинность по отношению к сущности требует, чтобы он не был истинным по отношению к любым собственным подчастям этой сущности. Например, если что-то является «яблоком», то никакая собственная подчасть этой вещи не является «яблоком». Если что-то является «водой», то многие из его подчастей также будут «водой». Следовательно, предикат «яблоко» квантуется, а «вода» — нет. ^{[1] [2]}

Формально предикат квантования QUA можно определить следующим образом, где — универсум дискурса , — переменная над множествами , а — мереологическая часть структуры с мереологическим отношением части : ^[1] [ ^2] ${\displaystyle U}$ ${\displaystyle F}$ ${\displaystyle p}$ ${\displaystyle U}$ ${\displaystyle <_{p}}$

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

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

Смотрите также

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

Ссылки

1. Шампольон, Лукас; Крифка, Манфред (2016). «Mereology». В Aloni, Мария ; Деккер, Пол (ред.). Кембриджский справочник по формальной семантике . Cambridge University Press. стр. 369–388. doi :10.1017/CBO9781139236157.014. ISBN 9781139236157.
2. Krifka, Manfred (1989). «Номинальная ссылка, темпоральная конституция и квантификация в семантике событий». В Bartsch, Renate; van Benthem, Johan; van Emde Boas, Peter (ред.). Семантика и контекстуальные выражения . Foris. стр. 75–115.