実存的終焉
形式意味論において、存在閉包とは存在量化を導入する操作である。これは、アイリーン・ハイムが1982年の博士論文において、不定値の分析の一環として初めて提唱した。彼女の定式化によれば、存在閉包とは、任意の意味型を持つ任意の数の変数を束縛する非選択的束縛の一形態である。 [1] [2]代替意味論や関連する枠組みにおいて、この用語はしばしば、命題的選択肢の集合を存在量化する密接に関連した操作に適用される。[3] [4]
参照
参考文献
- ^ Brasoveanu, Adrian; Farkas, Donka (2016). 「Indefinites」. Aloni, Maria ; Dekker, Paul (編). The Cambridge Handbook of Formal Semantics . Cambridge University Press. pp. 238– 266. doi :10.1017/CBO9781139236157.009. ISBN 9781107028395。
- ^ ハイム、アイリーン (1982). 「第2章 不定詞を変数として使う」. 定名詞句と不定名詞句の意味論(PDF) (論文). マサチューセッツ大学アマースト校.
- ^ クラッツァー、アンジェリカ;下山順子(2002)「不定代名詞:日本語からの視点」(PDF)第3回東京心理言語学会議議事録。
- ^ Ciardelli, Ivano; Roelofsen, Floris; Theiler, Nadine (2017). 「代替表現の合成」(PDF) .言語学と哲学. 40 (1): 1– 36. doi : 10.1007/s10988-016-9195-2 .