逻辑学对语义学的影响（一） (5-2)

文章第二部分关注在真值条件语义学这一框架下的重要进展。蒙塔古（Montague）呈现了一个组合形式语义学（compositional formal semantics），包含量化词（quantifiers）、内涵语境和直指（deixis）现象。他的理想是为任何一个句子提供绝对的真值条件。下一阶段，新的形式化工具被发明出来，不仅用来解释外语言环境因素，也用来解释语篇（discourse）作为话语意义的核心特征之一。在动态语义学（dymamic semantics）这样的方法下，语境依赖性被特别关注。如今的形式化工具不仅回答“一个自然语言表达的意义是什么”这样的问题，也回答“一个规约是如何建立的”以及“如何解释话语的语用因素”这样的问题。真值语义学必须将语境、社会规约和言者意图都加以考虑才能完整解释句子含义，这一点越来越清晰。

2. 前弗雷格逻辑 Pre-Fregean logic

亚里士多德（Aristotle）发明了首个逻辑系统。他将推理按照三段论形式进行组织，它由两个前提和一个结论组成。一个三段论中的每个句子都包含两个谓词（F, G），第一个谓词前有一个量化词（some，every），第二个谓词前可以加一个否定词not。因此，每个三段论句子都是这样的形式：Some/every F is/is not G。这样就有四种类型的句子，以every开头的为全称（universal），以some开头的为特称（particular），不包含否定词的为肯定（affirmative），包含否定词的为否定（negation）。

Tab.10.1：Syllogistic types of sentences

NAME FORM TITLE

a Every Fis G Universal Affirmative

i Some Fis G Particular Affirmative

e Every F is not G Universal Negative

o Some F is not G Particular Negative

全称肯定句名称为A，特称肯定句名称为I，这是分别以拉丁语单词“affirmo”的前两个元音命名的。全程否定句名称为E，特称否定句名称为O，这是分别以拉丁语单词“nego”的前两个元音命名的。注意到，如果我们引入no作为一个量化词，并不会给系统带来任何新的命题，因为它们都可以转化为以every和some表达的命题。根据这些句子，我们就可以系统地排列三段论推理，例如其中一种被称为barbara，因为它含有三个A型句。

Tab.10.2:Barbara

Premise 1 (a): Every G is H. abbreviation: GaH

Premise 2(a): Every F is G. abbreviation: FaG

Conclusion (a): Every F is H. abbreviation: FaH

现在我们可以有规律地根据A、I、E、O四种句子类型进行变换。亚里士多德的目的在于只找出所有那些有效（valid）的推理。基于和barbara同样的谓词结构，我们可以得到下面四种有效推理：

Tab. 10.3: Same predicate structure, varying types of sentences

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。