Η **γραμματική του Μόνταγκιου** (αγγλικά: Montague grammar) είναι μια προσέγγιση στη σημασιολογία των φυσικών γλωσσών που πήρε το όνομά της από τον Αμερικανό επιστήμονα της λογικής Ρίτσαρντ Μόνταγκιου. Η γραμματική του Μόνταγκιου βασίζεται στην τυπική λογική και ειδικότερα στην κατηγορηματική λογική υψηλότερης τάξης και το λ-λογισμό και χρησιμοποιεί έννοιες της νοηματικής λογικής μέσω μοντέλων Κρίπκε. Ο Μόνταγκιου υπήρξε πρωτοπόρος αυτής της προσέγγισης κατά τη δεκαετία του 1960 και στην αρχή της δεκαετίας του 1970.

Βασική θέση
-----------

Η θέση του Μόνταγκιου ήταν ότι οι φυσικές γλώσσες (όπως η αγγλική) και οι τυπικες γλώσσες (όπως οι γλώσσες προγραμματισμού) μπορούν να μελετηθούν με τον ίδιο τρόπο.

> "Δεν υπάρχει κατά την άποψή μου κάποια σημαντική θεωρητική διαφορά μεταξύ των φυσικών γλωσσών και των τεχνητών γλωσσών των επιστημόνων της λογικής, στην πραγματικότητα θεωρώ ότι είναι πιθανό να κατανοήσουμε τη σύνταξη και τη σημασιολογία και των δύο τύπων γλώσσας με μια μοναδική, φυσική και μαθηματικά ακριβή θεωρία. Σε αυτό το σημείο διαφέρω από κάποιους φιλοσόφους αλλά πιστεύω ότι συμφωνώ με τον Νόαμ Τσόμσκι και τους συνεργάτες του." (Universal Grammar 1970)
> 
>

Σημαντικές δημοσιεύσεις
-----------------------

Ο Μόνταγκιου δημοσίευσε αυτό που στη συνέχεια θα γινόταν γνωστό σαν γραμματική Μόνταγκιου σε τρεις δημοσιεύσεις-σταθμούς:

* 1970: "Universal grammar" (= UG)
* 1970: "English as a Formal Language" (= EFL)
* 1973: "The Proper Treatment of Quantification in Ordinary English" (= PTQ)

Ο χειρισμός των ποσοδεικτών από τον Μόνταγκιου έχει συνδεθεί με την έννοια της συνέχειας στη σημασιολογία των γλωσσών προγραμματισμού.

Περαιτέρω διάβασμα
------------------

* Richmond Thomason (ed.): *Formal Philosophy. Selected Papers by Richard Montague.* New Haven, 1974, ISBN 0300024126 (Αγγλικά)
* Paul Portner, Barbara H. Partee (eds.): *Formal Semantics: The Essential Readings*, Blackwell, 2002. ISBN 0631215425 (Αγγλικά)
* D.R. Dowty, R.E. Wall and S. Peters: *Introduction to Montague Semantics.* Kluwer Academic Publishers, 1981, ISBN 9027711429 (Αγγλικά)
* Emmon Bach: *Informal Lectures on Formal Semantics.* SUNY Press, 1989, ISBN 0887067719 (Αγγλικά)
* B.H. Partee, A.G.B. ter Meulen and R.E. Wall: *Mathematical Methods in Linguistics.* Kluwer Academic Publishers, 1990, ISBN 9027722455 (Αγγλικά)
* B.H. Partee with Herman Hendriks: *Montague Grammar.* In: *Handbook of Logic and Language*, eds. J.F.A.K. van Benthem and A.G.B. ter Meulen Elsevier/MIT Press, 1997, pp. 5–92. ISBN 0262220539 (Αγγλικά)

Παραπομπές
----------

1. ↑  Η γλωσσολόγος Barbara Partee ισχυρίζεται με αρκετά πειστικό τρόπο ότι δημιούργησε τον όρο το 1971 "για το σύστημα που περιγράφεται στα έργα του Μόνταγκιου" UG, EFL και "ιδιαίτερα στο PTQ". Δείτε το δοκίμιό της "Reflections of a Formal Semanticist as of Feb 2005", σελ. 14, υποσημείωση 36.
2. ↑  "Universal grammar". *Theoria* 36 (1970), 373–398. (reprinted in Thomason, 1974) (Αγγλικά)
3. ↑  "English as a Formal Language". In: Bruno Visentini (ed.): *Linguaggi nella società e nella tecnica*. Mailand 1970, 189–223. (reprinted in Thomason, 1974) (Αγγλικά)
4. ↑  "The Proper Treatment of Quantification in Ordinary English". In: Jaakko Hintikka, Julius Moravcsik, Patrick Suppes (eds.): *Approaches to Natural Language*. Dordrecht 1973, 221–242. (τυπώθηκε πάλι στον Thomason, 1974) (Αγγλικά)
5. ↑  Βλ. *Continuations in Natural Language Αρχειοθετήθηκε 2007-08-24 στο Wayback Machine.* (Αγγλικά)

Δείτε επίσης
------------

* Μπάρμπαρα Παρτί
* Στυλ περάσματος συνεχειών
* Τυπική σημασιολογία

Εξωτερικοί σύνδεσμοι
--------------------

* Δωρεάν συντακτικός αναλυτής για γραμματική Montague σε μια μη-ντετερμινιστική επέκταση της Common Lisp (Αγγλικά).
* Montague Grammar in historical context. / The theory and the substance of Montague grammar. Central principles. / Further developments and controversies. by Barbara H. Partee (Αγγλικά).