论文部分内容阅读
形式语义学起源于19世纪德国逻辑学家Frege的作品。直到20世纪70年代后期,形式语义学才出现在语言学研究领域。在不同的领域里,形式语义学有不同的研究重点,在语言学领域里形式语义学试图通过构建形式语义理论来解释自然语言的意义。早期的形式语义学主要有四条研究线路:静态语义学,动态语义学,情景语义学和非合成解释语义学。本文主要探讨静态语义学的三种学说及其相互间的比较。
Formal semantics originated in the works of German logician Frege in the 19th century. Until the late 1970s, formal semantics appeared in the field of linguistics. In different fields, formal semantics have different research focuses. In the field of linguistics, formal semantics tries to explain the meaning of natural language by constructing formal semantic theory. There are mainly four research lines in early formal semantics: static semantics, dynamic semantics, situational semantics and non-synthetic semantics. This article mainly discusses the three theories of static semantics and their comparison with each other.