蒙太格语法(简称MG)，是美国著名数理逻辑学家Richard Montague在上个世纪七十年代初创建的理论，是在现代逻辑学和现代语言学基础上发展起来的独树一帜的语法理论。成为美国语言逻辑，尤其是语义研究中的一个颇有影响的学术派别。 MG的基本出发点是“通用语法”(universal grammar)思想，是逻辑语义学推广到自然语言领域的结果。他丰富和发展了逻辑语义学思想，超越经典外延的模式，创立新型的内涵逻辑理论。目前，很多学者从逻辑学、语言学等角度对MG的进行研究，取得丰硕的成果。 本文并不是简单的将有关MG的研究成果进行归纳、叙述。而是从早期语义学的传统；逻辑、哲学中模型论的出现等角度来考察蒙太格语法形成的历史背景，来探索蒙太格语法形成的历史渊源，说明蒙太格语法的产生是继承和发展的结果，同时也是时代的需要；本文在阐述蒙太格语法形成的基本理论基础时，重点讨论转换生成语法、范畴语法理论和机器翻译理论对其的影响，阐明蒙太格语法的主要内容及其相互关系。其切入点有如下两方面：(1)通过对蒙太格语法研究的相关叙述，比较，深化对蒙太格语法的系统认识；(2)从逻辑学、语言学和人工智能自身的发展需要和蒙太格语法的优点相比较入手，突出蒙太格语法对其的意义。本文的创新点有如下两方面：(1)对蒙太格语法的内容中的重点作详尽的叙述，做到重点突出，主次分明。(2)对蒙太格语法的形成方面，采取纵向比较的方法，叙述蒙太格语法形成的历史背景和发展脉络；对蒙太格语法形成的意方面，采取横向比较的方法，叙述其对逻辑学、语言学和人工智能的意义。