论文部分内容阅读
在过去的30多年中,特别是近年来,模型论语义学发展成为日益扩大的哲学研究和语言学研究的领域。人们对各类语言设计出形式语义学;含模态算子的语言,处理时间概念的语言,探讨信念和义务的语言,含有副词和指示词的语言。这个目录正在继续增长。为了评价一种模型论语义学的成就,我们一般首先注意它所产生的逻辑真命题的集合,即那些在
In the past 30 years, especially in recent years, the development of model theory semantics has become a field of expanding philosophical and linguistic research. People design formal semantics for various languages; languages that include modal operators; languages that deal with concepts of time; languages that talk about beliefs and obligations; and languages that contain adverbs and instructional words. This directory is continuing to grow. In order to evaluate the success of a model theory of semantics, we generally first notice the set of logically true propositions it produces,