Montague Grammar is a theory of natural language semantics and syntax that applies formal logic to linguistic analysis, bridging the gap between natural and formal languages. Developed by Richard Montague, it emphasizes the use of mathematical tools to represent the meaning of sentences and their syntactic structures in a precise and systematic way.