量子化（言語学）

形式意味論において、述語が量子化されているとは、ある実体について真であるためには、その実体のいかなる固有の部分についても真ではないことが必要である場合です。例えば、何かが「リンゴ」である場合、そのもののいかなる固有の部分も「リンゴ」ではありません。何かが「水」である場合、その多くの部分も「水」です。したがって、述語「リンゴ」は量子化されていますが、「水」は量子化されていません。^[1]^[2]

正式には、量子化述語QUAは次のように定義できます。ここで、は談話領域、は集合上の変数、はメレオロジー的部分構造であり、メレオロジー的部分関係は^[1]^[2]です $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))$

量子化は、マンフレッド・クリフカによって、名詞の意味論に対するメレオロジー的アプローチの一部として初めて提案されました。その後、終止性などの他の現象にも適用されてきました。

参照

参考文献

^ ab Champollion, Lucas; Krifka, Manfred (2016). "Mereology". In Aloni, Maria ; Dekker, Paul (eds.). The Cambridge Handbook of Formal Semantics . Cambridge University Press. pp. 369– 388. doi :10.1017/CBO9781139236157.014. ISBN 9781139236157。
^ ab Krifka, Manfred (1989). 「事象意味論における名詞的指示、時間的構成、および量化」。Bartsch, Renate; van Benthem, Johan; van Emde Boas, Peter (編).意味論と文脈表現. Foris. pp. 75– 115.

この意味論の記事はスタブです。拡張することでWikipediaに貢献できます。

[champkrifka-1] Champollion, Lucas; Krifka, Manfred (2016). "Mereology". In Aloni, Maria ; Dekker, Paul (eds.). The Cambridge Handbook of Formal Semantics . Cambridge University Press. pp. 369– 388. doi :10.1017/CBO9781139236157.014. ISBN 9781139236157。

[krifkaarticle-2] Krifka, Manfred (1989). 「事象意味論における名詞的指示、時間的構成、および量化」。Bartsch, Renate; van Benthem, Johan; van Emde Boas, Peter (編).意味論と文脈表現. Foris. pp. 75– 115.