Gramatyka Montague

Gramatyka Montague (semantyka Montague) – teoria semantyki języka naturalnego, zaproponowana w latach 60. i 70. przez Richarda Montague; od tego czasu podlegała modyfikacjom. Bazuje na teorii modeli formalizacja semantyki języka naturalnego. Jej częścią był język formalny zapisu, jak również charakterystyczny zestaw reguł języka, rządzących składnią. Bazuje na logice formalnej. Zakłada, że języki naturalne (takie jak angielski) mogą być traktowane w ten sam sposób jak języki formalne. Kluczowym zagadnieniem jest relacja pomiędzy syntaktyką a semantyką. Znaczenie wypowiedzi zależy zarówno od znaczenia poszczególnych części zdania, jak i od sposobu, w jaki zostały połączone.