Generalized Quantifier Theory Research

The natural language logic is a new subject which is developing with the development of modern logic, it using modern logic as a technique tool to make research on the natural language.As the main branch of the natural language logic, generalized quantifier theory integrate the spreading concept of the quantifier to the system of logic to display the relevant deducing rule and also shows the decidability of the vast amount of quantifier or determiner in the natural language, demonstrates the relationship between the validity of deduction system and the tool of model theory. On the way of linguistics, GQT summarize the semantics property of the quantified expression in natural language and devise the fragment system of English which is characterizes the quantified expression. GQT,as the main branch of logic,did not get a detailed research in the domestic and also lacks of the introduction, we can develop enrich theme which is rich in the natural language logic, and also it is the essential tool for the logician and the linguist. So,we discuss the GQT in the following way:This paper firstly discussing the route of quantifier development in the west logic history, then give the main framework of the GQT and its characteristic depicting of NP and the DET. Then give the semantics property of it:ISOM,EXT and the CONS. Then,this paper mainly discusses the application of GQT in the way of logic,it shows that the character of the unit-logic from the simple arity quantifier and also introduce the using of GQ as the means of deduction mainly is the weak quantifier logic and the universal properties of ended weak quantifier logic. Finally show some decidable logics.Then, this paper focuses on the main developments of GQT in the recent decade in the way of linguistics. This concerns four topics, which is the temporal GQT,the dynamic GQT,the fuzzy GQT and the investigation of the GQT in the topic-focus articulation,which is for the usage of the quantified temporal expression and the dynamic analysis method to explaining anaphora relation in the paragraph.Lastly,this paper discusses the main development of GQT to the formal study of Chinese, the author not only expounds the applicability of GQT to the study of Chinese from the theoretical perspective, but also use the way of fuction method to describe the Chinese quantification phenomena,and also give a fragment of Chinese system using this method.Author hopes this paper could make more people understand and grasp GQT theory and apply in Chinese semantics processing. This is also one of the main goals author chose this subject as the doctor degree topic. Using GQT method to solve more Chinese semantic issues will be author's main research in the future.