第10章 推导经济（Derivational Economy）
生成语法从 Ross（1967）的名词短语岛屿（Complex NP Constraint）起，就一直在给移动套各种“不准越界”的紧箍咒。第5章我们把这类紧箍咒提炼成了最小移动：移动要走“最短的路”，这是相对邻近性（RMin）的现代后裔。但 UM 提醒我们：限制移动的办法其实分两大类，二者性质完全不同。
- 第一类：局部性 locality（射程问题）。岛屿条件、最小邻接限制不直接禁止某条规则，它管的是“一条规则的手臂能伸多远”——给定规则能联系 A 和 B，就不能联系相距过远的 C 和 D。好比“你伸手能够到的范围”。
- 第二类：推导经济 economy（适用性问题）。下面要讲的这些限制不限制一条规则能伸多远；它管的是“这条规则此刻到底准不准你用”——即使你 B 在射程之内，只要还有更省的备选方案，你就不准动用这条规则。好比“眼前够得着，但能不动手就别动手”。
原书用一句极精彩的对照点破二者差别：局部性问的是 *Can I go from here to there without violating minimality?*（我从这儿到那儿会不会撞上邻接墙？）；而经济问的是 *Is this grammatical option the best among the various ones at my disposal?*（我手边这几个合法选项里，这个是不是最省的那个？）。
局部性 vs 推导经济：前者管“够不够得到”，后者管“够得到时选哪条路”（编者整理）
这一类“比较式的、非局部的”推理近年大行其道。第10章沿四条路铺开：10.2 先复习我们默认过的那些经济总假设；10.3 拿存在句（there 句）开刀，提出“合并优于移动（Merge over Move）”；10.4 引出“按语段推导（by phases）”，把计算切成子数组；10.5 再立一条“词汇资源经济”；10.6 收束。
我们一直假定：一条推导（derivation）是一个以句法对象为操作数的计算过程。它从词库对象（词项及由此造出的短语）出发，最后产出一对（π, λ）——π 是 PF 对象，λ 是 LF 对象。如果 π 与 λ 都满足完整解释原则（Full Interpretation, FI），也就是所有 [-interpretable]（不可解读）特征都已被适当核查掉，这条推导就同时在 PF 和 LF 两个接口收敛（converge）。
更要紧的是下面这条比较规矩：两条推导只有在“都收敛”的前提下，才谈得上比谁经济；而要比经济，它们还必须从同一份数词库（numeration）出发。 这三条限制——(i) 只比收敛者；(ii) 同起点；(iii) 同推导史——一个都不能少。原书逐条用反例说明为什么。
限制一：不收敛的推导根本不配参赛
先问：最省的句法计算是什么？是什么都不干——连一个句法操作都不做、不产出任何 (π,λ)。如果把这种“空计算”也纳入经济评比，那它最省，一切真实推导都该被它淘汰。荒谬。所以必须规定：只有产出 (π,λ) 的推导才算推导、才配被经济评比；“什么都不发生”的情形连参赛资格都没有（原书 §1.3、§1.4）。
原书(1)再补一刀：*[TP was [t arrested John]] vs [John was [t arrested t]]。若经济只比“操作步数”，(1a) 比 (1b) 少一次移动，本该胜出——可 (1a) 里 T 的强 EPP 特征没核查，会在 PF 崩。所以只有收敛者才能参赛，(1a) 不收敛，根本不许上桌跟 (1b) 比。
经济评比的第一道闸门：只留收敛者（原书(1)–(2) 示意）
限制二：同一份数词库 N 才能比
光说“只比收敛者”还不够。原书(2)：a. The boy cried. b. The boy with a toy cried. 两句都收敛，但 (2b) 多用了 with a toy 这个附加语。若把所有收敛句一锅烩来比谁省，那词项少的 (2a) 会淘汰句子更长更复杂的 (2b)——这就错了，因为英语本来就允许附加语递归。可见不能让计算装置直接访问整个词库去比。解决办法：它只面对一份事先选好的数词库（numeration）N，而且必须把 N 用尽。
(4) N = {the_i, boy_i, cried_i} → 只能造 (2a)
(3) 这份 N 含 with、a、toy，只能造出 (2b)；(4) 不含这些词项，只能造出 (2a)。两者起点不同，因此 (2a) 再短也不能拿“我比你省”去淘汰 (2b)。经济评比的第二道闸门落下：起点 N 不同的推导，不许互相比。
限制三：连推导史都得相同，直到分叉那一步
再收紧：即使 N 相同，两条推导也只在“共享同一段推导史、直到某个岔口”的范围内才可比。一旦在某步用了不同的词项（访问了 N 里不同的东西），它们就从此分道扬镳、各拿各的词库，不再互相比。这把比较窗口压到最小——系统不必、也不许向后看整棵树，只在眼前这个岔口做局部比较。
经济比较只发生在“同 N、同史、直到刚分叉”的那个岔口上（编者据 §10.2 整理）
小结（原书 10.2 三条门槛）：经济评比＝{(收敛者)} ∩{(同 N 起点者)} ∩{(同推导史直到当前岔口者)}。这套门槛看上去啰嗦，却是后面 there 句分析能站住脚的全部前提。原书特别指出：数词库 N 是经济计算的一个关键技术要件——没有它，计算装置就得直接面对整个词库，比较池无限大，经济性根本无从算起。
| 机制 | 一句话 | 出处 |
|---|---|---|
| 收敛 convergence | 推导同时在 PF(π) 与 LF(λ) 收敛，[-interpretable] 特征核查完毕 | §1.5 / §10.2 |
| 数词库 numeration N | 推导起点：一份选好的词项清单，必须用尽 | §2.3.2.6 |
| FI 完整解释 | 接口层不得留存不可解读特征 | §1.5 |
| 经济比较三门槛 | 只比收敛者；同 N；同史直到分叉点 | §10.2 |
| 空计算不算推导 | 不产 (π,λ) 者连参赛资格都没有 | §10.2 |
表10-1 §10.2 经济计算的五条预备规则
