範疇文法
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/01/17 06:26 UTC 版)
 | この項目「範疇文法」は途中まで翻訳されたものです。（原文：英語版 "Categorial grammar" 16:30, 27 December 2012 UTC） 翻訳作業に協力して下さる方を求めています。ノートページや履歴、翻訳のガイドラインも参照してください。要約欄への翻訳情報の記入をお忘れなく。（2013年2月） |
範疇文法（はんちゅうぶんぽう、英: Categorial grammar）は自然言語の統語論において、統語成分が関数やその引数の結合であるとの仮説に基づいて編成された形式主義文法理論である。範疇文法は、構文カテゴリーが意味の型に対応しているとして、統語・意味合成（英語: principle of compositionality）に密接な関係を持っているとされる。
1935年にカジミエシュ・アイドゥキエヴィチによって考案され、イェホシュア・バル＝ヒレル（英語: Yehoshua Bar-Hillel） （1953年）やヨアヒム・ランベック（英語: Joachim Lambek）（1958年）らによって研究が進んだ。1970年代に類似した観点を持ったリチャード・モンタギューのモンタギュー文法により、範疇文法への関心が高まった。
範疇文法は（依存関係ではなく）項の構成により文の構造を解析するので，これは（依存文法ではなく）句構造文法である．
範疇文法は未だに特に形式意味論の分野において主要なパラダイムの一つとなっている。その発展形にマーク・スティードマン（英語: Mark Steedman）やアンナ・サボルチ（英語: Anna Szabolcsi）らによる組み合わせ範疇文法がある。
概要
範疇文法は，語彙と型推論の法則の2つより成る．語彙は記号に型を与える集合であり，型推論は構成される記号の型より文の型をつくる規則を定める．それは型推論が明確に定められる利点を持ち,それゆえ特定の言語の文法は語彙によって完全に決められる．
範疇文法は，単純型付きラムダ計算といくつかの特徴を共有する．
しかしラムダ計算は 
- 範疇文法のページへのリンク
