延续和自然语言

记号约定

$\mathtt{e}\to \mathtt{t}$

类型: 我们不将从类型为$\tau$的对象到类型为$\sigma$的对象的函数的类型记为$⟨\tau ,\sigma ⟩$, 而是遵循计算机科学的约定, 写成$\tau \to \sigma$. 因此, 一个外延性verb phrase的类型为$\mathtt{e}\to \mathtt{t}$.

缩写表

AR	Argument Raising	参数提升
CBN	call-by-name Continuation Passing Style	按名调用的延续传递风格
CBV	call-by-value Continuation Passing Style	按值调用的延续传递风格
CL	Combinatory Logic	组合子逻辑
CPS	Continuation Passing Style	延续传递风格

引论

本书是关于延续的. 其论证了延续对于完整理解自然语言的含义而言是一个基本的组件.

1. 延续假设 (continuation hypothesis): 一些自然语言表达代表 (denote, 或许也可以翻译为指称) 了其延续上的函数, 即以其语义上下文为参数的函数.

什么是一个延续?

一个延续是围绕一个表达式的上下文的一个部分.

2. John said [Mary called everyone yesterday] with relief.

根据字符串表示, 这个延续似乎是一个非连续的对象, 但是延续的连续 (contiguous) 本性在我们考虑句法结构树 (syntactic phrase structure tree) 时立刻变得显然起来.

3. (S John
      (VP (VP said
              (S Mary
                 (VP (VP called everyone)
                     yesterday)))
          (PP with relief)))

我们将在整本书中不时使用这样的示意图. 我们将其称为七巧板图(tangram diagram), 七巧板是一种智力游戏, 其中一集平面几何形状被重新排列组合为各种各样更大的形状.

既然我们主要关心的是含义, 我们将会专注于语义上下文而非, 比如说语音上下文或者句法上下文. 那么, 在以上的例子里, everyone相对于括起来的从句的语义延续是抽象出了everyone的贡献的该从句的含义, 即being called yesterday by Mary这个性质, 其可以被渲染为$\lambda x.\mathbf{yesterday}(\mathbf{called}x)\mathbf{m}$.

延续何以基本?

2中所识别的语义延续是量词everyone用作其语义参数的东西, 即其核作用域 (nuclear scope). 一般而言, 识别一个scope-taking表达式的语义参数和识别出(其某一个)延续是相同的事情. 因此, scope-taking是延续在自然语言中最令人信服的应用.

然而, 这对于我们而言还不足以表明延续提供了一种概念化scope-taking的优雅方式, 考虑到也有其他并不显式牵涉延续但能够有效处理scope-taking的策略, 例如量词提升 (Quantifier Raising), 灵活Montague语法 (Flexible Montague Grammar), 诸如此类. 为了有力地论证延续何以基本, 我们必须说明延续提供了哪些其他方法所不能提供的洞察.

我们从邻近的领域中寻找这种洞察的线索. 在计算机编程语言中, 延续已经是在某种程度上深入探索的想法了, 其已经被用来(在许多应用中)刻画计算机程序中的表达式的求值顺序 (order of evaluation), 第12.1节解释了这种应用. 一般而言, 延续的一个突出优点在于其提供了推理计算展开顺序的显式手段.

我们将会论证诸多自然语言的现象都依赖于求值顺序. 这些包括量化绑定, 交叉效应 (crossover), reconstruction, negative polarity licensing, 以及驴照应 (donkey anaphora).

具体来说, 中心结果之一是基于求值顺序的对于crossover的健壮解释.

5. 1. Everyone_$i$ loves his_$i$ mother.
   2. *His_$i$ mother loves everyone_$i$.

第I部分. 塔: 作用域和求值顺序

第1章. 作用域和塔

第1.1节. 作用域