高階文法（HOG）は、高階論理に基づく文法理論である。[1] [2]これは、生成列挙的（範疇文法や原理とパラメータのように）またはモデル理論的（主辞駆動句構造文法や語彙機能文法のように） として同時に見ることができる。
主な特徴
- 言語的（音韻論的、統語論的、または意味論的）実体の集合を表す型の命題論理が存在する。例えば、型 NP は名詞句の統語範疇（または形式クラス）を表す。
- HOG は、Haskell Curryによるテクトグラムマ構造(抽象構文) とフェノグラムマ構造(具体的構文) の区別を維持します。
- 抽象統語的実体は、構造主義（ブルームフィールド＝ホケット）の自由形式（単語および句）と同一視されます。例えば、「あなたの猫」という名詞句は、音韻論や意味論とは区別されます。
- 具象統語論は音韻論と同一視され、広く語順を含むものと解釈されます。
- フレーゲの意味のモデル化はモンタギューのものと大体似ていますが、内包がより細分化された超内包に置き換えられています。
- （カリー・ハワード）証明項計算があり、その項は言語的（音韻論的、統語論的、または意味論的）実体を表す。
- 計算という用語は、古典的な高階論理(HOL) に組み込まれています。
- 統語論-音韻論および統語論-意味論のインターフェースは、HOL では公理理論として表現されます。
- HOL は (分離スタイルの)サブタイプ化を許可します。たとえば、対格名詞句のタイプである NPacc はNP のサブタイプであり、NP によって示されるカテゴリのサブセットを示します。
参考文献
- ^ ポラード、カール. 「高階範疇文法」範疇文法に関する国際会議、フランス、モンペリエ. 2004年.
- ^ ハナ、イリ. 高階文法におけるチェコ語接辞. オハイオ州立大学学位論文, 2007年.
外部リンク
- オハイオ州立大学高等文法学部
