涅槃不在定义域内：主词胜义分析的一条定义域条款¶
落实记录：2026-09-24 已进正文，中英同改。第一卷 5.1 加偏函数一段，18/05 立条款甲的推论并点出"豁免"的后果（不入范围不是豁免证，代价是无一物可信、可证、可求）并扩条款丙，9.4 加一句对齐；第二卷导论第二章加"有"句读法一段与两注，中观下篇第三章三处加句。英文 5.1 同时补齐了先前缺译的 25.9 与 25.17–18 三段及其注。第四节第 3、6 项所引现文核实都在，先前待查里记为"找不到"是查法之误。
修订稿。这一篇不是独立文章，是对原书若干处的修订提案：先立判定，再逐处列出现文、问题与拟改的文字。所据材料随文注明，均按原本核过。本文集另一类"未完成工作稿"是考证与梳理，这一类"修订稿"直接对着正文改。
缘起¶
第一卷 5.1 把胜义谛的元约束改写成两式之后，一个原来藏在措辞里的问题露了出来。两式是：
命题胜义分析(X) → X 自相矛盾，X 为形如"a 有自性"的命题 主词胜义分析(a) ≡ 空
本书一直说，早期的涅槃"也可以说无自性"。按第二式，这等于说主词胜义分析(涅槃) ≡ 空。问题是：这个操作对主词有要求，涅槃满足不了那个要求。结论没错，路却不通。这一篇把"要求是什么""为什么涅槃不满足""结论为什么仍然对"三件事说清楚，然后把它落到正文上。
一、判定¶
1. 主词胜义分析对主词的要求¶
按第十八篇自己的定义，这个操作要跑起来，靠的是 P 抓住 a 的同一性条件，证明它涉及别异与关系，再和 D2 的第一条"不待异法成"相撞（第十八篇第一章 D2；第四章 P）。所以 a 至少要满足三件事。
其一，a 可被个体化为断言主词，也就是有同一性条件。第四章给 P 的宽读法明写："存在者在此取宽读法：凡可被个体化为断言主词者"。没有同一性条件，P 无处下手。
其二，有人为 a 主张 E3，实有。其三，有人为 a 主张 D2，自性。这两件是条款甲的准入条件：定理的量词只走 D3 型命题，D3 型命题是 ∃x[E3(x) ∧ D2(x)]（第十八篇第一章 D3；第五章条款甲）。没有这两件，命题不属 D3，定理无权出手。
归谬的全部力量来自这三件：先有一个"x 之为 x"的规定，再证明这规定离不开对比项。
2. 早期涅槃缺哪一样¶
缺第一件，后两件随之也没有。
按本书基线，无余依涅槃是"蕴的相续不再接续"（第二卷导论第二章）；同章说得更明确："无余依涅槃不被描述为任何一种'去处'或存在状态。蕴灭之后如来是有是无，正属无记之列"。它不是一个被个体化的项，是一个过程的停止。"涅槃"这个词是 E2 的施设名，名所指的不是一个 x。
于是"涅槃有自性"不是一个可以归谬的命题：它不是推出矛盾，是无从成立，和"现任法国国王是秃子"同一类（第十八篇第三章已用此例）。要说准的是主词指谁。有部为择灭主张过 E3 与 D2（自性恒有，见第十五篇第二章、第十七篇第五章），觉音一系也主张涅槃在胜义上实存（见下文第二节），那个涅槃在定义域内，二十五品前十八颂有靶子。基线意义的无余依涅槃不是这个：没有一条 D3 型命题以它为主词，条款甲把它挡在门外；它连同一性条件都没有，P 也无处下手。定义域条件落在被主张的那个概念上，不落在"涅槃"这个词上。
3. 歪打正着的确切含义¶
"涅槃无自性"是真的，但真得空洞：不是分析剥掉了它的自性，是从来没有一句话给过它自性。用形式语言写（这套记法是 5.1 的，第十八篇本身用 T 与 D3 说话，见第四节第 1 项）：主词胜义分析是一个偏函数，定义域是那些被人主张过 E3(a) 且 D2(a) 的 a；早期涅槃不在定义域内，函数在它上面的值不是"空"，是"不适用"。
这就是歪打正着：结论对，路不通。而且这条路不通有一个后果：谁用胜义分析去"得出"涅槃是空，谁就已经把涅槃当作一个 a 送进了定义域，也就是先做了对象化，再宣布对象化之下无物。这正是第二十五品那一步。
4. 与现文的关系¶
第二卷中观下篇第三章已经有这个判定的散文形态："凡能站上主词的位置、接受一个系词的，必已先被立为对象"；中观对未被对象化的涅槃"既没有破，也没有证，只是无话可说"。新的形式化做了两件事。一是把这句话变成一条可查验的判据：a 在不在定义域内，看有没有人为它主张 E3 与 D2。二是给 25.19 的越界起了一个精确的名字：把"不适用"读成了"空"。
5. 《观涅槃品》的程序重读¶
它还解释了第二十五品的程序为什么非得从"涅槃是有""涅槃是无"起头。那不是在检验涅槃，是在给涅槃配一个同一性条件，好让它进入定义域；配一个，破一个。
论本的次序是：25.4 起破"涅槃是有"："涅槃不名有，有則老死相；終無有有法，離於老死相"（T30, no. 1564, p. 34c28 起一段）；25.7 起破"涅槃是无"；25.9 给出正面的界定："受諸因緣故，輪轉生死中；不受諸因緣，是名為涅槃"（p. 35b08）；25.17–18 处理"如来灭后有无"四句而归于不可说，青目断作"是故一切時一切種、求涅槃相不可得"；紧接着 25.19–20："涅槃與世間，無有少分別；世間與涅槃，亦無少分別"，青目释作"以一切法不生不滅故，世間與涅槃無有分別"（颂在 p. 35c27，青目此句在 p. 36a06）。
按定义域读：25.1 到 25.18 实际证明的是涅槃不在定义域内，非有非无，不可说；25.9 那句正面界定说的正是一个过程的止息，不是一个项。25.19 却把这个"不在定义域"的结果，与世间诸法"在定义域内且判为空"的结果画了等号。两边的"空"不是同一个值：一边是判决，一边是判决从未下达。青目的理由"一切法不生不灭故"同样只对定义域内的法说得通，涅槃从来不是一个"法"。
二、两条反驳与代价¶
1. 施设也是主词¶
反驳：涅槃有名，名有同一性条件。贪瞋痴尽、相续不续，都是靠对比项定下的，所以按 P 的宽读法它可以被个体化，分析可以跑，结论也是实质的：它的同一性是相待的。
回答分两层。那分析的对象是 E2 的名，条款甲本来就把 E2 划在范围外。就算放它进来，得到的也只是"这个名靠对比定义"，而这正是"施设"一词的定义本身，定理没有添加任何内容，仍是零输出。更要紧的是，谁把这个名当作一个 x 送进分析，谁就已经做了 25.19 那一步。
2. 文本不齐¶
这一条是真的代价。早期文本里也有"有"的句式。《自说经》第八品第三经：
Atthi, bhikkhave, ajātaṃ abhūtaṃ akataṃ asaṅkhataṃ. No cetaṃ, bhikkhave, abhavissa ajātaṃ abhūtaṃ akataṃ asaṅkhataṃ, nayidha jātassa bhūtassa katassa saṅkhatassa nissaraṇaṃ paññāyetha.（Udāna, Pāṭaligāmiyavagga, Tatiyanibbānapaṭisaṃyuttasutta，VRI 本 §73；《如是语》第 43 经同文）
比丘们，有不生、不成、不作、无为；若无此不生、不成、不作、无为，则此处不能施设生、成、作、有为之出离。此外，《相应部》无为相应给了一长串正面的称谓：无漏、谛、彼岸、微妙、不死、胜妙、安稳、爱尽、涅槃、无恼，每一个都以"我为汝等说某某及至某某之道"起头（SN 43，PTS 本 S IV 359–371）。
若那个"有"读作 E3，涅槃就进了定义域，中观的分析于是就是实质的，不是歪打正着。所以本篇的判定压在一件事上：基线把那个"有"读成 E1，"有这么一回事，止息"，不读成 E3。
这一读法在文本上的支撑，正好在同一相应里。无为相应开篇自己给了定义："Katamañca, bhikkhave, asaṅkhataṃ? Yo, bhikkhave, rāgakkhayo dosakkhayo mohakkhayo, idaṃ vuccati, bhikkhave, asaṅkhataṃ"，什么是无为？贪尽、瞋尽、痴尽，名为无为（SN 43.12，S IV 359）。更直接的是阎浮车问舍利弗一经，问什么是涅槃，答："Yo kho, āvuso, rāgakkhayo dosakkhayo mohakkhayo, idaṃ vuccati nibbānaṃ"（SN 38.1，S IV 251）。汉译平行两处同义：《杂阿含》第八九〇经"云何無為法？謂貪欲永盡，瞋恚、愚癡永盡，一切煩惱永盡，是無為法"，第四九〇经舍利弗答"涅槃者，貪欲永盡，瞋恚永盡，愚癡永盡，一切諸煩惱永盡，是名涅槃"（T0099 卷三十一、卷十八）。三个"尽"（khaya）都是过程的止息，不是一个项；正面称谓那一串挂在这个定义之下。《自说经》那句话的后半也是同一个方向：它说的是若无此无为，则有为的"出离"（nissaraṇa）无从施设，"有"字担保的是出离这回事成立，不是担保一个东西在。这几处可以作 E1 读法的文本依据，写进基线。
但反方要写全。反方不止有部一家，是三家，本书站的是少数一边。其一，南传注释传统。《自说经注》释此句的结语是"tayidaṃ nibbānaṃ atthi, bhikkhave'ti paramatthato nibbānassa atthibhāvo pakāsito"，说这句宣示的是涅槃在胜义上实存（Ud-a 释 8.3）；《清净道论》第十六品第 67 至 74 节专驳"涅槃唯是灭尽"（khayamatta），驳的正是把 S IV 251 那句"贪尽瞋尽痴尽名涅槃"读成唯灭的人，理由是照此则阿罗汉果也成了唯灭（Vism XVI.69）。其二，有部。《顺正理论》卷十七引"契經說：苾芻當知，定有無生。此若無者，生死眾苦應無盡期"，以成立"涅槃其體實有"（T29, no. 1562, p. 428c），这正是《自说经》此句被当作 E3 证据的出处；《大毗婆沙论》卷三十四"欲顯涅槃實有自體"，所遮的正是"唯眾苦滅說名涅槃，非實有體"（T27, no. 1545, p. 177a）。其三，瑜伽行的译语。《瑜伽师地论》卷五十引此经作"實有無生、無起、無作、無為"（T30, no. 1579, p. 577b），"實有"二字把读法定死了。此外，有余依与无余依之分的出处《如是语》第 44 经本身把二者叫作 nibbānadhātu，涅槃"界"（第二卷导论第二章脚注已引），基线要说一句"界"字不必读作 E3 项，不能绕过去。
本书一边也有先例。《俱舍论》卷六世亲代经部立"一切無為皆非實有"，说"如燈涅槃，唯燈焰謝，無別有物。如是世尊心得解脫，唯諸蘊滅，更無所有"，并引经"所有眾苦皆無餘斷……名為涅槃"证"涅槃唯以非有為其自性"（T29, no. 1558, p. 33c；第十七篇第五章已述）。现代学者里，Gombrich 把《自说经》此句读作轮回与涅槃互为条件的一对概念（What the Buddha Thought），Norman 专文清理对涅槃的若干误读与误译（Mistaken Ideas about Nibbāna）；反方则有 Harvey 把 Ud 80 读作涅槃识（The Selfless Mind 第十一、十二章）与 Thanissaro（The Mind Like Fire Unbound）。第一卷 9.4 已记南传内部对此"尚无定论"。基线只能明写：这是本书的读法，与有部、南传注释、瑜伽行译语三家相反，两边在文本上各有立足处，判定的代价就在这里。
三、"涅槃即空"的来由¶
1. 形式层：主词与判语的类型混淆¶
后世把涅槃等同于空性、法性、真如（第一卷第七篇第四章；第二卷中观下篇第三章末节所记宗喀巴、觉囊两路）。按本篇的形式化，这是把一个主词和一个判语画了等号。"空"不是对象层的一个项，是对命题的一个判决；涅槃不是命题。
涅槃与空性确实共享一种地位：都只在被实体化之后才进定义域。条款丙对空性说的话，一字不改可以对涅槃说：谁把涅槃立为一个实有自性的东西，那条命题就是标准的 D3 型，照章被拒；拒的是实体化，不是涅槃。
但有一种偷渡要防。定理在范围之外，是因为它是元层的规则；涅槃在范围之外，是因为它是对象层里一个未被立起的缺席。两个"外"不是一个外。混在一起，涅槃就升到了元层，成了"胜义本身"，那是如来藏的方向：先说涅槃不可分析，再说不可分析者即真实，最后真实有了名字。本书第七篇批评的那一步，形式上就是这次升格。
2. 心理层：以缺席相认¶
照规矩明标，以下是本书的推测。
上面这件事不是孤例。"不可说"也是这样被并到一起的：佛陀对十四无记的沉默，与后来"胜义离言"的沉默，被当作同一种沉默，尽管前者是拒绝一个坏问题，后者是宣布一个对象超出语言（第二卷中观下篇第三章已分辨）。"轮涅不二"也是这样得出的：轮回空、涅槃空，于是无别（同章两难的第一角）。《起信论》一路把真如、法性、涅槃、空性、心作同义词用，是同一件事的成品。
这几件事共同指向一个较为普遍的心理现象：面对难以把握、难以定义的对象，人倾向于用手里仅有的几个特征去把它们等同，或者至少归成一类。而对于抗拒分析的对象，手里仅有的特征几乎总是否定性的：不可说、无自性、离四句、不生不灭。否定性特征便宜，检测起来不费力，而且被一切抗拒分析的东西共享；于是它们成了认取的把手，共享一个缺席被读成了共享一个身份。写成推理形式，就是从"x 不可说，y 也不可说"推出"x 与 y 是一回事"，或者从"x 与 y 同不入范围"推出 x 等于 y。夜里的猫都是灰的，不等于夜里只有一只猫。
这个现象有一个结构上的来由。我们认取事物的工具箱是按正面的区别性特征造的：形状、来历、作用。对象把正面特征全部收回，工具箱里只剩下"收回"本身，收回于是被当作了标识。所以它不是某个学派或某位论师的失误，是任何一种以特征作认取的心智在这类对象面前的默认动作，本书用它说的是群体层面的漂移，一个传统的通行用法怎样合流，不是个别作者的心理；佛教史上它反复出现，只是因为佛教史上这类对象特别多。
本书可以给它一个名字，暂拟"以缺席相认"，与已有的几个机制（声称与功能、棘轮、谱系的事后建构）并列，放在第二卷总结或第三卷论流变的通则处。它的用处是把好几处原来分开讲的越界收成一个机制：涅槃即空、两种沉默的合并、轮涅不二、真如诸名的同义化。相关文献已另做调研，见本文集未完成工作稿《以缺席相认：文献调研》：这个推测可拆成未分化、诊断性倒置、占位填充三步，各有文献，也各有边界；Katz 与 Sharf 两篇都直接点了"不可言说的涅槃"这个例子。
四、修订清单¶
以下按原书位置逐处列出。每处给现文、问题、拟改。拟改文字照全书体例，不用"小乘"，不用直角引号与破折号。
1. 第十八篇第一章 D3，或第五章条款甲：加一条定义域条款¶
现文：条款甲只说"T 的量词只走对象层的 D3 型命题"。
问题：条款甲规定了定理施于什么，没有规定主词胜义分析在什么上面无定义。于是"a 不在范围内"会被读成"a 空"，25.19 的越界就从这个缺口进来。
拟改（第五章条款甲之后加一段）：
条款甲有一个推论，值得单列，因为它堵的是一个常见的缺口。T 只对 D3 型命题下判决；一个项 a 若不出现在任何 D3 型命题的主词位置，T 对它没有输出，既不判它有自性，也不判它空。"a 不入 D3"与"a 空"是两个不同的结果：后者是对一条自性断言的判决，前者是判决从未下达。一个从未被立为对象的 a，例如基线意义上的无余依涅槃，属于前者。谁在它上面读出"空"，谁就已经先替它立了一条 D3 型命题，也就是先把它立成了对象。
说明：第十八篇正文与附录甲不用"主词胜义分析"这个记法，也不用函数、定义域一类的词，那套记法只在 5.1。此处条款用 T 与 D3 的语言写，偏函数与"不适用"的说法留给 5.1（第 3 项），两处互相回指，不另立第二套形式语言。
2. 第十八篇第五章条款丙：涅槃同此，并分清两个"外"¶
现文：条款丙只处理空性、胜义谛之名的实体化。
拟改（条款丙末尾加）：
涅槃与此同例。谁把涅槃立为一个实有自性的东西，那条命题就是 D3 型，照章被拒；拒的是实体化，不是涅槃。但涅槃与定理在范围之外的方式不同：定理在外，因为它是元层的规则；涅槃在外，因为它是对象层里一个未被立起的缺席。两个"外"不可并作一个，否则涅槃便升到了元层，成了胜义本身，第七篇批评的那一步就是这样走出来的。
3. 第一卷上部 5.1：形式化之后接一句¶
现文：新改的两式之后，直接进入"空亦复空"。
拟改（两式之后、"空亦复空"之前加一小段）：
两式都以 a 被立为主词为前提。一个从未被立为对象的东西，既不能代入 a，也就得不到"空"这个值；它得到的是不适用。本章前文说涅槃品的论证"从头到尾没有触及"那个以沉默守护的涅槃，形式上就是这个意思，下部第十八篇第五章立为定义域条款。
4. 第二卷中观下篇第三章：给越界一个形式名，并把两难收紧¶
现文一："既没有破，也没有证，只是无话可说。"
拟改：此句后加"用第一卷下部第十八篇第五章的定义域条款说，主词胜义分析在它上面无定义，输出的是不适用，不是空"。
现文二：25.19 一段，"从拒绝回答到给出答案，越界就发生在这两颂之间"。
拟改：此句后加"越界的形式是确定的：25.1 至 25.18 证明的是涅槃不在定义域内，25.19 把不在定义域内读成了判为空，然后与世间诸法的空画等号；一边是判决从未下达，一边是判决已经下达，两个空不是一个值"。
现文三：两难一段，"若'不二'只说皆空，它的分量不比'牛马不二'更多"。
拟改：此句后加"而且它比牛马那一等还差一格：牛与马各自在定义域内、各得一个空的判决，涅槃没有判决；'皆空'在这里是把一个不适用与一个判决相加"。
5. 第二卷导论第二章基线：明写"有"句式的读法¶
现文：无余依涅槃"不被描述为任何一种'去处'或存在状态"，火灭之喻。
问题：没有处理早期文本里"有不生、不成、不作、无为"这类"有"的句式，而有部的择灭正是从这里取文本根据。整篇判定压在这一读法上，读法要明写。
拟改（该段后加一段，另出脚注）：
早期经文里也有"有"的句式：有不生、不成、不作、无为；若无此无为，则有为之出离无从施设。本书把这个"有"读作"有这么一回事"，不读作"有这么一个东西"，理由在文本自身：无为相应开篇的定义是贪尽、瞋尽、痴尽名为无为，三个"尽"都是止息，不是一个项；《自说经》那句话的后半担保的是出离这回事成立，不是担保一个东西在。有部把同一个"有"读成实有的择灭，两种读法在文本上都有立足处，本书取前者，并承认这是一个选择。
脚注给 Udāna 8.3（VRI §73）、Itivuttaka 43、SN 43（S IV 359–371）三处，措辞见上文第二节。
6. 全书用语：本书自己叙述里的"涅槃亦空"¶
检得的用例（第二卷中观上篇第一章、下篇第八章总结）都是转述中观的声称，列在声称层，可以保留。本书自己的口吻里说早期涅槃"无自性"的，第一卷 5.1 与第二卷导论都已用"没有触及""不说止息之后是什么"的说法，不必改。此后新写的文字，一律用"不入范围"或"不适用"，不用"涅槃亦空"作本书判断。
7. 英文同步¶
第 1 至 5 项改定后，同改 Volume 1 的 Essay 18 Chapter 5、Madhyamaka Chapter 1，Volume 2 的 Introduction Chapter 2、Madhyamaka Part II Chapter 3。术语按已有译法：level clauses、clause (a)/(b)/(c)、inventory of resources；"不适用"拟译 not applicable，"定义域"拟译 domain。
待查¶
- "以缺席相认"的文献调研见《以缺席相认：文献调研》，本篇第三节待按该篇第五节改写。
- 《如是语》43 的汉译：《本事经》（T0765，玄奘译，七卷）通检"無為"仅卷七一见且非此段，"有不生不成不作无为"一段未见对应文，是否无平行待逐品对读。《自说经》8.3 的汉译平行现只有《瑜伽师地论》卷五十所引，作"實有"（见第二节）。
- 有部出处已解：不在《大毗婆沙论》，在《顺正理论》卷十七（T29 428c）；婆沙卷三十四 177a 是"涅槃实有"总论。
- 月称注 25.19：Sprung 英译可核，Poussin 梵本须逐页查。Garfield 注 25.19 明说"each is empty, and so there can be no inherent difference"，正是第一节第 5 条要驳的读法，可作靶；Siderits 与 Katsura 把 25.19 当前十八颂同一推理的延伸。
- 《起信论》卷一"依於此真如義故，說一切眾生本來常住入於涅槃"（T1666）可作第三节引证，其余同义化段落待补。
- 第四节第 3、6 项所引"现文"（5.1 的"从头到尾没有触及"、导论的"不说止息之后是什么"）在现稿里找不到，落实前按现文改写挂钩句。
参考¶
所据原本：
- 第一卷下部第十八篇第一章（D1–D3、T）、第四章（P 及其宽读法）、第五章（条款甲乙丙）。
- 第一卷上部 5.1《龙树与中论》，两式及"空亦复空"一段（2026-09-23 改定本）。
- 第二卷导论第二章（有余依、无余依涅槃，无记）；第二卷中观下篇第三章（去对象化与再对象化）。
- 《中论·观涅槃品第二十五》，T30, no. 1564, pp. 34c28、35b08、35c27 起。
- Udānapāḷi, Pāṭaligāmiyavagga, Tatiyanibbānapaṭisaṃyuttasutta（VRI 本 §73）；Itivuttakapāḷi 43（VRI 本）。
- Saṃyuttanikāya, Asaṅkhatasaṃyutta（SN 43），PTS 本 S IV 359–371；Jambukhādakasaṃyutta（SN 38.1），S IV 251。
- 《杂阿含》第四九〇、八九〇经（T0099 卷十八、卷三十一）；《如是语》44（nibbānadhātu）。
- Udāna-aṭṭhakathā 释 8.3（VRI 本）；《清净道论》XVI.67–74（Ñāṇamoli 译）。
- 《顺正理论》卷十七，T29, no. 1562, p. 428c；《大毗婆沙论》卷三十四，T27, no. 1545, p. 177a；《瑜伽师地论》卷五十，T30, no. 1579, p. 577b；《俱舍论》卷六，T29, no. 1558, p. 33c。
- K. R. Norman, "Mistaken Ideas about Nibbāna," The Buddhist Forum III (London: SOAS, 1994): 211–225。
- Richard Gombrich, What the Buddha Thought (2009)；Peter Harvey, The Selfless Mind (1995)；Thanissaro Bhikkhu, The Mind Like Fire Unbound (1993)；Steven Collins, Nirvana and Other Buddhist Felicities (1998) 1.2.c。
- Mervyn Sprung 译 Lucid Exposition of the Middle Way (1979)；Mark Siderits 与 Shōryū Katsura, Nāgārjuna's Middle Way (2013)；Jay L. Garfield, The Fundamental Wisdom of the Middle Way (1995)。