モンタギュー文法

モンタギュー文法（モンタギューぶんぽう）は、自然言語の意味論へのアプローチの一つ。アメリカ合衆国の論理学者リチャード・モンタギューの名を採って名付けられた。

概要

モンタギュー文法は形式論理学、特にラムダ計算と集合論にもとづき、(内包論理)とタイプ理論も利用している。モンタギューはこのアプローチを1960年代から1970年代の初頭にかけて率先した。

モンタギューによれば（英語のような）自然言語の意味論と（述語論理のような）形式言語のそれとの間に本質的な違いはない。モンタギュー文法の中心的な概念は論文 "The Proper Treatment of Quantification in Ordinary English" ではじめて提案された。

モンタギューの量化の扱いはプログラミング意味論の継続の概念と関連付けられている^[1]。

脚注

[脚注の使い方]

1. ^ Chris Barker. “” (PDF). 2020年12月17日時点のオリジナルよりアーカイブ。2007年1月16日閲覧。

参考文献

関連項目

• 範疇文法

外部リンク