当人们在讨论”逻辑”时，几乎所有人都默认指向亚里士多德。三段论——所有人都会死，苏格拉底是人，所以苏格拉底会死——似乎就是逻辑的全部样貌。
但在一千五百年前的印度，一场同样深刻、同样严密的逻辑革命正在发生。它的主角是两位佛教僧人——陈那（Dignāga）和法称（Dharmakīrti）——而这场革命的遗产，至今仍然深刻影响着东方哲学的推理方式。
因明：不只是”逻辑”，更是”认知科学”
“因明”（Hetuvidyā）在梵文中意为”关于理由的科学”。但将因明学等同于”逻辑学”其实是一种翻译上的简化。因明学的核心问题是：什么构成有效的认知（pramāṇa）？ 这既是认识论问题，也是逻辑学问题。
陈那（约480-540年）被尊为”佛教逻辑之父”。他的革命性贡献在于：将传统的印度逻辑从一个基于类比和例证的系统，转变为一个严格基于”三相”（trairūpya）的推理系统。
什么是”三相”？以”声音是无常的，因为它是被造物”为例：
- 遍是宗法性：”是被造物”这个属性必须确实出现在”声音”这个主词中
- 同品定有性：”是被造物”这个属性只出现在”无常”这一类事物中
- 异品遍无性：”是被造物”这个属性绝不出现在”常”这一类事物中
这三相构成了一个推理有效性的完整检验标准，其严谨程度不逊于亚里士多德的三段论。
法称的激进化：从”逻辑”到”行动”
法称（约600-660年）将陈那的体系推向了更高层次。他提出：一个有效的推理不仅要在逻辑上正确，还必须能够驱动行动。如果一个人接受了”火会烧手”的推理但依然把手伸进火里，那么这个推理对他而言就”不成立”——因为真正的认知必然导致与之一致的行为。
法称还提出了著名的”比量”（anumāna）理论，把推理分为”自比量”（为自己推理）和”他比量”（为他人论证）。后者本质上是一种修辞行为——不仅要正确，还要能够说服他人。
与亚里士多德平行但不交叉
令人着迷的是，印度佛教逻辑与希腊逻辑几乎完全独立发展，却产生了许多相似之处：都有命题结构分析、都有推理有效性标准、都有形式化倾向。但差异也同样鲜明：
亚里士多德的核心单位是”命题”（S是P），陈那的核心单位是”理由”（S是P，因为有因H）。换言之，印度逻辑将推理过程本身纳入逻辑分析，而不仅仅分析推理的静态结构。此外，印度逻辑对否定（apoha，遮诠）的处理极为精妙——”牛”的概念不是正面定义”有角、四蹄、反刍”，而是负面定义”排除所有非牛”。这种”排除论”在西方哲学中直到20世纪才得到严肃关注。
因明学的当代遗产
1980年代以来，因明学在西方学术圈逐渐复兴。哲学家们发现，陈那和法称对”感知是否总是概念性的”、”语言如何指称对象”等问题的分析，直接关联当代现象学和分析哲学的核心议题。更有趣的是，因明学中的”遮诠”理论与索绪尔的结构语言学——意义来自差异而非本质——存在惊人的呼应。
对于今天的读者，因明学最有价值的遗产或许不是具体的技术工具，而是一种方法论自觉：在做出任何断言之前，先追问”你是凭什么知道的？”这恰恰是后真相时代最稀缺的精神资源。