无得无说分

原文

白话

"须菩提，你怎么看？如来证得了无上正等正觉吗？如来有说过什么法吗？"

须菩提回答："照我对佛所说义理的理解，没有一个固定的法，可以叫作'无上正等正觉'；也没有一个固定的法，是如来所说的。为什么？如来所说的法，都不可执取、不可言说；它既不是'法'，也不是'非法'。这又是为什么？因为一切贤圣，都是依无为法而显出差别的。"

这一品在说什么

1. 佛把问题指向自己：我证得无上正等正觉了吗？我说过法吗？这是全经第一次把"无所得"的检验对象从菩萨换成佛本人。
2. 须菩提给出双重否定：没有一个定法叫菩提，也没有一个定法是如来所说。"得"与"说"这两件佛的根本事业，同时被消解。
3. 给出理由：如来所说的法不可取、不可说——它不是可以抓在手里的对象，也不是可以用语言完整传递的命题。
4. 进一步双遣："非法，非非法"。既不许把它当作实有之法，也不许因此落入"什么都没有"的断灭见。
5. 最后给出总原理：一切贤圣皆以无为法而有差别。圣者的高下之分，不在各自拥有不同的法，而在对同一个无为法证悟的深浅。

深度解读

第 7 品在全经论证结构中的位置很清楚。第 5 品破了佛的身相（"凡所有相，皆是虚妄"），第 6 品破了对法的执取，并在结尾埋下伏笔："不应取法，不应取非法""法尚应舍，何况非法"。第 7 品是对这条原则的极限测试：把它应用到佛自身最核心的两件事上——成佛（得菩提）和说法。如果连"佛得了菩提""佛说了法"这两个命题都不能成立为定说，那么"无所得"的原则就通过了最严苛的自洽性检验。

先看关键词。"阿耨多罗三藐三菩提"是梵文 anuttarā samyaksaṃbodhi 的音译：anuttara 是"无上"（没有更高的），samyak 是"正、遍"，saṃbodhi 是"正觉、圆满觉悟"，合起来即"无上正等正觉"，是佛所证的终极觉悟。佛的问题因此非常尖锐：这个终极觉悟，是一个可以被"得到"的东西吗？

须菩提的回答"无有定法"，藏着一个值得注意的翻译史细节。现存梵本此处作 nāsti sa kaścid dharmo yas tathāgatena anuttarā samyaksaṃbodhir ity abhisaṃbuddhaḥ——直译是"没有任何一个法，被如来证为无上正等正觉"，是彻底的否定；鸠摩罗什译为"无有定法"，加了一个"定"字，语气从"根本没有这样的法"缓和为"没有固定的法"。这一字之差开出了两条注释路线。一条顺着"定"字走，把重点放在教学法的灵活性上：惠能《金刚经口诀》说"祗缘对病设药，随机宜为说，何有定法乎"——法是对病之药，随机施设，本无定方；南怀瑾《金刚经说什么》也走这条线："认为念佛才是佛法，你错了；认为参禅才是佛法，你又错了"，佛法如因材施教，无一定之方。另一条更贴近梵本的彻底否定：菩提不是一个对象，"得菩提"这个及物动词结构本身就是错的——惠能说"阿耨多罗，非从外得，但心无能所即是也"，觉悟不是从外面获得一物，而是"能得的我"与"所得的物"这个二元结构本身的息灭。两条路线并不冲突，深浅不同：前者破"法有定相"，后者破"法可得"。

"不可取、不可说"对应梵文 agrāhya（不可执取）与 anabhilapya（不可言说）。惠能解释"不可取"是"恐人执著如来所说文字章句，不悟无相之理，妄生知解"——怕人抓住文字当真理本身。"非法，非非法"则是双遣：说它是"法"，就把它实体化了；说它是"非法"，又落入虚无。惠能给了一个极朴素的落点："口诵心不行即非法，口诵心行，了无所得，即非非法。"这不是逻辑游戏，而是对两种失败模式的同时封堵：执有与执无。

最后一句"一切贤圣，皆以无为法而有差别"是本品的总结论，也是最费解的一句。"无为法"（asaṃskṛta）指不由因缘造作、不生不灭之法，与一切有生有灭的"有为法"（saṃskṛta）相对。梵本此句作 asaṃskṛta-prabhāvitā hy āryapudgalāḥ，"贤圣皆由无为所显"。表面的悖论是：无为法离一切分别，何以反而成了差别的来源？印顺《般若经讲记》的解答最清晰：无为即"离一切戏论而都无所取的平等空性"，法本身平等一味、无有差别；差别不在法上，而在证悟者这一边——"众生所以有迷有悟……圣人所以有大有小，皆由对于实相的迷悟浅深而来"。惠能则从三乘根性上说："三乘根性，所解不同，见有深浅，故言差别。"换言之，声闻、缘觉、菩萨、佛的位阶差异，不是他们各自持有不同的真理，而是同一个无分别的真理，被以不同深度触及。真理是常量，差别是证量。

这样，第 7 品完成了一次漂亮的收束：法不可取、不可说，但并非无法可修、无圣可成——修证的阶梯依然存在，只是阶梯的刻度不刻在法上，而刻在离执的深浅上。这为后文"佛于然灯佛所，于法实无所得"（第 10 品、第 17 品）的展开预先立好了地基。

理工男视角

写给高级程序员

from typing import Protocol

class Attainable(Protocol):
    """凡可「得」者：可实例化、可持有、可转移进某个 owner 名下。"""
    def transfer_to(self, owner: "Agent") -> None: ...


# 修正：觉悟不是系统里的一份状态，而是系统满足的一个性质。性质没有实例。

def grasped_refs(mind: State) -> set[Ref]:
    """仍被强持有的引用：能取的我，与所取的法。"""
    ...

def bodhi(mind: State) -> bool:
    # 「无有定法，名阿耨多罗三藐三菩提」：
    # 谓词成立的那一刻，堆里没有新增任何对象——是减法完成，不是资产入账。
    return not grasped_refs(mind)

def teach(bug: type[Grasping]) -> Assertion:
    """「对病设药」：每次说法都是针对一类执取写下的断言。
    断言只是对性质的一次有损检查——「皆不可取、不可说」。"""
    ...

def rank(sages: list[State]) -> list[State]:
    # 「一切贤圣，皆以无为法而有差别」：
    # 差别是残余执取的多少，不是各自持有的真理数量。
    return sorted(sages, key=lambda m: len(grasped_refs(m)))

关键概念

金句

一切贤圣，皆以无为法而有差别。

如来所说法。皆不可取、不可说；非法，非非法。

参考资料