一般化交差効果に対する型理論的アプローチ

自然言語の代名詞は，具体的な対象を指示するだけでなく，別の表現に依存した変数のような振る舞いをすることがある．例えば(1)では，「それぞれの少女𝑥が𝑥の母親を愛する」という，少女に応じて代名詞の参照先が変わる解釈が可能である．この現象を束縛変項照応(boundvariableanaphora;BVA)といい，以下では(1)に示すような添え字で表現する．(1)Everygirl𝑖lovesher𝑖mother.BVAは，統語構造に関する非対称性を示すことが知られている．例えば，(1)におけるeverygirlとherの間の構造的な関係を入れ替えた(2)では，BVA解釈が容認されない．(2)*Her𝑖motherloveseverygirl𝑖.このように構造的な関係に応じてBVAが阻止される効果のことを，交差効果(crossovereﬀect)という．交差効果は通言語的に観察されており，統語構造と意味を対応させる人間の認知機構の基本的な性質を反映していると考えられている[1]．多くの理論は，交差効果を統語構造における移動(movement)操作と関連付けて分析している[2,3,4]．しかし[5]は，統語的移動を伴うとは考えられていない投射(projection)という意味現象にも(2)と同様の制約が観察されることを指摘し，一般化交差効果(generalizedcrossovereﬀect)という新たな経験的一般化を提唱した．これは，純粋に統語的な分析ではBVAを十分に説明しきれない可能性を示唆しており，既存理論にとっての課題を提示している．本研究はこの課題に，型理論に基づく意味論の枠組みである依存型意味論(DependentTypeSemantics;DTS)[6]を用いて取り組む．DTSは命題を型によって表現する枠組みであり，型が持つ変数スコープの構造を統語構造の代わりに用いることによって，(2)のような量化詞に関する交差効果を説明できる[7]．本研究は，投射を扱うための機構を適切に定義することによって，従来のDTSの交差効果の分析を一般化交差効果へと統一的な形で拡張できることを示す．