A Tentative Analyse On The Language Of Logic From The Aspect Of Montague Grammar

Pragmatics logic a non-standard logic branch which formed on the base of modern logic, pragmatics and Semiology; The semanteme system of true and false value that the mathematical logic adopts is simplified abstractly and most in a great deal of semanteme systems, Therefore there is one kind of a great deal of limitation. But semanteme system that people express in knowledge and the language use when exchanged is multi-level, influenced each other , Therefore very complicated. But the theory on the language of daily life and scientific knowledge, not merely involve the analysis of the true and false quality , also involve the analysis of validity, appropriate quality and communication quality. Therefore, try to explain that all semanteme with true and false value is the difficulty. Before Montague Grammar, The language shape of logic is studied and studies the range only limited to the artificial language of logic with logic semantics, the logic Pragmatics is basically a blank. Montague Grammar popularize logic Semiology to the natural language field the shape of the language, semanteme and language,this text has been announced and covered with a dose of grammars too with central content most basically.The text is divided into four parts:Part one: preface, Covered with the basic outlines of a dose of grammars and logic grammars and outline the focal point that going to probed into.Part two: is the background of the Montague Grammar, introduces all theories before Montague Grammar and also discusses their connections, discusses the characteristic, development of each theory source and the prospect in the future.Part three: is a focal point of this text, introduces the basic thought and basic system of Montague Grammar, Universal Grammar, Intensional logic language and PTQ system are the most important parts. Universal Grammar covers that the naturallanguage and artificial language of logic are communicating in essence. So adopt the mathematics method and go to describe the natural language from the structure angle, introduced the intension concept, possible world might should arrive person who express letter one that extend any the intensions of expression type. PTQ system goes further and contacts a large amount of intension phenomena, it is the part of the form with important semantics.Part four: discusses the achievement of Montague Grammar to Pragmatics. The main thing is using a Pragmatics system to structure the index sentence correlating with linguistic context. Finally looked forward to and summarized a series of important theories of natural language logic after Montague Grammar.