0. 统一符号说明
- P：任何事物、概念、法
- 自性 (Svabhāva)：独立、恒常、不变的实体
- 空 (Śūnyatā)：无自性
- 缘起 (Pratītyasamutpāda)：依条件而生
- 世俗谛 (S)：现象、语言、经验真理
- 胜义谛 (P)：空性、究竟真理
- ¬：否定
- →：推出、蕴含
- ↔：等价、当且仅当
一、核心 10 偈・逐句・现代逻辑翻译
1. 皈敬颂（全书总纲）
不生亦不灭，不常亦不断，
不一亦不异，不来亦不出。
- 没有自性的生 → ¬∃P(P 自性生)
- 没有自性的灭 → ¬∃P(P 自性灭)
- 没有自性的常 → ¬∃P(P 自性常)
- 没有自性的断 → ¬∃P(P 自性断)
- 没有自性的一 → ¬∃P(P 自性一)
- 没有自性的异 → ¬∃P(P 自性异)
- 没有自性的来 → ¬∃P(P 自性来)
- 没有自性的出（去）→ ¬∃P(P 自性去)
逻辑结论：
一切概念若执自性，必自相矛盾；
实相 = 离一切自性见 = 中道。
2. 破生总纲（第 1 品）
诸法不自生，亦不从他生，
不共不无因，是故知无生。
- 不从自生：P 不能由 P 生（已有则不必再生）
- 不从他生：自、他相待而立，无独立 “他”
- 不从共生：自生、他生俱非，和合亦非
- 不无因生：否定无因而有
逻辑式：
自生 ⊥ ∧ 他生 ⊥ ∧ 共生 ⊥ ∧ 无因生 ⊥
→ 一切法无自性生。
3. 破运动（第 2 品核心）
已去无有去，未去亦无去，
离已去未去，去时亦无去。
- 已走过：动作已完成，无 “去”
- 未走过：动作未开始，无 “去”
- 正去：依赖 “已去”“未去”，无独立自体
逻辑结构：
穷尽时间三态：过去、未来、现在
→ 每一态中 “去” 皆不可得
→ 运动无自性。
4. 空 = 假名 = 中道（第 24 品・最核心定义）
众因缘生法，我说即是空，
亦为是假名，亦是中道义。
- 因缘生法 = 缘起法
- 缘起法 ↔ 空（无自性）
- 空 = 假名安立（现象存在）
- 不执有、不执无 = 中道
逻辑等式：
缘起 ↔ 空 ↔ 假名 ↔ 中道
5. 空才能成立一切法（第 24 品・全书理论基石）
以有空义故，一切法得成；
若无空义者，一切不成。
- 若有空（无自性）→ 缘起、变化、因果可行空→一切法可能
- 若无空（有自性）→ 独立不变 → 不能缘起¬空→一切法不可能
最强逻辑公理：
自性 = 封闭、孤立、不变 → 世界不可能
空 = 开放、相依、变化 → 世界得以成立
6. 依俗谛入真谛（第 24 品・认识论核心）
若不依俗谛，不得第一义；
不得第一义，则不得涅槃。
- 不依世俗语言、现象（S）→ 不能说胜义（P）¬S→¬P
- 不证胜义 → 不证涅槃
逻辑定位：
二谛不是两个真理，是同一真理的两层表达。
7. 破自性即破一切见（第 15 品）
性若是作者，云何有因缘？
性若无因缘，说何为自性？
- 自性 = 不依他 → 与 “因缘” 矛盾
- 现实一切皆因缘 → 无自性
逻辑短刀：
缘起 ↔ ¬ 自性
二者严格互斥。
8. 我与五蕴非一非异（第 18 品）
非阴非离阴，
此彼不相在，
如来不有阴，
何处有如来？
（“阴”= 五蕴，可代指任何主体与对象）
- 我 ≠ 五蕴
- 我 ≠ 离五蕴
- 我不在五蕴中，五蕴不在我中
- 我不拥有五蕴
逻辑结论：
主体不可得、自性不可得。
9. 涅槃即世间（第 25 品・最高结论）
涅槃与世间，无有少分别；
世间与涅槃，亦无少分别。
- 涅槃 = 无自性
- 世间 = 无自性
- 从胜义看，二者体性同一
逻辑式：
涅槃=空性
世间=空性
→ 涅槃=世间（胜义层面）
10. 一切邪见根源（第 27 品总结）
一切法空故，何有边无边，
亦边亦无边，非边非无边？
对任何终极问题：
有、无、亦有亦无、非有非无
→ 四句全破
终极逻辑：
空性中，一切自性化问题本身不成立。
二、10 偈终极逻辑总图（可直接放论文）
- 一切法：不生、不灭、不常、不断、不一、不异、不来、不去
- 生：不自生、不他生、不共生、不无因生 → 无生
- 运动：已去、未去、去时皆不可得
- 定义：缘起 ↔ 空 ↔ 假名 ↔ 中道
- 公理：空 → 一切法得成；有自性 → 一切不成
- 认识：依俗谛 → 得胜义 → 得涅槃
- 原理：缘起 ↔ 无自性
- 主体：我与五蕴非一非异 → 无我
- 境界：涅槃 = 世间（空性同一）
- 方法：四句全破 → 离言中道