構成性(Compositionality)とは、複合表現の意味がその構成要素の意味と、それらの組み合わせ方の規則によって完全に決定されるという原理である。主に言語学、論理学、数学計算機科学の分野で中心的な概念として扱われ、特に意味論(Semantics)において「フレーゲの原理」や「構成性の原理」とも呼ばれる。この原理は、有限な語彙文法規則から無限の意味表現を生成可能にする基盤を提供し、自然言語処理や形式意味論理論的支柱となっている。

1.1 フレーゲの原理

フレーゲの原理は、19世紀末のドイツの哲学者ゴットロープ・フレーゲに由来する。フレーゲは『意義と意味について』(1892年)などで、複合的な表現の意味は、各部分表現の意味とその統語構造から一意に決定されると主張した。この原理は後に「フレーゲの原理」または「構成性の原理」と呼ばれ、形式意味論の出発点となった。フレーゲの目的は、自然言語の意味を数学的な厳密さで扱うことにあった。

1.2 構成性の定義

構成性の定義は学界によって微妙に異なるが、一般に「複合表現の意味がその部分の意味と合成規則の関数である」という形で定式化される。この定義は、合成規則がどの程度の詳細を必要とするかによって、弱い構成性と強い構成性に分類される。

1.2.1 弱い構成性

弱い構成性は、複合表現の意味が各部分の意味だけから決定されればよく、合成規則の具体的内容は問わない立場である。例えば、ある句の意味がその構成要素の意味の集合として定義される場合、弱い構成性が満たされる。これにより、文脈依存性や多義性を許容する柔軟な枠組みが可能となる。

1.2.2 強い構成性

強い構成性は、複合表現の意味が各部分の意味と統語構造の両方から厳密に決定されることを要求する。各部分の意味は統語的な結合の仕方に応じて関数適用され、結果として一義的な意味が得られる。形式意味論や計算機科学の分野では、この強い構成性が理論の基礎として採用されることが多い。

1.3 歴史背景

構成性の概念は古代ギリシャのストア派や中世の論理学にも萌芽が見られるが、現代的な定式化は19世紀末のフレーゲに始まる。20世紀初頭にはラッセルやウィトゲンシュタインが論理的原子論を展開し、構成性を言語哲学の中心に据えた。その後、タルスキの真理定義(1930年代)を経て、モンタギューが1970年代に自然言語の形式意味論を確立し、構成性を厳密な数学的枠組みで実装した。現在では、認知科学や計算言語学の広範な領域で参照される原理となっている。

2.1 言語学における構成性

言語学では、構成性は文や句の意味を部分から組み立てる原理として、統語論と意味論のインターフェースを支える。特に生成文法とモンタギュー文法において重要な役割を果たす。

2.1.1 生成文法と意味合成

ノーム・チョムスキーの生成文法では、統語構造が深層構造から表層構造へと派生する過程で、意味解釈が行われる。標準理論では、深層構造が意味解釈入力となるとされた。後のミニマリスト・プログラムでは、統語操作と意味合成が並行して進む「素性照合」の枠組みが提案され、構成性は統語的派生の各段階で局所的に保証される。

2.1.2 モンタギュー文法

リチャード・モンタギューは、自然言語を形式言語とみなし、その意味論をラムダ計算と型理論を用いて厳密に記述した。モンタギュー文法では、各統語規則に意味規則が一対一対応し、構成性の原理が完全に実現される。例えば、名詞句動詞句の結合は、関数適用によって意味が合成される。このアプローチは、自然言語処理における意味解析の理論的基盤となった。

2.2 論理学と数学

論理学と数学では、構成性は真理条件的意味論や計算の理論と密接に関連する。

2.2.1 真理条件的意味論

真理条件的意味論は、アルフレト・タルスキが形式言語のために開発した真理定義に基づく。「雪は白い」という文が真であるのは、雪が白いときであり、その条件は構成要素の意味から合成される。この枠組みでは、文の真理値は部分表現の真理条件と統語構造から決定されるため、構成性が本質的に組み込まれている。

2.2.2 ラムダ計算

アロンゾ・チャーチが考案したラムダ計算は、関数抽象と関数適用の体系であり、構成性の数学的モデルとして機能する。ラムダ式は変数束縛と代入によって意味が一意に定まり、複合式の評価は部分式の評価結果に依存する。これは、プログラミング言語の意味論や形式意味論における構成性の実装に広く利用される。

2.3 計算機科学

計算機科学では、構成性はソフトウェアの正しさや効率性を保証する設計原理として、また自然言語処理の実用的手法として応用される。

2.3.1 プログラミング言語の意味論

プログラミング言語の操作的意味論や表示的意味論では、プログラムの意味が構文要素の意味の合成として定義される。例えば、式 a + b の値は a の値と b の値の和となる。この構成性により、プログラムの部分的な解析や検証が可能となり、モジュラリティや再利用性が向上する。

2.3.2 自然言語処理への応用

自然言語処理では、構成性は構文解析と意味解析を統合する手法の基礎となる。例えば、依存文法に基づく意味役割付与や、ニューラルネットワークを用いたエンコーダ・デコーダモデルは、構成性を暗黙に前提している。また、近年のトランスフォーマーモデル(BERTやGPTなど)は、文脈を考慮した分散表現学習するが、原理的には構成性の仮定を緩和しつつも、その恩恵を活用している。

3.1 複合名詞句の解釈

複合名詞句(例:「赤い車」「数学の先生」)の解釈は、構成性の典型例である。「赤い車」の意味は、「赤い」と「車」の意味を修飾規則で合成することで得られる。ただし、実際には「赤いワイン」のように慣習的な意味が介入する場合もあり、純粋な構成性だけでは捉えきれない側面がある。

3.2 量化と演算子

量化表現(例:「すべての学生」「ある本」)や論理演算子(例:「かつ」「または」)は、構成性によって厳密に扱われる。「すべての学生が走る」の意味は、「すべての」が「学生」と「走る」を束縛する形で得られる。モンタギュー文法では、量化子は高階関数として表現され、構成性を保ちながら複雑なスコープ関係を記述できる。

3.3 イディオムと非構成性

構成性が成り立たない典型的な事例として、イディオムや慣用句が挙げられる。これらは、部分の意味から全体の意味が予測できないため、構成性の反例とされる。

3.3.1 慣用句の問題

「袖にする」「猫をかぶる」といった慣用句は、字義通りの解釈では意味が通じず、全体として固定的な意味を持つ。このため、構成性の原理は慣用句に対しては適用できない。言語学では、慣用句を辞書に独立した項目として登録することで、形式的な扱いを試みる。

3.3.2 メタファーと語用論

メタファー(例:「時間は金だ」)も非構成性の事例である。メタファーの解釈には、字義的な意味に加えて、話者の意図や文脈に依存した連想が関与する。語用論の分野では、グライスの含意理論や関連性理論が、メタファーの理解過程を説明するが、構成性の枠組みを超える語用論的推論が必要となる。

3.4 多義性と文脈依存性

単語の多義性(例:「角」が「動物の角」「街角」「角度」を表す)は、構成性に文脈依存性の問題を提起する。文「彼は角に立っている」の意味は、「角」が「街角」の意味で解釈されるかどうかによって異なり、その選択は周囲の文脈に依存する。構成性の原理は、単語の意味があらかじめ決定されていれば適用できるが、実際には文脈によって意味が選択されるため、弱い構成性の枠組みで対応する必要がある。

4.1 構成性への批判

構成性は多くの分野で有効な原理である一方、自然言語の豊かさを完全に捉えられないという批判が存在する。

4.1.1 文脈依存性の課題

直示表現(「私」「ここ」「今」)や指標詞、さらには発話状況に依存する語用論的含意は、構成性の枠組みでは扱いが難しい。例えば「彼は遅刻した」の解釈には、「彼」が誰を指すかという文脈情報が必要であり、単なる構成要素の意味合成だけでは不十分である。このため、構成性の原理は意味論の範囲を限定せざるを得ない。

4.1.2 ゲシュタルト的意味

心理学のゲシュタルト理論に由来する「全体は部分の総和以上である」という考え方は、構成性への根本的な反論となる。例として「青い鳥」は、単に色と鳥の組み合わせを超えて「幸福の象徴」という文化的意味を帯びることがある。このような創発的意味は、構成性では説明できない。

4.2 非構成性アプローチ

構成性の限界を克服するために、非構成性を前提とした理論が提案されている。

4.2.1 認知意味論

ジョージ・レイコフらに代表される認知意味論は、意味が身体経験や認知フレームに基づく動的なものであり、構成性のような静的合成では捉えきれないと主張する。プロトタイプ理論やイメージスキーマの概念を用いて、意味の柔軟性と文脈依存性を説明する。認知意味論では、複合表現の意味は部分の意味の単なる関数ではなく、認知的なカテゴリー化の産物として理解される。

4.2.2 確率的モデル

近年の自然言語処理では、ニューラルネットワークに基づく確率的言語モデルが、構成性に依存せずに高い性能を示している。これらのモデルは、単語の分散表現(単語埋め込み)と文脈表現を用いて、意味を統計的に学習する。例えば、BERTやGPTは、与えられた文脈から次に来る単語を予測する過程で、非構成性的な依存関係を捉える。これにより、イディオムやメタファーも文脈から確率的に解釈できるが、モデルのブラックボックス性や解釈可能性の低さが課題として残る。