Analysis Of Montague Grammar

In the 1970s , Montague Grammar (MG) was founded by R·Montague , who was the famous logician of America. It is a new idea to research natural language by the formal methods of modern logic. MG is the result of modern linguistics and modern logic's combination, it is mainly built on three papers which research syntax and semantics of natural language. The three papers are: English as a Formal Language, Universal Grammar, The Proper Treatment of Quantification in Ordinary English. Where the last one is the most famous . In that paper Montague made a system which can give an analysis of the semantics of English words, and it is PTQ. The system more maturely expresses MG's basic ideology and methods.In this paper, we try to investigate the great significance and value of theory from the historical background. MG is the result of modern linguistics and modern logic's combination, so we from two aspects to investigate its historical background . In logic, logic semantics and intensional logic have played an important role; in Linguistics, MG is effected by the scope of grammar and Chomsky's Transformational Grammar. Then there are three parts in PTQ:(1)The syntax of a fragment of English, and there are 9 syntactic categories and 17 syntactic rules in this part;(2) Intensional logic, the meaningful expressions of intensional logic are given by recursive definition; The introduction of operator "λ" is the most interest part. (3) Translating English into intensional logic .In this part we shall consider some rules of translation,T1-T17,which will be correspond to the syntactic rules S1-S17.In the last, based on the meaning and value of MG theory, and based on the further understand about the ideas and methods , we can make some useful thoughts about Chinese formal problems .