话语代表理论（一）_数学联邦政治世界观

在20世纪80年代初，Hans Kamp介绍了话语代表理论（DRT）作为处理Anaphora和紧张的语义和语用学中的问题的理论框架（Kamp 1981a）; 由Irene Heim（1982）独立开发了一个非常相似的理论。下面要讨论的DRT的独特特征是它是一种心理学家和代表性的解释理论，而且这是一个不仅是个人句子的解释理论，也是如此。在这些方面，DRT与古典正式语义明确突破，在20世纪70年代，从蒙塔格的开拓工作发出（Montague 1974），但在其他方面，它持续了传统，例如，在其使用模型中理论工具。与此同时，DRT已成为解释广泛现象的框架，并给予许多扩展，修改，应用和实现。我们将注意我们注意与哲学辩论相关的主题，忽略与语言学，逻辑或AI相关的申请。

1.简介

2.驴代词

3.基本DRT

3.1关键的想法

3.2量词与无限期

3.3为二级版本的DRT

4. DRS语言：语法，语义，可访问性

4.1语法

4.2可访问性

4.3语义

5.应用程序和扩展

5.1时态

5.2预设

5.3态度和态度股票

6. SDRT中的话语关系

7.代表性和组成性

8.进一步阅读

参考书目

学术工具

其他互联网资源

相关条目

1.简介

本文涉及话语代表理论狭隘地定义为kamp（1981a）的传统中的工作。同样的术语有时更广泛地使用，偶尔拥有Heim（1982）的工作和Groenendijk和Stokhof（1990,1991）发起的发展。但是，扩展DRT系列的常见常见标签是“动态语义”，也是我们将使用的术语。

将DRT与其他动态语义不同的两个功能是它是代表性和非组成的。在20世纪80年代，现有年的动态语义，这些特征使DRT成为一个有争议的理论，但到目前为止，这些争议已经减少了这些争议。 DRT的主要创新，除了被审议的正统蒙塔哥维亚范式之外，它介绍了一个叫做“话语代表结构”（DRS）的心理表现水平。基本思想相当简单。正是当听众展开时，听众建立了对话语的心理表达，并且每个进入的句子都会提示添加到该代表。这张照片在语言的心理学中一直是司空见惯的。 DRT的主要原则是，它也应该是语义理论的起点。

DRT家族的理论包括以下成分：

由以下组成的表示语言的正式定义：

所有良好的DRS集的递归定义，以及

本集成员的模型 - 理论语义;

一个施工过程，它指定如何在句子进入时扩展给定的DRS。

从技术上讲，这与前面的正式语义上的工作非常相似，有两个例外：解释过程始终考虑到以前的话语，并且声称是必不可少的语义表示的水平。有什么担忧的一些语义主义者并不是那么博士是精神陈述的事实，而是需要额外的水平，并以使理论不合解的方式使用的方式使用我们将在第7节返回此问题。

2.驴代词

代词与其前的关系是在语言学和哲学中获得大量关注的关系。我们说代词是一个神灵，而不是解释，例如，如果这取决于其对句子或话语中其他地方的前进表达的解释。在某些情况下，这种依赖性的性质似乎很简单：

[1]

佩德罗击败了他的驴子。

（这里和从此我们使用强调突出显示我们目前对的化幻链接。前一种。这种构建是足够的合理的，但它不适用于董事会：

[2]

没有农民击败他的驴子。

术语“没有农民”不是指称表达，所以“他”不能与之了。相反，在这种情况下，在这种情况下，代词和其前所不在的关系是绑定中的一个，在这个词的逻辑意义上：“没有农民”和“他”分别被解释为量化器和变量，并且前者绑定后者。

它相当明显，代词的绑定结构受到句法约束。最重要的是，这种类型的解释要求代词由其前一种传记，其中c-command定义如下：

C-Commands B IFF B是或包含在A的姐妹成分中。

句子的组成结构[2]是[S [NP没有农民] [VP击败[NP他的驴]]。这里的代词包含在其前一种的姐姐中，因此满足C-Command约束。在[3]“没有农民”不c-cound“他”，所以我们预测，正确地，代词不能束缚。

[3]

他的驴子不喜欢农民。

由于[1]的语法结构与[2]的语法结构相同，因此我们可能想知道[1]中的代词是否可能不会被其前一种绑定，就像[2]一样。如果这是可能的，则将有两种方法在[1]中解释代词：它可以用作参考项或绑定变量。有证据表明这确实如此：

[4a的]

佩德罗击败他的驴子，也是胡安。

[4b]

每个农民都击败了他的驴子，也是胡安所做的。

[4a]以[4b]的方式模糊不清。它的第二个结合可以被解释为说juan击败他自己的驴子，或者胡安击败佩德罗的驴。相比之下，[4B]的第二个混合只能被解释为说，胡安击败了自己的驴子。如果在[4a]的第一个混合中的占有代词可以是参考或绑定变量，则容易解释对比度。

在很大程度上，从DRT开始发育动态理论的动力是实现了参考和绑定变量（出现）代词之间的二分法，而不是一个人可能在某些代词不适合的意义上思考在任何一种类别中舒适。

[5a]

佩德罗拥有一头驴。

[5b]

它是灰色的。

在第一次第二句中“它”与其前言表达之间的关系是什么？一方面，它不能是Coreference。如果代词与其前驱的经验丰富，无限期的“驴子”必须是一个参考术语，这似乎不太可能，例如，因为[5A]的否定说，佩德罗未能拥有驴子，但是相反，他不拥有任何驴，而且，如果[5A]被否定，代词和其前所未有的一个阴道连结被切断：

[6a的]

佩德罗不拥有驴子。

[6b型]

*它是灰色的。

（星号表示，如果要被解释为“IT”的前言，则句子是侵入的。这样的观察结果相当强烈地表明，无限期是量子，而不是参照条款。但是，如果我们将“驴子”解释为存在量词，它如何管理绑定句子边界的代词？

[5]的问题与代词及其无限期的先行发生在不同句子中的问题有关。然而，以下实施例表明，在句子中出现类似的问题：

[7a]

如果佩德罗拥有驴子，他会击败它。

[7b]

每个拥有驴子的农民都会击败它。

这些是学术哲学家已经讨论过的臭名昭着的“驴句”，在近时，通过Geach重新引入哲学（1962）。在这些情况下，这很明显代词不引用，所以他们不能与他们的前书中的经验丰富。没有由他们的前书束缚的代词，因为它们不是由他们命令的。 [7b]的组成结构大致如下：

[S [NP每一部[拥有[NP A驴]]] [vp beats]]

无论句法细节如何，“驴子”太深入地嵌入到它以C-Comment“它”。 [7a]也是如此。因此，[7A，B]中的中性代词不能被解释为结合变量。

显示驴代词是有问题的另一种方式是考虑如何在谓词逻辑中呈现这些句子。 [7a]的最明显的解释是佩德罗击败他拥有的每一个驴，而且（因此，有些令人惊讶的是，似乎这些句子中的无限性具有普遍性。）这些读数可以捕获如下：

[9a条]

∀x[[驴（x）和自己的（佩德罗，x）]→击败（佩德罗，x）] [9b]

∀x∀y[[农民（x）和驴（y）和自己的（x，y）]→击败（x，y）]

因此，问题不是谓词逻辑无法捕获[7a]和[7b]的含义。问题是，而不是如何以原则方式从[7a]和[7b]从[7a]和[9b]中获得[9a]和[9b]。为了导出这些逻辑形式，我们不仅要假设在从属位置埋入的无限表达最终有广泛的范围，而且还可以在该过程中获取普遍力。一种基于此类假设的理论可能会捕捉事实，但它会显然是临时，也会产生一系列虚假预测。

上述观察结果的结果是，明显的是，无限期既不是量词也不是指数术语，而这一问题纳入另一个，只要不清楚无限是什么意思，它也将仍然掩盖它们如何作为前因如何掩盖代词。后来我们将看到看似不同的域名出现的问题非常相似，就像对时态和预设的解释一样。

3.基本DRT

本节以相当的非正式术语介绍DRT。我们展示了听众如何建立持续话题的心理模型，不仅处理简单的句子，还处理条件，量化和申请人，我们讨论了DRT对无限期的治疗，以及如何与量化表达分开。

3.1关键的想法

话语代表结构（DRS）是主人展开的主人建立的心理代表。 DRS由两个部分组成：所谓的“话语指标”的宇宙，它代表了正在讨论的对象，以及一组编码在这些话题指标上积累的信息的DRS条件。以下博士代表有两个人的信息，其中一个是农民，另一个驴子，并且前者追逐后者：

[1]

[x，y：农民（x），驴（y），追逐（x，y）]

该DRS的Universe包含两个话题指令，x和y，其条件集是{farmer（x），驴（y），追逐（x，y）}。

像[1]中的一个像样的DRS可以赋予直接的模型 - 理论解释。在DRT中，这是通过嵌入函数完成的，这些功能是来自给定模型M中的话语引用的部分功能; 或者替换，嵌入功能是部分可变分配。嵌入功能F验证在M IFFF中的[1] F f的域至少包括x和y，并且根据m的情况是f（x）是农民的情况，f（y）是驴，并且f（x）追逐f（y）。

同时，明确表示[1]中的DRS旨在反映出直观的意义：

[2]

一位农民追逐驴子。

实际上，据称，在没有关于发出这句话的上下文的任何信息的情况下，[1]是[2]的语义表示。因此，无限的表达“一个农民”和“驴子”提示引入两个新的话语引用，x和y，并贡献X是农民和y驴的信息，而动词有助于前者追逐后者的信息。

如果话语开始以[2]的话语，则构建[1]中的DRS，并且该DRS形成了解释下一个话语的背景。现在假设[2]之后是[3a]的令牌：

[的3a]

他抓住了它。

[3b]

[

，

：陷入（v，w）]

[3b]是在代词解决之前反映[3a]的语义含量的DRS。在这个DRS中，[3A]中的一个神经神经代词“他”和“它”分别由话语指称V和W. 这些话语指示人强调，表明他们需要一个前提。由于[3a]在[1]的上下文中，解释这句话的下一步是在[1]中将DRS合并。该合并操作的结果是[4a]：

[4a的]

[x，y，

，

：农民（x），驴（y），追逐（x，y），抓（v，w）]

由于[3A]之前是[2]之前，“他”的前进可能（虽然不一定）“一位农民”，而“它”是依赖“驴子”的“它”。在DRS级别，这是通过将话语分别与x和y等同于话语引用V和W表示。这些操作产生[4b]，其等同于[4c]。在M形式的MFF M型号中验证了DRS，其中包括一个追逐和捕获驴的农民。

[4b]

[x，y，v，w：v = x，w = y，农民（x），驴（y），追逐（x，y），抓（v，w）] [4c]

[x，y：农民（x），驴（y），追逐（x，y），抓（x，y）]

到目前为止，我们只考虑了具有简单条件的DRSS，但为了考虑否定和有条件的句子，例如需要复杂的条件。

[5a]

佩德罗没有驴子。

[5b]

[1×：佩德罗·（x），¬[2y：驴（y），拥有（x，y）]]

[5B]是对应于[5A]的句子DRS。该DRS包含一个由否定符号前缀的DRS组成的条件。为了便于参考，我们有时将使用数值标签装饰DRS，如我们在[5B]中所做的那样，并在“[5b1]”，“[5b2]”等中使用这些名称，“[5b2]”等。通常，DRS的标签将是自上而下的，左右，所以主要（或校长）DRS总是第一。

函数F将MFFF F f映射X中的[5B1]验证到M中的单个“是PEDRO”中的单个，即称为“PEDRO”，并且F不能扩展到验证[5B2]的函数g。也就是说，没有这样的g应该将y映射到佩德罗拥有的驴上。

[5B2]包含话语指的X;在嵌入[5B2]的DRS中引入的话，即[5B1]。除此之外，[5B2]还介绍了自己的话语，即y，与无限期的NP“驴”相关，其范围由[5B2]界定。因此，在[5B2]之外，它没有意义。在DRT中，这是为了解释为什么在[5A]中所引入的无限NP中所引入的个体的“寿命”是由否定运算符的范围限定的。如果[5a]之后是[6a]，例如，代词不能与无限期连接：

[6a的]

它是灰色的。

[6b型]

[

：灰色（z）] [6c]

[1倍，

：佩德罗·（x），¬[2y：驴（y），拥有（x，y）]，灰色（z）]

如果我们合并[5b]和[6b]，这是与[6a]对应的句子DRS，我们获得[6C]。在该表示中，话语指引词Z没有访问y，因为y被引入未被引入z的DRS无法访问的DRS中，因此不可能将Z结合到Y. 换句话说，如果在[5a]之前，则代词不能与无限性链接。这种预测似乎是正确的。

可访问性首先是DRS之间的关系; 衍生地，它也是话语指点之间的关系。 [6C1]可以访问[6C2]，但不是另一种方式，因此来自[6C1]，即X和Z中引入的话语引用，可以从[6C2]，但相反，如果我们在[6C1]中我们没有访问[6C2]及其话语指示灯，即Y.，Y. 因此，在[6c]中是不可能的，因为y无法访问y。在[4A]中，相比之下，Anaphora是可能的，因为V和W可以访问x和y（可访问性关系是反身的）。可访问性的概念对于DRT对Anaphora的账户至关重要，重要的是要注意，它没有规定，而是由DRS语言的语义引起的。 [6C1]可以访问[6C2]，因为必须考虑[6C2]的每个嵌入函数是[6C1]的嵌入功能的扩展，因此原因是[6C1]中指的每个话题也在[6C2]。但是，交谈不持有。

像否定的句子一样，条件也会产生复杂的DRS条件。 [7]举例说明：

[7a]

如果佩德罗拥有驴子，他会击败它。

[7b]

[1×：佩德罗·（x），[2y：驴（y），拥有（x，y）]⇒[3

，

：拍（v，w）]]

[7b]是对应于[7a]的句子DRS，并且假设为了方便，这句话在空上下文中发出，它也是话语的初始博士。该结构中的复杂条件被解释如下：如果f是在当前模型中验证[7b1]，则f（x）必须是称为“pedro”的个体，并且验证[7b2]的每个扩展名必须自身扩展到验证的函数7b3]。从此之外，[7B1]可以访问[7B1]，[7B2]可以转动可访问[7B3]，因此V可以连接到X（可访问性是传递关系）和W到y。结果是[7c]，这相当于[7d]，两个博士都说佩德罗击败了他拥有的每个驴子。

[7c]

[1倍，v：v = x，佩德罗·（x），[2y，w：w = y，驴（y），拥有（x，y）]⇒[3：拍（v，w）]] [7天]

[1×：佩德罗·（x），[2y：驴（y），拥有（x，y）]⇒[3：拍（x，y）]]

3.2量词与无限期

对量化的驴判决的解释与我们刚才看到的内容非常相似：

[8a]

每个拥有驴子的农民都会击败它。

[8b]

[1：[2倍，y：农民（x），驴（y），拥有（x，y）]（∀x）[3

，

：拍（v，w）]]）

有两种方法可以拼写表格K（∀x）k'的所谓双工条件的解释。在其弱解释上，[8A]意味着拥有驴子的每个农民至少击败他拥有的驴子; 在其强烈的解释上，判刑表明，每个农民都击败了他拥有的每一个驴子。虽然强大的阅读是[8A]最自然的选择，但其他驴句更喜欢阅读：