蒙塔鴻語法(Montague grammar)建立在數理邏輯基礎上的形式語法.它是採用內涵邏輯的方法來描述句子語義內容的一種理論.1970年前後，美國數理邏輯學家蒙塔鴻(Montague, R.)等人把內涵邏輯套用於自然語言的研究，並把生成語法與內涵邏輯這兩個領域的研究集中提煉為蒙塔雞語法.蒙塔鴻語法把用樹形圖表示的句子的深層結構轉換為內涵邏輯表達式，從而揭示句子的某些語義內容.這種語法理論對於自然語言信息處理、邏輯學，以致於認知科學是很有價值的.
