Type_shifter
で、正式な意味論タイプのシフターは、ある解釈の表現の変更ルールセマンティックタイプを。たとえば、英語の式「John」は通常、 John自身を表す場合がありますが、Liftと呼ばれる型シフトルールは、プロパティを取得し、John自身がそのプロパティを持っている場合に「true」を返す関数にその表記を上げることができます。リフトは、それが生成する主要な限外フィルターに個人をマッピングすることと見なすことができます。
タイプシフトなし：
[ ]= {、、 = j}
リフトによるタイプシフト ： [ ] = λ ⟨ e 、 ⟩
。 （（ ）。
{ = lambda P _ { langle e、t rangle} .P（j）}
タイプシフターは、体系的なタイプのあいまいさを考慮して、1983年にBarbaraParteeとMatsRoothによって提案されました。この時期の作業では、構文カテゴリがセマンティックタイプに直接対応していると想定されていたため、特定のカテゴリの特定の表現の特定の使用に特に高いタイプが必要な場合、研究者は「最悪の場合に一般化」する必要がありました。さらに、Parteeは、証拠は実際には、さまざまなコンテキストでさまざまなタイプの表現をサポートしていると主張しました。したがって、彼女とRoothは、このあいまいさを生成するための主要なメカニズムとしてタイプシフトを提案しました。
タイプシフターは、特に範疇文法および関連するフレームワークにおいて、正式なセマンティック作業の標準ツールのままです。タイプシフターは、オブジェクトの位置にある数量詞を解釈し、スコープのあいまいさをキャプチャするためにも使用されています。この点で、これらは、セマンティクスへの主流の生成的アプローチで使用される数量詞の引き上げなどの構文演算の代替として機能します。 タイプシフターは、代替ベースのセマンティクスを完全に採用する必要なしに、代替セットを生成および構成するためにも使用されています。
も参照してください
代替セマンティクス
バーバラ・パーティー
範疇文法 型変換 型理論
スコープ（正式なセマンティクス）
構文-セマンティクスインターフェイス
ノート
^ パーティー、バーバラ; Rooth、Mats（1983）。「一般化された接続詞と型のあいまいさ」 （PDF）。ポートナーでは、ポール。パーティー、バーバラ（編）。正式なセマンティクス：重要な読み。ワイリー。pp。334–356。土井：10.1002 /9780470758335.ch14。
^ パーティー、バーバラ（1983）。「名詞句の解釈とタイプシフトの原則」（PDF）。ポートナーでは、ポール。パーティー、バーバラ（編）。正式なセマンティクス：重要な読み。ワイリー。pp。357–381。土井：10.1002 /9780470758335.ch15。
^ ハイム、アイリーン; クラッツァー、アンゲリカ（1998）。生成文法における意味論。オックスフォード：ワイリーブラックウェル。第4章。
^ ハイム、アイリーン; クラッツァー、アンゲリカ（1998）。生成文法における意味論。オックスフォード：ワイリーブラックウェル。pp。184–188。
^ ジェイコブソン、ポーリン（2014）。構成セマンティクス：構文/セマンティクスインターフェイスの概要。オックスフォード大学出版局。ISBN 9780199677153。
^ Charlow、Simon（2015）。「スコープによる代替案」（PDF）。未公開のコースノート。
^ チャーロウ、サイモン（2020）。「選択肢の範囲：不確定性と島々」。言語学と哲学。43（4）。土井：10.1007 / s10988-019-09278-3。
このセマンティクス
“