SEP：蒙太古语义学（完结）

3.6 Psychology

当蒙太古语法刚出现时，具有领导地位的句法理论是乔姆斯基式语法。这种方法揭示了它在大脑中运行的过程，而语言学也被视为生物学的分支。在当时，在大脑中被动转换(passive transformation)被经验上地显示出来。乔姆斯基式语法现在仍然是具有领导地位的理论，虽然绝大多数理论都已经经历了非常大的变化(比如被动转换已经没了)，然而它依然将自己称自己具有心理学上的实际过程。而蒙太古在他的理论中没有说任何关于心理学的东西，相反他将语言学视为数学的分支，而不是心理学的(Thomason (ed.) 1974, 2)。

然而该领域任然保留了对心理学的兴趣。Partee(1977)对一个心理学家的会议解释了其理论并不能被直接运用到心理学上，因为那些庞大的模型中的实体(无限的从函数到函数的函数[太搞了，xswl。以及甚至更广义的，是否需要一个有穷主义数学的问题？]，Partee(1979)认为在数学观点和心理学观点间存在着一个巨大差异，特别是关于命题态度(propositional attitude)的动词，以及专名在这种情况下的行为，随后她说到，无论如何这个差异是必须得到弥补的。

一个对组合性原则辩护的论证经常联系于其心理学动机。这个原则解释了人们如何能够理解一个他之前从来没听到过的句子。Frege (1923, 55) 已经提及了这个论证。而这个对于组合性原则辩护的动机则受到了Schiffer(1987)的攻击。一方面他认为，组合性原则并不需要这种力量的解释，而在另一方面，组合性原则在件事上就根本不管用。他的一个例子是，“Tanya believes that Gustav is a dog.”他考虑了几种组合性原则的理论，然后认为没有一个可以提供对于这个命题，即被认为是Tanya的信念内容，的一个可行的解释。所以没有任何句子的意义是组合性地生成的。由此，组合性原则并不成立。Partee(1988)讨论了Schiffer反对组合性原则的论证，然后解释道，Schiffer没有去对语义学事实和心理学事实进行足够的区分，Partee提出了这些问题，即信念问题，和专名的语义问题间的类比(在不熟悉所指物的情况下一个人如何正确地使用专名)。后者已得到了Kripke(1972)的讨论与解释。Partee建议采取同样的思路去解决关于信念的问题。Schiffer(1988)回复了这篇论文，但是他并没有对那个类比做出反应，也没有去谈语义学理论应该区别于心理学理论这一关键。

在Dowty 1979的最后一章中给出了更进一步的关于蒙太古语义学和心理学关系的讨论。他以这样一个描述开始，“不同于语言哲学，当代语言学家总是声称自己关心，他们在语义分析中假设的理论概念的心理现实性（psychological reality)。”他提出了这一点然后描述了自己的立场，“必须马上明白这一点，我承认，我认为当一个人使用一个词时，这个词的模型论内涵在原则上和他脑子里想的东西没有任何关系”，然而他仍想去澄清，内涵这个概念，是来自于”心理学式语义学(psychological semantics)”观点的，基础性的与不可或缺的概念。对此他提出了三个原因，第一，语义学要提供一个能解释蕴涵的理论(以及同义性(synonymity),有效性(validity)以及矛盾)，无论通过什么方式，所有这些概念都必须被展示为一个语言理解理论的一部分。第二，在对自然语言的“意义”的总体的解释中，真理论(theory of truth)和指称理论是一条底线。第三，当一个组合性原则的特定方式从句子的部分导出意义时，这些部分也都必须是在真理论和指称理论中的确定的。所以或许可以得到的结论是，相似的组合性分析对语言理解来说是必须的。

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

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)

2. 一条规则，它的输入为名词短语与不及物动词，然后输出一个句子: 从John与sing中它产生John is singing。对应的语义规则要求，名词短语的外延可以被应用到不及物动词的外延上，表示为λP[P(John)](sing)，如果sing实际上对John成立的话，即sing(John)为真时，当自变量sing应用到这个λP[P(John)]函数表达上就输出为真。所以λP[P(John)](sing)与sing(John)是等价的。后面那个式子是由，移除λP然后将sing替换为P得到的，这个运算被称为lambda转换(lambda-conversion)

3. 一个规则，它的输入为限定词与通名，输出为名词短语，从every与man中得到every man。语义上，限定词的外延[λPλQ∀x[P(x) → Q(x)]会被运用到通名的外延上，因此λPλQ∀x[P(x) → Q(x)](man)，通过lambda转换(就像刚刚解释道的那样)，变成这样，λQ∀x[man(x) → Q(x)]。这样，这个表达式就将指称一个函数，当将性质A运用到这个函数上时，如果所有男人都具有这个性质，那么它输出为真。

将给出的例子与最后一条规则联系到一起能够帮助我们理解every，它指称一个性质A与性质B间的关系[λPλQ∀x[P(x) → Q(x)]，当所有A都具有性质B时，这个关系成立[就像最后一条规则中告诉我们的，将A运用到那个函数上时，如果所有男人都具有A，那么其为真]。

下面的步骤就比较简单了。诉诸名词短语[every man]与不及物动词[sing]结合的规则，将会产生Every man is singing，通过语义规则输出的就是λQ∀x[man(x) → Q(x)](sing)。再通过lambda转换，我们就将得到∀x[man(x) →sing(x)]，这就是传统一阶谓词逻辑对Every man is singing的表达！

注意lambda算子的以下几点：

1.John与every man，通过同样的方式被解释为性质集[语法范畴是相等的]，而这些集合可以通过lambda算子表达出来。

2.Every man与sing在句法上同级，但在语义上，sing是一个从属角色[作为函数输入的自变量]，它的发生嵌入在公式中，这个层级的转换也是通过lambda算子实现的。

数学联邦政治世界观提示您：看后求收藏（笔尖小说网http://www.bjxsw.cc），接着再看更方便。