形式语义学是20世纪六七十年代由蒙太格最初发展起来的理论阵营,到20世纪70年代中期,形式语义学研究在美国、荷兰、德国、新西兰等国家得到空前的发展,目前在欧美国家已成为热点课题。由于静态语义学的局限性,意义研究实现了从静态向动态的转变,这给意义的理解带来了深远的影响。动态语义学形式化研究已成为当代意义研究的主流,并将成为21世纪语义研究的一个重要方向。 Formal semantics was the theoretical camp initially developed by Montger in the 1960s and 1970s. By the mid-1970s, formal semantics has achieved unprecedented development in the United States, the Netherlands, Germany and New Zealand. At present, The country has become a hot topic. Due to the limitation of static semantics, the study of meaning realizes the transformation from static to dynamic, which has a far-reaching impact on the understanding of meaning. The formal study of dynamic semantics has become the mainstream of contemporary significance research and will become an important direction of semantic research in the 21st century.