SEP：蒙太古语义学（完结） (3-2)

这些例子总体上说明了这一点，即蒙太古语义学只能与心理现实性具有非常间接的联系，仅仅很少的文章去讨论它们间的关系[就像数学家们不会去给出对数学的心理现实性的讨论一样]。

4. Concluding Remarks

4.1 Legacy

蒙太古在语义理论领域发动了一场革命，他从数理逻辑与集合论中引进了它们的一些手段与工具使得语义学更加清晰。现在所有语义学家都已经知道逻辑具有更多更大的贡献，而不仅止于一阶逻辑。最后，让我们再次引用Barbara Partee那句话，“lambdas really changed my life”，事实上，lambda表达式改变了所有语义学家的人生。

4.2 Further Reading

最近的一本导论是Jacobson 2014，它的难度并不高，尤其是对于那些语言学家们和哲学家们。在书中她介绍了蒙太古进路下取得的各种成功。更早一些的导论是Dowty et al 1981，与Gamut 1991，它们都更具技术性，以及为阅读那些蒙太古的原始论文作提供了准备。Partee and Hendriks (1997)给了对这个领域的历史回顾。Portner and Partee (eds.) 2002 与Partee 2004是重要论文集。 ‘Handbook of compositionality’(Werning et al 2011)讨论了关于这个进路的诸多方面。这个领域最著名的期刊是Linguistics and Philosophy, Natural Language Semantics, Semantics and Pragmatics

4.3 Example

下面提供一个小例子，它包括两个句子“John is singing”，与“Every man is singing”。这个例子没有通过蒙太古的原始方式来展现，而是更现代化的，这里有一个提升规则，基本表达式的限定词(determiner)，而内涵方面则没有进行考虑。

这个语法由如下四种基本表达式组成：

1.John(斜体)是一个专名范畴中的表达，它的外延是一个个体，在逻辑中表示为John(正体加粗)。

2. 不及物动词(intransitive verbs)，sing(斜体)指称一个集合(歌手的集合)，在逻辑中表示为谓词符号sing(正体加粗)

3. 通名(common noun)，man(斜体)，指称一个集合，在逻辑中表示为man(正体加粗)

4. 限定词every(斜体)，它的外延是λPλQ∀x[P(x) → Q(x)]，对这个式子的解释在下面给定。

语法中有三条规则

1. 一条规则，它使得作为输入的专名，产生出一个名词短语。不改变输入的单词，仅仅提升它的语法范畴。语义上，它的意义被提升到一个更抽象的层面，范畴的提升意味着:对John的外延的表达成为λP[P(John)]。对这个式子的解释是，P是一个关于性质的变项，如果我们已经选择了一个对P的解释(interpretation)，我们将会说P对John是否成立，例如表达为这样，P(John)是否为真。λP从P的诸多可能解释中抽象出来的，因此表达式λP[P(John)]指称这样一个函数，它输入一个性质[即一个对P的解释]，然后如果这个性质对John成立，那么它输出为真，反之为假。所以，John的外延就成了一个关于他实际拥有的性质集的一个特征函数(characteristic function)

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