Loading article…
形式意味論において、型シフターは表現の意味型を変更する解釈規則である。例えば、英語の表現「John」は通常はJohn自身を表すが、 Liftと呼ばれる型シフター規則は、その意味を、プロパティを受け取り、John自身がそのプロパティを持っている場合に「true」を返す関数にまで高めることができる。Liftは、個体をそれが生成する主ウルトラフィルタにマッピングするものと見なすことができる。 [1] [2] [3]
- 型シフトなし:
- Liftによる型シフト:
![{\displaystyle \,\,[\![ジョン]\!]=j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fad5f688d0f17331718acece23181caa87ebdfb)
![{\displaystyle [\![John]\!]=\lambda P_{\langle e,t\rangle }.P(j)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50600568ca7454e007cc8ec3392194571d79fd8a)
型シフターは、体系的な型の曖昧さを許容するために、1983年にバーバラ・パーティーとマット・ルースによって提案された。当時の研究では、統語的カテゴリは意味的型に直接対応していると想定されていたため、特定のカテゴリの特定の表現の特定の使用に特に高い型が必要な場合、研究者は「最悪のケースに一般化」する必要があった。さらに、パーティーは、実際には、異なるコンテキストで異なる型を持つ表現があることを証拠が裏付けていると主張した。そのため、彼女とルースは、曖昧さを生成するための原理的なメカニズムとして型シフティングを提案した。[1] [2] [3]
型シフターは、特に範疇文法や関連する枠組みにおいて、形式意味論の標準的なツールであり続けている。型シフターは、オブジェクト位置の量指定子を解釈したり、スコープの曖昧さを捉えたりするためにも使われてきた。その点で、型シフターは、意味論に対する主流の生成的アプローチで使用される量指定子の昇順などの統語的操作の代替として機能する。[4] [5]型シフターは、代替ベースの意味論を完全に採用する必要なく、代替セットを生成および構成するためにも使われてきた。[6] [7]
参照
注記
- ^ ab Partee, Barbara ; Rooth, Mats (1983). 「一般化された接続詞と型の曖昧さ」(PDF)。Portner, Paul、Partee, Barbara (編)。形式意味論: 必須の読み物。Wiley。pp. 334–356。doi : 10.1002 /9780470758335.ch14。ISBN 9780470758335。
- ^ ab Partee , Barbara (1983). 「名詞句の解釈と型シフトの原則」(PDF)。Portner, Paul、Partee, Barbara (編)。形式意味論: 必須の読み物。Wiley。pp. 357–381。doi : 10.1002/9780470758335.ch15。ISBN 9780470758335。
- ^ ab Heim, Irene ; Kratzer, Angelika (1998).生成文法の意味論。オックスフォード: Wiley Blackwell。第4章。
- ^ ハイム、アイリーン、クラッツァー、アンジェリカ(1998)。生成文法の意味論。オックスフォード: ワイリーブラックウェル。pp. 184–188。
- ^ Jacobson, Pauline (2014).構成的意味論: 構文/意味論インターフェース入門. Oxford University Press. ISBN 9780199677153。
- ^ Charlow, Simon (2015). 「スコープによる選択肢」(PDF) .未発表のコースノート.
- ^ Charlow, Simon (2020). 「選択肢の範囲：不定性と島々」.言語学と哲学. 43 (4): 427–472. doi :10.1007/s10988-019-09278-3. S2CID 254749307.