數理語言學中採用內涵邏輯的方法來描述句子語義內容的一種理論。它的來源有二：一是N.喬姆斯基的生成語法，二是內涵邏輯。
基本介紹
- 中文名：孟德鳩語法
- 外文名：Montague grammar
- 提出者：孟德鳩
- 提出時間：20世紀70年
孟德鳩語法
孟德鳩語法 Montague grammar
數理語言學中採用內涵邏輯的方法來描述句子語義內容的一種理論。它的來源有二:一是N.喬姆斯基的生成語法,二是內涵邏輯。內涵邏輯是用於處理可能性、必然性等模態概念與時態的邏輯學，在20世紀60年代出現了模式理論之後才與現代語言學相結合。1970年前後,美國數理邏輯學家R.孟德鳩。以及D.卡普蘭、D.卡比和後來的B.H.帕蒂、R.庫珀等人把內涵邏輯套用於自然語言的研究，最後由孟德鳩和M.J.克雷斯韋爾把生成語法與內涵邏輯這兩個領域的研究集中提煉為孟德鳩語法。
孟德鳩語法能夠把用樹形圖表示的句子的深層結構轉換為內涵邏輯表達式，從而揭示出句子的某些語義內容。但它還不是自然語言的句子所表示的實在意義。為了揭示出這種意義，還必須進一步研究語義理論，即內涵邏輯的模型論。這方面的研究最近已有很大進展。
孟德鳩語法的研究對於語言學理論、自然語言信息處理、邏輯學以至於認知科學都是很有價值的。
