言語学において、アークペア文法(APG )は、関係文法を形式化し拡張することを目的とした統語論である。これは主に、関係文法におけるアークの概念に基づいているが、モデル理論やグラフ理論からより形式的に表現された概念も利用している。1970年代後半にデイビッド・E・ジョンソンとポール・ポスタルによって開発され 、1980年に同名の著書『アークペア文法』で形式化された。
初期の統語論は主に文法関係に関心を寄せていた。この傾向は、意味解釈を除いて変形文法の支持者によって放棄された。 [ 1 ] 1970年代初頭、エドワード・キーナンなどの言語学者は、変形主義の観点からこの概念に異議を唱え始め、例えばマダガスカル語の関係節の形成[ 1 ]や英語の受動化(chômeurを参照)を指摘した。関係文法(RG)自体は一箇所で形式化されることはなく、代わりにキーナン、ジョンソンらは、この頃一連の博士論文でその枠組みの側面を書き始めた。RGの結果と形式化の欠如に不満を抱いたデイビッド・ジョンソンとポール・ポスタルは、数学的論理を用いてそのバージョンを構築しようと試みた。この試みは、現在APGとして知られる新しい理論へと発展した。 APG自体は1970年代後半にジョンソンとポスタルによって開発されましたが、1980年まで発表されませんでした。[ 2 ] APGは文法関係、グラフ理論のアークの概念、および2つの操作(SPONSORとERASE)を基本要素とし、他のすべてのルールは(経験的ではなく数学的に)導出されます。
変形文法が前提とする生成列挙的(証明論的)な構文論的アプローチとは対照的に、弧ペア文法はモデル理論的アプローチを採用する。弧ペア文法では、言語法則と言語固有の文法規則は公理的な論理命題として形式化される。ある言語の文は、特定のタイプの構造として理解され、一連の言語法則と言語固有の命題に従う。これにより、文法性はモデル理論的充足という論理的に充足可能な概念に還元される。
ペアネットワーク(PN)は、APGにおける文の表現方法の主たるものです。これは、ノード(各単語と節全体)とそれらを接続するアークからなる数学モデルであり、操作はノードではなくアークに対して行われます。これはTGの木の概念とある程度類似していますが、いくつかの大きな違いがあります。第一に、PNは形式的な数学的対象であるのに対し、TGの木は形式的に定義されていない数学的対象です。第二に、木の枝の概念は引き継がれません。枝はさまざまな構造レベルでノードを接続し、枝の全体的なネットワークが文法的な役割を決定しますが、アークは文法的な役割をそのヘッドにエンコードし、唯一の構造的役割は単語を節に接続することです。第三に、アーク間の操作(つまり、構造内操作)が語順を作成しますが、TGの構造はすべてのレベルで語順をエンコードします。[ 2 ]
ペア ネットワークは、関係グラフ、論理グラフ、表面グラフ (R グラフ、L グラフ、S グラフ)、および 2 つの操作SponsorとEraseの 4 つのコンポーネントで構成されます。R グラフは、ペア ネットワーク内のすべての項目の集合、つまり、すべてのアーク、ラベル ( R 記号)、およびそれらの間の操作の全体的な構造です。S グラフは、実際に話される R グラフのメンバーで構成されます。APG フレームワークは理論的には語彙エントリにも適用できますが、S グラフの目的のために、単一の句要素と単語は単一のルートを持つものとして扱われます。[ 2 ] L グラフは、ペア ネットワークの意味と、その要素間の論理関係を表します。L グラフには、「論理アーク」の概念も含まれています。これは、アークの論理的および意味的関係でラベル付けされたノードで終了する R グラフ内のアークです。
スポンサー操作は、Rグラフのレベル間で、異なる言語状態(つまり、特定の文法関係のセット)を確立するために使用されます。一般的に、下位レベルは上位レベルをスポンサーし、上位レベルは下位レベルを消去します。スポンサーは、置換と継承の2つのケースに分けられます。継承は、2つのうちより基本的なもので、アークAが別のアークBの後継者となるのは、BがAをスポンサーし、AとBが重なり、B≠Aである場合のみです。つまり、自身以外のアークによってスポンサーされているすべてのアークは、そのアークの後継者です。一方、置換は、隣接するアーク(ヘッドを共有するが、テールが異なるアーク)間でのみ発生します。結果として、置換は、同一のR記号を持つアーク間でのみ発生します。置換操作の一部であるアークは、継承操作の一部にもなれません。[ 2 ]したがって、置換は継承よりも大幅に制限されています。最終的にはスポンサーシップを確立するという同じ効果を持つものの、ReplaceとSucceedはそれぞれ異なる規則と法律の対象となります。[ 2 ]この区別はスポンサーシップがいつ発生するかを正確に定義するのに役立ち、技術的には必須ではありませんが、簡潔さの目的には有用です。
消去操作は、どの言語レベルが音韻的に証明されているかを指定する必要が生じた際に、アーク間で行われます。2つのアークが同じルートノードに対して同じ文法関係を共有している場合、表層レベルのアークが下位レベルのアークを消去します。例外が1つある場合を除き、後継アークは常に先行アークを消去します。
APGやその派生理論の実践者であると考える統語論学者はごく少数です。これにはいくつかの理由があります。第一に、APGはペアネットワークとアークペアを使用して言語のあらゆる側面を扱おうとしますが、音韻論の適切なAPG説明はありません。[ 2 ]第二に、APG構造の複雑さは一般的に文の複雑さとともに指数関数的に増加します。たとえば、to補語を含む文では、補語内のノードは補語外のノードとアーク関係を持ち、数学的に表現されているものの理解しにくい構造になります。