montague语义
3.4语用学
句子的真实条件有时随着使用的背景而变化。 因此，我很高兴是真的，取决于发言者是谁; 其他示例包括此处的引用。 Montague（1968年; 1970B）解决了这些因素，表明他们可以通过在时间和可能的世界之外引入其他参数来治疗。 尽管偶尔批评（Cresswell 1973,111; Lewis 1980,86f。），通过固定的有限列表的语境依赖性的治疗在正式的语义中已经成为了非常标准的标准。
Montague最初对时代和世界的比例初步处理了上下文参数，但在“环球语法”（Montague 1970c）中，他表示应在确定内容的人之间进行区分（在弗雷格1892之后，这是什么意思来自构成它的间接上下文）：
因此，含义是两个论点的函数 - 可能的世界和使用的背景。 介绍了第二个论点，以便允许这样的索引场所作为示范，第一和第二人称单数代词和自由变量（其作为一种示范性的方法）。 另一方面，感觉是只有一个参数的函数，被视为可能的世界。 这是直观的区别：含义是那些作为对表达的解释的实体（而且，如果化合物的解释始终是其组成部分的解释的函数，则不能单独使用可能的世界的职能来确定，而感官是那些有时用表达式表示的强度实体。 （Montague 1970C，379）
虽然这些言论仍然是从双重索引依赖的方法（kamp 1971）的方法仍然是远程哭泣，但他们确实展示了用于区分上下文和指数的可移植性标准的基本思想（Lewis 1980）。 特别是，Montague的含义与Kaplan（1989）的角色共享一个核心功能：将Paramteterized上下文的映射到命题，理解为（特征函数）可能的世界。
Montague（1970C，68）跟踪了Bar-Hillel 1954，将背景依赖视为语用学的一部分。 它只是在他去世后，他的框架与语用学的其他方面相同。 特别是，在蒙塔古语法的早期工作中，进行了各种建议，给予预设和（常规）癌症的组成特征（彼得1979;凯特天伦和1979年），但后来的治疗并不总是完全构成，考虑几个语境因素（BEAVER 1997）。 在类似的静脉中，传统中的早期工作对于直接应用于（陈述）句子（Cresswell 1973）的非陈述用途，但后来的账户必须举办多种语言意义，而不是语言意义（包括语言）对话者的观点（Gunlogson 2003）。
3.5本体论
蒙塔古的语义分析是根据类型逻辑的层次制定的，其基本成分是真理价值观，可能的个人和可能的世界。 虽然个人和世界的确切性质取决于特定模型（或'Freeegean解释'）的（任意）选择，但实际值1（true）和0（false）超越所有模型的类，从而强调其状态作为逻辑对象。 当前语言语义的许多工作仍然适用Montague的类型逻辑层次结构，然而，这通常是由事件（或者更普遍：最终的）富集，其作为动词和动词短语的引用（Bach 1986a;帕森斯1990）。
在早期工作的密集分析（Carnap 1947，Kaplan 1964），可能的世界已经用适当的扩展语言的模型确定了世界。 出于3.1节中所示的原因，Montague（1969,164）突破了这种传统，呼吁Kripke对基于可能的世界作为非结构化基本对象的方式的方式。 在他对某些哲学实体的性质的论文中（1969年蒙塔格），他认为，这种看似小的技术创新在哲学分析中，通过减少某些“可疑”实体来追溯或性质来开启一个新的哲学分析视角 - 函数将可能的世界映射到对象集。 这一想法是，一旦克服了密集语言语言的语义的概念和技术问题，他们就可以将广泛的谓词逻辑作为哲学论证的基础取代：
哲学总是能够扩大自己; 也就是说，通过元素或模型 - 理论意义方法 - 在集合理论内可用 - 一种可以“证明”一种超越设定理论的语言或理论，然后继续在新语言中交易哲学的新分支。 现在是时候采取这么步骤并奠定了密集语言的基础。 （Montague 1969,165F。）
Montague通过详细分析（谈论）痛苦，任务，义务和事件的详细分析说明了他的索赔，其在二阶海拔逻辑方面，其中包含他（略微）的英语组成解释的（略微）的核心要素。
虽然它在语言语义中变得常见，但在可能的世界方面分析内容，但它们并不总是被认为是完全没有结构的。 作为一个案例，Kratzer（2002）认为，动词就会涉及事实的主题，因此其解释需要吸引世界的情况：事实是具体的零部件世界。 此外，如克莱普克的原始方法，语义理论经常对逻辑空间施加一些外部结构。 因此，世界之间的无障碍关系和距离措施分别涉及命题，命题态度（沿Hinitkka 1969的行）和反事工程（刘易斯1973年）。 在类似的静脉中，现在，个人（或“或”实体“的宇宙）现在让位于结构化物体的更丰富的结构领域，包括物质及其部分，其可以作为水（如水）的批量（Pelletier＆Schubert 2003）以及由复数名词短语表示的群体及其成员（Link 1983）。 此外，当物业（爱约翰）被视为谓词可能持有的实体（玛丽喜欢爱约翰）时，需要额外的结构：物业理论给出了工具来包含它们（特纳1983）。
偶尔的疑虑已经提出了蒙塔古的高阶普遍逻辑的充分性作为自然语言语义解释的工具：
在我看来，这是蒙图语法人士所雇用的战略，实际上强烈致力于合作。 [...]。 然而，有一个价格需要支付。 在这种“类型的理论上升”中唤起的高阶实体比我们的原始人在哲学上和精神语言学的哲学和心理学的更少。 因此，上升必将减损一个人理论的心理和方法论现实主义。 （HITIKKA 1983,20）
这种反对意见不欣赏在组合语义中的高阶抽象中发挥的作用，这不是关于更高阶函数的句子。 而不是，
λ
-Abstraction被用作启发式工具，以描述表达式对较大句法环境的组成贡献（参见Zimmermann 2021，Sec。2.1）。 因此，例如，确定器的扩展被定义为其对其发生的句子的真实值的贡献（在主题位置），这可以通过其组合的名词和动词短语的扩展来描述它，并且这些扩展本身是本身的（通过类似的推理）。 因此，抽象的高阶对象仅仅是描述合成性运动的方便方法，并且不作为如此描述的语言的句子的对象，或者其术语是指的。 作为一种情况，可以表明，即使（间接）蒙塔图1973的英语片段的解释使用
λ
- 在二阶变量上，其表达力量比高阶类型逻辑弱得多，并且甚至没有资源制定某些含义的资源，其遵循其词汇物品（Zimmermann 1983）。 事实上，HITIKKA的替代品（游戏理论）语义一旦以组成方式制定了一旦制定了（参见1997年或CAICEO等人2009）。
4.结束语
4.1遗产
Montague彻底改变了语义理论的领域。 他从数学逻辑引入了方法和工具，并在语义中设定了显式性标准。 现在，所有的语义都知道逻辑只提供多阶逻辑提供更多。
4.2进一步阅读
最近的介绍是雅各逊2014年。它是对该领域的温和介绍，特别是语言学家和哲学家。 它呈现了通过该方法获得的几个成功。 较旧的介绍是Dowty等人。 1981年和Gamut 1991，这对Montague的原篇论文进行了更具技术性和准备。 该领域历史的概述由Partee和Hendriks（1997）以及Paree（2011年）提供; Caponigro（即将到来）在蒙塔格提供广泛的传记背景。 重要文件的集合是Portner和Paree（EDS。）2002年和Partee 2004; 在Mcnally和Szabó（2022）编辑的体积中提供了进一步的信息，其包括PTQ（Zimmermann 2022）的短暂叙述。 “合成手册”（Werning等人2011）讨论了这种方法的许多方面。 该领域中最重要的期刊是语言学和哲学，语义，自然语言语义和语义和语用学报。
4.3示例
一个小的例子如下，它包括两个句子约翰唱歌，每个人都在唱歌。 这个例子不是在蒙塔古的原始方式中呈现，但现代化：有一个提升规则，确定器是一个基本表达，并不考虑强烈方面。
语法有四种基本表达式：
约翰是类别的表达式。 它的表示是约翰逻辑代表的个人。
不及物动词唱歌表示一组（集歌手集），并由谓词符号唱表示。
常见的名词男人，它表示由人表示的一套。
每个决定者。 它的表示是
λ
p
λ
q
∀
x
[
p
（
x
）
→
q
（
x
）
]; 下面将给出对该公式的说明。
语法有三个规则。
作为输入正确名称的规则，并生成名词短语。 输入字不会改变：它被提升到“更高”的语法类别。 语义上的含义被提升到更摘要，一个“更高”的含义：作为名词短语表示的表示的表示
λ
p
[
p
（
约翰·
）
]。 公式的解释如下。
p
是一个变量的属性：如果我们选择了解释
p
，我们可以说是否
p
持有约翰，即是..是否
p
（
约翰·
）
是真的。 这
λ
p
来自可能的解释的摘要
p
：表达
λ
p
[
p
（
约翰·
）
[如果属性适用于John，则表示作为输入属性的函数，否则会产生True，否则为False。 因此，约翰的表示是他拥有的一组物业的特征函数。
一种规则，它用作输入名词短语和不及物动词，并产生输出句子：来自John并唱它生产John正在唱歌。 相应的语义规则要求将名词短语的表示应用于不及物动词的表示。 这是表示为的
λ
p
[
p
（
约翰·
）
]
（
唱
）
。 应用于参数唱歌时，所代表的功能
λ
p
[
p
（
约翰·
）
如果谓词唱歌为John举行，因此，如此，因为唱（约翰）是真的的。 所以
λ
p
[
p
（
约翰·
）
]
（
唱
）
唱（约翰）等同。 后一种公式可以通过去除来获得
λ
p
并用歌唱
p
。 这被称为'lambda-conversion'。
作为输入确定器和常见名词的规则，并产生一个名词短语：从它产生每个人的每个和男人。 语义上，确定器的表示必须应用于常见名词的表示，因此
λ
p
λ
q
∀
x
[
p
（
x
）
→
q
（
x
）
]
（
男子
）
。 通过Lambda转换（刚刚解释）这是简化的
λ
q
∀
x
[
男子
（
x
）
→
q
（
x
）
]。 此结果表示应用于属性时的函数
一种
，在所有人都有财产
一种
。
使用最后一个规则给出的示例有助于我们了解每个规则的公式：表示属性之间的关系
一种
和
b
在每一件情况下持有它
一种
有财产
b
。
下一步现在很容易。 应用规则将名词短语和不及物动词组合到最后一个结果，产生每个人都在唱歌。 语义规则的输出是
λ
q
∀
x
[
男子
（
x
）
→
q
（
x
）
]
（
唱
）
。 通过我们获得的lambda转换
∀
x
[
男子
（
x
）
→
唱
（
x
）
]
，
这是每个人的传统逻辑表现正在唱歌。
注意Lambda-Operators的作用：
约翰和每个人都以类似的方式解释：物业集。 由于Lambda-Operators，可以表示这些集合。
每个人和唱歌都在同一级别句法，但语义唱歌有一个次级的角色：它发生在公式中。 由于Lambda-Operators，这种级别的开关是可能的。
