|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 文 ： [ぶん] 【名詞】 1. sentence ・ 文法 ： [ぶんぽう] 【名詞】 1. grammar ・ 法 ： [ほう] 1. (n,n-suf) Act (law: the X Act)
モンタギュー文法（モンタギューぶんぽう）は、自然言語の意味論へのアプローチの一つ。アメリカ合衆国の論理学者リチャード・モンタギューの名を採って名付けられた。 == 概要 == モンタギュー文法は形式論理学、特にラムダ計算と集合論にもとづき、内包論理とタイプ理論も利用している。モンタギューはこのアプローチを1960年代から1970年代の初頭にかけて率先した。 モンタギューによれば（英語のような）自然言語の意味論と（述語論理のような）形式言語のそれとの間に本質的な違いはない。モンタギュー文法の中心的な概念は論文 "''The Proper Treatment of Quantification in Ordinary English''" ではじめて提案された。 モンタギューの量化の扱いはプログラミング意味論の継続の概念と関連付けられている。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「モンタギュー文法」の詳細全文を読む スポンサード リンク
|