因明部 · 入门论
《因明入正理论》
商羯罗主 造 · 唐 玄奘 译 · 公元 647 年
【经文选段】
"能立与能破，及似唯悟他；现量与比量，及似唯自悟。"
"如立宗言：声是无常。因云：所作性故。喻云：若是所作，见彼无常，譬如瓶等；若是其常，见非所作，譬如虚空。"
译：论辩有八义——「能立」「能破」及其相似者，作用在于开悟他人；「现量」「比量」及其相似者，作用在于自己觉悟。……立论范式如：主张（宗）「声音是无常的」；理由（因）「因为它是被造作出来的」；例证（喻）「凡被造作者皆见其无常，如瓶等〔同喻〕；凡常住者皆非被造作，如虚空〔异喻〕」。
【中文详解】
《因明入正理论》是陈那弟子商羯罗主为初学者所撰的因明纲要，玄奘于贞观二十一年译出，成为汉传因明的根本入门书。窥基为之作《大疏》，开唐代因明之学。
全论以「八门二益」统摄：能立、能破、似能立、似能破（悟他四门），现量、比量、似现量、似比量（自悟四门）。前四属论辩（对他），后四属认识（对自）。
核心是「三支作法」——宗（命题）、因（理由）、喻（例证兼通则）。相较古因明「五支」，陈那删去「合、结」而立三支，是印度逻辑的重大简化。「因」须具「三相」方为正因，否则堕入种种「似因」。
【跨学科联想】
与形式逻辑：三支近于「大前提＋小前提＋结论」，但关键差异在「喻」——它既给通则（若所作则无常）又给实例（如瓶），是「演绎＋归纳」的合体，非纯演绎。西方三段论到亚里士多德才成体系，陈那几乎同期在东方独立完成。
与AI推理：「似因」的分类是一套「谬误检测器」。大模型的推理链常犯「不定因」（理由与结论无必然联系）——因明的三相检验可作为校验推理链有效性的古典模板。
【生活实践】
传统场景：那烂陀寺辩经以三支立破。玄奘曾于曲女城无遮大会立「真唯识量」，悬之会场十八日，无人能破。
现代应用：写提案或下技术判断时，强制补全「三支」——我的主张（宗）是什么？理由（因）是什么？这理由是否满足「凡具此因者必有此宗」（同喻）、且「无此宗者必无此因」（异喻）？缺任一环，判断即不成立。这是对抗「拍脑袋决策」的利器。
【English Summary】
The Nyayapravesa ("Introduction to Logic") by Sankarasvamin, translated by Xuanzang in 647, is the foundational primer of Chinese Buddhist logic (yinming). It organizes reasoning into "eight gates and two benefits"—four for persuading others (thesis, refutation, and their fallacies) and four for one's own knowing (perception, inference, and their fallacies). Its heart is the three-membered proof: thesis (paksa), reason (hetu), example (drstanta), where a valid reason must satisfy three characteristics.
【每日一修】
「三支自检」：今日挑一个你脱口而出的判断（如「这个方案更好」）。补全三支：宗（结论）、因（理由）、喻（是否有「凡如此者皆如此」的通则与实例支撑）。若举不出反例排除（异喻），就承认这只是意见，不是论证。
因明部 · 陈那根本论
《因明正理门论》
陈那 造 · 唐 玄奘 译 · 公元 649 年
【经文选段】
"为欲简持能立能破义中真实故，造斯论。"
"宗法于同品，谓有非有俱；于异品各三，有非有及二。"
译：为了甄别、执持「能立」「能破」当中真正有效的部分，故造此论。……〔九句因〕：作为「宗之法」的「因」，在「同品」（与主张同类的事物）中有三种情况——有、非有、亦有亦非有；在「异品」（与主张异类的事物）中同样各分三种——如此交叉，共成九句。
【中文详解】
《因明正理门论》是陈那（约 480–540）本人的逻辑代表作，玄奘于贞观二十三年译出，与《入正理论》并称汉传因明二论。「正理门」即「进入正确推理的门径」。
本论最大贡献是「九句因」——把「因」在同品、异品中的分布穷举为九种组合，判定何者为正因、何者为似因。唯有「同品定有、异品遍无」（第二句与第八句）才是正因。这是一套机械的、可枚举的判定程序。
由九句因提炼出「因三相」：遍是宗法性（因遍于宗之主词）、同品定有性（同类中至少一例具此因）、异品遍无性（异类中绝无此因）。三相齐备，推理方为有效。
【跨学科联想】
与计算机科学：九句因是「同品｛有,无,俱｝×异品｛有,无,俱｝」的 3×3 组合枚举，本质是一张真值表／决策表——用穷举法判定推理有效性。这与现代逻辑的真值表方法、程序的分支覆盖同构。陈那在六世纪就用上了「组合枚举＋案例判定」。
与波普尔可证伪性：「异品遍无性」要求「凡非宗处必无此因」——不容许任何反例。这几乎就是可证伪性：论证的力量在于它排除了反例的存在。
【生活实践】
传统场景：陈那以九句因为标尺，逐一检验外道与部派的论式，剔除「不定因」，重铸印度逻辑。
现代应用：面对一个「相关性」主张（「用了这工具，效率就高」），套用「异品遍无性」反问——有没有「没用这工具、效率也高」的反例？只要存在反例，「工具→高效」便是「不定因」，相关不等于因果。这是数据时代辨别伪因果的手术刀。
【English Summary】
Dignaga's Nyayamukha ("Gateway to Logic," trans. Xuanzang, 649) is the founding treatise of Buddhist formal logic. Its signature innovation, the "nine reasons" (hetucakra), exhaustively enumerates a reason's distribution across similar and dissimilar instances (3×3), functioning as a decision table for validity. Only "present in similar cases, wholly absent in dissimilar cases" yields a valid reason—crystallized as the three characteristics of a sound hetu (trairupya), a sixth-century analog of the truth table and of Popperian falsifiability.
【每日一修】
「找异品」练习：今日对一条你相信的因果链（A 导致 B），主动去找「有 B 却无 A」和「有 A 却无 B」的反例各一个。找得到，说明这条因果不牢；找不到，你的信念才有资格升级为「正因」。
量论部 · 法称根本论
《正理滴论》
法称 造 · 公元 7 世纪 · 王森 据梵本汉译
【经文选段】
"正智为一切士夫诸义成就之先导，故当解说。此〔量〕复有二种，谓现量及比量。此中现量，离分别、不错乱。"
"三相者：谓于所比〔宗〕唯有性、同品定有性、异品遍无性。"
译：正确的认识（正智），是一切人达成种种目的的前提，故当阐明。认识（量）有二种：现量（直接知觉）与比量（推理）。其中现量的定义是「离分别、不错乱」——离一切概念分别，且无错乱。……（比量之因须具）三相：因必遍属所论主词、在同类中确定存在、在异类中绝对不存在。
【中文详解】
法称（约 600–660）是陈那之后印度量论的集大成者，《正理滴论》（Nyayabindu，「正理之滴」）是其纲要小品，梵本完整存世，为研究印度逻辑的枢要。
法称在陈那「现量离分别」上增一「不错乱」——不仅要离概念，还须无错乱（如翳眼见二月，虽离分别却是错乱，非真现量）。由此严格界定：真现量只把握「自相」（事物独一无二的当下实相），比量只把握「共相」（概念抽象的普遍相）。
「量唯二种」是因为「所量唯二」——自相与共相。凡认识不出此二类者，皆非正量。这是一套极简而严密的知识论框架。
【跨学科联想】
与神经科学：「现量离分别」对应感知的前概念阶段——初级感觉皮层的原始输入，尚未被概念范畴化；一旦「这是杯子」的概念介入，已属比量／共相。预测加工理论中「自下而上的感觉信号 vs 自上而下的概念先验」，与自相／共相之别惊人平行。
与认识论：法称把「知识」严格限定为「不错乱的直接经验＋有效的推理」，其余存疑——这与现代科学「实证观察＋逻辑推论」的双支柱几乎同构。
【生活实践】
传统场景：藏传格鲁派把《正理滴论》与《释量论》列为五部大论中的量论，僧人以之训练思辨，为学中观、唯识奠基。
现代应用：区分「你看到的」与「你以为的」。同事皱眉——「皱眉」是现量（自相），「他对我不满」是比量（共相，且常是错误比量）。刻意在二者间插入一道缝隙：先只承认现量，再谨慎推比量。这是化解人际误判与焦虑的认知手术。
【English Summary】
Dharmakirti's Nyayabindu ("A Drop of Logic," 7th c.) is the concise summit of Indian epistemology after Dignaga. It grounds all human purpose in valid cognition (pramana), of which there are exactly two: perception and inference—because the knowable is exactly two: the unique particular (svalaksana) and the abstract universal (samanyalaksana). Dharmakiti sharpens Dignaga's "perception is free of conceptual construction" by adding "and non-erroneous," excluding illusions that are non-conceptual yet false.
【每日一修】
「现量／比量分离」：今日一次情绪波动时，把它拆成两句：一句纯现量（「他没回我消息」——事实），一句比量（「他在生我气」——推论）。只对现量负责，把比量标注为「假设，待验」。你会发现，多数痛苦来自把错误比量当成了现量。
量论部 · 陈那 · 遣他品
《集量论·观遣他品》
陈那 造 · 法尊 据藏本汉译 · 20 世纪
【经文选段】
"「牛」声诠义，非亲诠牛之自相，唯由遮遣「非牛」而显。故声之所诠，唯是遣除他者所余之共相；自相则离于言诠。"
译（遣他理论大意）：「牛」这个词所表达的意义，并不正面直指牛那独一无二的自相，而是通过排除「非牛」（一切不是牛者）间接显现的。所以语言所能表达的，只是「遮遣他者」之后剩下的共相；至于事物的自相本身，则超出语言所能触及。〔出处：《集量论·观遣他品》apoha 遣他说〕
【中文详解】
「遣他」（anyapoha，又译「遮诠」）是陈那认识论最精微的一环，专门回答：概念／语言如何指涉对象？陈那的答案是否定式的——名言无法正面把握离言的自相，只能靠「排除其余」来划定意义。「牛」即「遮遣非牛」。
这引出「遮诠」与「表诠」之别。宗密《禅源诸诠集都序》说得最明白：「遮谓遣其所非，表谓显其所是；遮者拣却诸余，表者直示当体。」诸经说真如「不生不灭、不垢不净」，全是遮诠（层层否定），因实相离言，只能遮、不能表。
由此，一切概念知识本质上是「共相」的建构，是「划界排除」的产物，永远隔了一层，触不到自相的当下。这与中观「言语道断」、般若「无所得」在认识论上彻底会通。
【跨学科联想】
与机器学习：遣他几乎就是判别式分类（discriminative classification）的哲学原型——机器识别「猫」不靠正面定义猫的本质，而是学一条决策边界，把「非猫」排除在外。词向量更直白：一个词的意义由它与其他词的差异／对比决定，而非内在实体——正是「由遣他而显义」。
与结构语言学：索绪尔「语言中只有差异，没有正项」与遣他说跨越一千三百年遥相呼应——意义是关系性、否定性的，不是实体性的。
【生活实践】
传统场景：因明师以遣他说破外道「声论」（执词与实体本质相连）的执著，显示名言只是假立共相。
现代应用：当你给自己贴标签——「我是 i 人」「我不擅长管理」——记住：这些都是「遣他」划出的共相边界，不是你的自相。标签只说了「你不是什么」，从未真正说中「你是谁」。松开对标签的执实，正是从遮诠回归离言自相的一步。
【English Summary】
Dignaga's apoha ("exclusion") theory, expounded in the Apohaparaksa chapter of the Pramanasamuccaya, answers how concepts refer. The answer is negative: a word never positively grasps the ineffable particular; "cow" means only the exclusion of "non-cow." All conceptual knowledge is thus a boundary-drawing construction of universals, forever one step removed from the immediate particular. This anticipates discriminative classification in machine learning and Saussure's dictum that "in language there are only differences, without positive terms."
【每日一修】
「拆标签」练习：写下三个你常用来定义自己的标签。对每一个追问：它其实排除了什么（遣他）？那被排除的，真的与你无关吗？体会标签的「划界」性质——它是一道墙，不是你本人。
【深入思考】
一、陈那「现量离分别」与禅宗「不立文字、直指人心」，在认识论上是同一件事吗？
二者都指向「离言的直接经验／自相」，方向相通。但陈那是知识论的严格界定——现量是有效认识的一种，为比量、辩论奠基；禅宗是修证的当下体认——「直指」指向心性本觉，是解脱论而非知识论。一为「如何正确地知」，一为「如何当下地证」，层次不同而根脉相连：都承认最真实处非概念所能达。
二、若「遣他说」成立（名言只能遮、不能表），佛陀正面宣说真如功德庄严，如何可能？
关键在遮诠为主、表诠为辅，且落在二谛。就胜义谛，真如唯遮——「不生不灭」层层否定，堵死一切执实；就世俗谛，为引导众生，方便以表诠说净土庄严、佛德无量。表诠始终是「指月之指」，其效力靠听者自己越过语言、回到离言现量。故表而不执表，正是遣他说的应有之义。
三、因明「异品遍无性」与波普尔「可证伪性」真的等价吗？边界在哪？
结构高度相似——都靠「排除反例」来衡量论证／理论的强度。但取向相反：因明求「必然」，异品中一旦真的遍无，因即成立，是封闭的演绎判定；波普尔求「暂未被证伪」，任何理论永远可错、待新证据检验，是开放的归纳态度。因明的「遍无」是本体断定，波普尔的「未伪」是认识论谦逊。相似的形式，不同的知识观。
四、若 apoha 等于「判别式分类」，佛教是否会说：正面直取自相的「生成式」把握根本不可能，唯证悟现量才行？
对凡夫的概念心而言，正取自相确实不可能——一切命名、判断都是共相、都是遣他，AI 的分类与嵌入停留在这一层，再精也触不到自相。但佛教留了一个出口：圣者的「现量」与根本无分别智能亲证自相（如如而知，不隔一层）。故区别不在「生成 vs 判别」的算法，而在「概念 vs 现量」的认识模式——机器与凡夫同困于共相，唯修证能越出。