Toward the Logic of Tense and Aspect in English
Toward the Logic of Tense and Aspect in English
复制标题
浅谈英语时态与体的逻辑
DOI：
10.1002/9780470751305.ch4
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
B. Partee
中科院分区：
文献类型：
--
作者：
Michael Bennett;B. Partee
语言学最近的许多工作都集中在给英语提供一个准确的句法的问题上。现在，人们越来越意识到需要某种语义学理论。在这方面，逻辑学家理查德·蒙塔古最近的一些工作大有希望。蒙太古的主要目标是对日常语言的逻辑结果进行完全成功的分析。为了达到这一目的，他对可以被认为是英语的有限部分或英语片段进行了这样的分析。片段是一种形式语言，因为它具有严格的语法和模型论语义。语义学提供了真句子(在给定的解释下)和逻辑结果的概念的特征。在蒙太古的三篇论文中，他提出了这样的片段：蒙太古[3]、蒙太古[4]和蒙太古[6]。(此后，我们将把这些论文分别称为EFL、UG和PTQ。)
Much of the recent work in linguistics has focused on the problem of giving a precise syntax for English. There is now an increasing awareness of the need for some kind of semantic theory. Some recent work of the logician Richard Montague has great promise in this regard. Montague’s main goal was to give a completely successful analysis of logical consequence for ordinary language. He approached this end by giving such an analysis for what may be regarded as limited portions of English, or fragments of English. A fragment is a formal language in that it has a rigorous syntax and a model-theoretic semantics. The semantics provides a characterization of the notions of a true sentence (under a given interpretation) and of logical consequence. There are three papers by Montague where he presents such fragments: Montague [3], Montague [4], and Montague [6].(Henceforth, we shall refer to these papers as EFL, UG, and PTQ, respectively.)