montague语义
Montague语义是一种自然语言语义的理论和与语法的关系。 它最初由Logician Richard Montague（1930-1971）开发，随后由语言学家，哲学家和逻辑人员修改和扩展。 该理论的最重要特征是它使用模型理论语义，如今通常用于逻辑语言的语义和遵守构思的原则 - 即整体的含义是其部件的含义及其模式的函数句法组合。 此条目介绍了蒙塔古语义的起源，总结了经典理论的重要方面，并草图更新的发展。 我们与一个小的例子结束，说明了一些现代特征。
1.简介
1.1背景
1.2基本方面
2.蒙塔古语义的组成部分
2.1独角兽和意义假设
2.2名词短语和广义量词
2.3逻辑和翻译
2.4中性和扭力
2.5范围和衍生历史
3.哲学方面
3.1来自Frege到Contsions
3.2合成性
3.3句法类别和语义类型
3.4语用学
3.5本体论
4.结束语
4.1遗产
4.2进一步阅读
4.3示例
参考书目
学术工具
其他互联网资源
相关条目
1.简介
1.1背景
Montague语义是20世纪70年代Richard Montague介绍的自然语言语义的方法。 他描述了他的企业的目标，如下所示：
语义的基本目标是表征真正句子的概念（根据给定的解释）和意外（Montague 1970c，373 fn）。
Montague方法的突出点是一种模型理论语义，语法与语义之间的系统关系，以及对自然语言片段的完全明确描述。 他的方法构成了一场革命：在将数学方法带入语法的乔姆斯基革命之后，现在在语义中引入了这些方法。
由于许多作者开始在他的框架和“蒙塔古语法”中，许多作者开始工作，因此蒙塔古的方法变得有影响力。 后来，他的方法的某些方面得到了调整或改变，普遍接受或完全被遗弃。 如今，没有许多作者将自己的工作描述为“Montague语义”给出了自蒙塔图自己的工作以来在语义上形成的许多差异，但他的想法已经留下了重要的痕迹，并永远改变了语义景观。 在我们对蒙塔古语义的演讲中，重点将是这些发展。
理查德蒙塔图是一位专业从事理论和模态逻辑的数学逻辑。 他的数学背景必须明白他对自然语言的看法。 Montague认为，自然语言是一种正式语言，与谓词逻辑是一种正式语言。 因此，在蒙塔古的观点中，对数学的自然语言研究，而不是心理学（Thomason 1974,2）。 Montague制定了他的观点：
我认为，自然语言与逻辑学人工语之间没有重要的理论差异; 事实上，我认为可以通过单一的自然和数学上精确理论来理解两种语言的语法和语义。 （Montague 1970c，373）
有时只有引用的第一部分被召回，这可能会提出这个问题他是否没有注意到巨大差异：例如，没有先验的一组规则，而是制定自然语言，而人造语言具有明确的语法，并且设计用于特殊目的。 但作为整体的报价明确表达了“没有重要理论差异”的蒙塔图的意思; 他瞄准的“单一自然和数学上精确的理论”在他的论文'Universal Grammar'（Montague 1970C）中呈现。 在1973年的外观之后，他变得最着名，其中该理论适用于一些现象，这些现象是在那些日子的哲学文献中深入讨论的现象。
根据Caponigro（即将到来），蒙塔梅在1966年在阿姆斯特丹哲学中准备哲学的研讨会时出现了对该领域的兴趣。他曾几年前几年，他认为“系统化”探索英语，确实可能被称为“普通英语逻辑”，[...]是非常费力的或不可能的“，并”没有找到它奖励“（Montague和Kalish 1964,10）。 然而，他似乎在私人（1960年）的话语和对象以及语法理论的方面之后改变了他的思想：后者打开了将自然语言的语法视为正式系统但未提供的视角对语言意义的任何严肃分析; 前者在传统语法和正式逻辑之间提供了系统的连接 - 比当代逻辑文本更系统地。 事实上，Montague的语义工作欠了很多东西，以Zhime对“普通英语逻辑”的描述性见解，但是通过在严格的，数学术语之间建立语言和逻辑之间的联系，与他的前任不同：
应该强调的是，这不是模糊直觉的问题，如小学逻辑课程，而是我们指定了精确意义的断言。 （Montague 1973,237）
我们接下来描述蒙特拉格语义的基本思想。 第2节更详细地介绍了Montague语义的几个组成部分。 第3节包括哲学上有趣的方面的讨论，第4节提供了详细的示例和进一步阅读。
1.2基本方面
实施他的目标，Montague应用了逻辑语言标准的方法：模型理论语义。 这意味着，使用来自集理论的结构，定义了模型，并且该自然语言表达式被解释为此宇宙中的元素（或函数或函数）。 这种模型不应被视为现实的模型。 一方面，该模型提供了超过现实：自然语言不仅谈到过去，现在和未来的现实世界，而且还有可能是这种情况的情况，或者是想象的，或者是无论如何。 然而，另一方面，该模型提供了更少：它仅限于语言构思的现实。 一个例子：我们谈论众多的群众名词，如水，好像水的每一部分都是水再次水，就好像它没有最小的部分，那么物理上不正确。 有关自然语言形而上学的更多信息，请参阅BACH 1986B。
Montague语义对特定情况（例如，现实世界）而言，但语言的语义属性并不感兴趣。 当正规化此类属性时，必须参考一类模型，因此将对一组（合适的）模型来定义语言的解释。 例如，在介绍中，我们提到了蕴涵的表征是语义的基本目标。 概念定义如下。 句子
一种
需要句子
b
如果在任何型号中的解释
一种
是真的，也是对诠释的
b
是真的。 同样，在所有模型中都是真实的，在没有模型中，矛盾是正确的。
Montague语义的重要特征是语法和语义之间的系统关系。 这一关系是通过在标准的标准中读取的构成性原理来描述：
复合表达的含义是其部件的含义和它们在句法上组合的方式的函数。 （Paree 1984,281）
一个例子：假设散步的含义，或唱歌（类中的每个模型）被定义为分别分享（成为个人）的属性或（成为个人）的财产的个人的集合。 通过吸引合作性的原则，如果有规则将这两个表达式与动词短语播放结合起来，则必须有一个相应的规则确定该动词短语的含义。 在这种情况下，由此产生的含义将是两组的交叉点。 因此，在所有模型中，走路的意义是散步的含义的子集。 此外，我们的规则将名词短语与动词短语结合起来。 由此产生的句子John散步和唱歌意味着John是由动词短语表示的集合的元素。 请注意，在约翰是沃克斯和歌手交叉口的元素的任何模型中，他是这套步行者的一个元素。 所以约翰散步和唱歌需要John Walks。
构成性原则的重要结果是，在句子的句法组成中发挥作用的所有部分也必须具有意义。 此外，每个句法规则必须伴有语义规则，了解了如何获得化合物的含义。 因此，表达式的含义由形成表达式的方式确定，并且随着这种衍生历史在确定含义时起着作用。 有关进一步讨论，请参阅第2.5节。
在引言（'表征真理和句子的表征中提到的Montague语义的目标表明该方法仅限于宣言性句子。 但这不一定是这种情况。 在Montague 1973（241 Fn）中，我们已经找到了如何处理命令的建议。 Hamblin（1973）和Karttunen（1977年）通过分析表达主题，viz套，举办了一个关于问题的语义。 由其（陈述）答案表示的人; 通过Groenendijk和Stokhof（1989）拍摄的替代方法认为将逻辑空间分配为互斥可能性。
由于Montague仅被认为是孤立的句子，某些评论员指出句子边界是对方法的严重限制。 话语怎么样？ 一个明显的要求是话语中的句子是一个接一个地解释。 那么如何在句子边界上对待Anaphora的共同指导性？ 所提出的解决方案是话语代表理论（Kamp 1981）。 一方面，这是蒙塔古的方法的后代，因为它使用了模型理论语义; 另一方面，它是一种偏差，因为（话语）表示是必不可少的成分。 如今，DRT的若干重新装饰适合Montague的框架（见Van Eijck和Kamp 1997）。 后续解决方案基于逻辑的变化; 开发了动态蒙特拉格语义，并为逻辑中的无序变量提供了对随后的公式（Groenendijk和Stokhof 1990,1991）的逻辑效果的过程。 因此，句子边界不是蒙图语义的根本障碍。
2.蒙塔古语义的组成部分
2.1独角兽和意义假设
Montague最有影响力的文章是“普通英语中量化的正确治疗”（Montague 1973），通常缩写为“PTQ”。 它提出了一个英语片段，涵盖了在广泛讨论的那些日子里的几个现象。 其中一个例子引发了蒙图语法的商标：独角兽（蒙塔古语法的几种出版物用独角兽说明）。
考虑两个句子约翰找到一个独角兽，约翰寻求独角兽。 这些都是语法相似的（受试者 - 动词对象），但语义非常不同。 从第一句话中存在至少一个独角兽，而第二句话是在所谓的de dicto（或非特定的，或义）读取之间的暧昧，这并不意味着未暗示独角兽的存在，以及DE Re（或特定的或象牙））读取独角兽的存在。
这两句话是传统问题的例子，称为“定量进入密室”。 传统上，整个第二句被视为一个密室的背景，蒙塔古的解决方案的新奇是他认为是寻求作为现象来源的对象位置。 他正式寻求不作为两个人之间的关系，而是作为个人和更抽象实体之间的关系（参见第2.2节）。 在这种分析下，没有遵循独角兽的存在。 以不同的方式获得DE RE读数（参见第2.5节）。
它是蒙塔古的策略适用于一类别的所有表达式最普遍的方法，并且在必要时缩小这一点，意思是假设（以及在某些情况下，逻辑分解）。 因此，最初，发现也被认为是个人和这种抽象实体之间的关系，但假设一些意义限制了我们将片段解释为只有这些模型的模型，其中包括个人之间的关系是个人之间的（古典）关系。
由于这种策略，蒙塔古的论文有很多意义假设。 如今，语义主义者通常更愿意直接在其词汇意义上表达个体词汇项的语义属性，然后查找直接被解释为个人之间的关系。 意思是假设主要用于表达模型的结构性（例如，时间轴的结构），并表达词语含义之间的关系。 讨论意义假设的作用，请参阅Zimmermann 1999。
2.2名词短语和广义量词
像猪一样的名词短语，每只猪和宝贝，在句法中表现得很多种：它们可以发生在相同的位置，可以联合等，但均匀的语义似乎有问题。 有建议说，每只猪都表示普遍的通用猪，以及一只猪是一个任意猪。 这些提案被刘易斯（1970年）拒绝，他提出，例如，那些是通用猪的颜色，所有颜色的问题，或者它是无色的？
Montague提出了一种描述性短语，成为一组属性。 例如，John的表示是由持有他的属性组成的集合，以及每个人的每个人都有一个适用于每个人的属性。 因此，它们是语义均匀的，然后可以以统一的方式处理任意量词短语（包括例如，但不是全部）的结合和/或分离。
这种抽象方法导致了广义量化理论，参见了Barwork和Cooper 1981以及Peters和Westerståhl2006.在广义量化理论的最受欢迎的成就之一中是所谓的“负极性项目”的语义表征：尚未与之相同的单词。 他们的出现可以通过否定获得许可：6:05已经到了，但是6:05尚未到达。 但是，还有更多的背景，其中可能发生负极性项目，并且句法人员没有成功表征它们。 Ladusaw（1980）通过使用广义量化理论的表征来实现。 这已被广泛承认为正式语义的巨大成功。 他的提议大致如下。 向下的诱因表达式是从超集到子集的许可推论的表达式。 不向下诱惑，因为从没有人走路，跟随没有父亲走路。 只有在向向下引入表达式的范围内解释时，才可以接受负极性项目，例如， 没有人走路。 进一步的研究表明，应使用分析，并且应该使用负极性项目的层次（Ladusaw 1996，Homer 2021）。
2.3逻辑和翻译
表达式可以直接与来自模型的某些元素相关联。 例如，与一些人一起散步。 然后还必须直接指定含义上的操作，并导致制剂，例如：
g
3
（
┌
是
┐
）
是这个功能
f
∈
（
（
2
一世
）
一种
×
一种
）
一种
ω
这样，对于所有人来说
x
∈
一种
ω
，全部
u
，
t
∈
一种
和所有
一世
∈
一世
：
f
（
x
）
（
t
，
u
）
（
一世
）
=
1
如果，只有
t
=
u
。 （Montague 1970a，195）
这些描述不易理解，也不方便。 Montague（1973年，228）说，'间接进行这可能更加明显。 为此目的，他介绍了一种称为“海洋逻辑”的语言。 然后表示上述操作
∧
λ
t
λ
u
[
t
=
u
]。 这
λ
t
说这是一种函数
t
作为论据，同样为
λ
u
。 所以
λ
t
λ
u
[
t
=
u
]是一个占有两个参数的函数，如果参数是相等的，并且否则为false会产生true。 前面
∧
说我们考虑来自可能的世界和时间的时刻到如此定义的函数。
蒙塔古的“密集逻辑”引起了三个特征：
这是一个高阶逻辑。 即使类型逻辑已经是那些日子的既定逻辑框架，语言学家，哲学家和数学家也更熟悉一阶逻辑（只有基本实体的变量的逻辑）。 由于在Montague语义中，表达式的部分必须具有意义，因此需要更高阶逻辑（我们已经看到每个人都表示一组属性）。
它的强烈因为它遵守莱布尼兹替代共同扩展术语，也不是存在的概括，从而看似将逻辑变得更接近自然语言。 为实现这一目标，Montague广义克里普克（1963）从一阶模态逻辑到高阶型逻辑的突破性语义技巧。 然而，通过使用双重扩展型逻辑（Gallin 1975; Zimmermann 1989; 2021），可以实现相同的解释效果，许多语义学家今天更喜欢。
montague使用
λ
- 制造，当时是逻辑的标准成分。 如第4.1节所示
λ
-Operator使得可以表达高阶函数，这可以作为句子的贡献成为他们的真实值。 的重要性
λ
- 表达曾经在芭芭拉部分表达谈论“蒙图克语法的第一个十年”：'Lambdas改变了我的生活'（Partee 1996,24）。 如今，
λ
-Expressions是自然语言语义中的标准工具，尤其是由Heim和Kratzer（1998）流行的类型驱动的方法。 在第4.1节中，将给出一个示例，说明了幂的力量
λ
-expressions。
这种间接解释的动机 - 通过组成翻译作为获得意义呈现出色的工具 - 具有许多重要的后果：
翻译是一种获得代表含义的公式的工具。 不同，但等同的公式同样可接受。 在引入本文的情况下，据说蒙特拉格语法提供了获得逻辑翻译的机械程序。 事实上，Montague对每个人的翻译结果的结果与传统翻译不相同，尽管等同于它，请参见第4.1节中的示例。
翻译成逻辑是仅仅是符号的便利性，并原则上可分配。 因此，在Montague语义中，翻译成逻辑符号并不能提供独特的“逻辑形式”。
对于每个句法构造（操作加规则，在Montague 1970c的术语中）有一个语义规则，结合了含义的相应表示。 巴赫（1976）恰当地称为这种解释策略“规则到规则假设”。
不允许根据公式的句法特征的操作。 Janssen（1997）批评了这方面的几个提案。 他表明，在这方面缺乏的建议是不正确的（对密切相关的句子做出错误的预测），或者可以纠正和广泛化，从而改善。
使用逻辑符号的代表含义的方法具有悠久的历史，至少回到哲学家，如达巴尔诺和莱布尼兹，他们开发了正式语言，以便清楚地表达哲学。 在19世纪，有几个人造语言提案，以使数学论证更加透明，例如弗雷格和Peano。 Frege's'begriffsschrift'（Frege 1879）可以被视为谓词逻辑的诞生：他引入了量词。 他的动机来自数学需求; 他没有在他的论文上使用他的贝格里德在自然语言中。 罗素（1905）使用逻辑代表自然语言的含义。 他纸上的古典例子是法国国王的分析是秃头。 在语法上，它具有表单主题谓词，但如果它被逻辑地作为主题谓词构建，那么法国之王就不表示，不能成为主题。 因此，句法形式和逻辑形式可能分歧：自然语言掩盖了真实含义的看法。 这被称为“误导形式论文”。 因此，语言的哲学家在那些日子里，逻辑作为一种改善自然语言的工具的作用，一个目的是外星人到蒙塔古语义。 事实上，使用高阶函数类型理论（教会1940）作为他翻译的目标，Montague（1970c）开发了一个“组成”版的罗素分析，这确实保留了源语言的组成结构（英语）。 在斯托霍夫2007中给出了将自然语言翻译成逻辑历史的有趣概述。
2.4中性和扭力
Montague将句子的表示作为可能的世界和时间值的时刻的函数。 这样的函数称为“内涵”。 正如他所说的那样（Montague 1970a，220），这使得可以处理常见现象的语义，例如修饰者，例如修饰符。 必然是该隐的父亲是亚当。 它的表示无法从Cain的父亲的真实价值获得亚当：一个人需要了解其他可能的世界和时间时刻的真相价值。 内容方法也使得可以处理几种古典拼图。 来自Montague 1973的两个例子是：温度正在上升，这不应分析，说明一些数字正在上升; 约翰希望捕鱼并吃它，这不应该被分析，暗示约翰有一个特定的鱼。
