赵跃辰：七十空性论今诠 导读 1.逻辑与因明

导读

本书对《七十空性论》的讨论与诠释所使用的方法中,有相当大的比重是传统佛教经论解说中未曾使用的表述形式和知识。这些涉及物理、数学、集合论、逻辑、方法论等不同领域的内容,因读者知识结构各不相同,参差不齐,或许部分读者未全熟悉,为方便对颂文的讨论,将这些内容中比较重要、可能会影响阅读的部分,分为几个题目,集中在导读部分予以说明,以避免这些内容随颂文解说而产生的零乱与重复。这些内容深浅不一,熟悉该领域的读者可以径行跳过。

1. 逻辑与因明

推理是思辨的重要组成部分,一般是指从某些条件出发,经思维校验,最终判定结论的过程,此过程可以非常复杂。

逻辑学诞生于西方,经两千多年发展逐渐完善,成为现代认识论中基本推理要素之一,为现代读者所熟悉。西方推理的传统做法是,首先将推理过程分解为一步步最简推断形式的组合;继而用逻辑对每一步最简单形式的推断,校验其正误;最后统观全局保证整个推理过程没有错误。为此逻辑提供了一系列对最简推断形式的正误判定方法,例如正、逆、否以及逆否命题间关系,三段论推断格式等等。

另一方面在东方,特别是印度,发展了类似而不同的推理体系:因明。而佛教,特别是唯识学与晚期的中观学,大量地使用因明的推理形式作为判断正误的辅助手段。因明的基本结构是宗、因、喻三项。其中喻是具体案例,逻辑中不作为正式成分;宗,相当于逻辑中的结论。所以因明里推理的最主要的部分在因,故称因明。因与宗,对应于逻辑学的推理部分。

同是用来处理从条件到结论的推理过程,逻辑与因明有很多相似处,首先都涉及先决条件。

所谓先决条件是指,这些条件对推理部分来说被认为是不经检验先验正确的。尽管先决条件实际上的正确与否会从根本上影响结论的正确性,但判断这些条件的正确与否并不是推理部分的任务。就逻辑学来说,先决条件是明确给出的,以典型的三段论式为例,大前提与小前提是先决条件,而判断大小前提的正确与否,不是三段论式本身的任务。在正确的三段论推论过程完成后,如果结论明显错误,则可以回头对前提质疑。就因明来说,没有明确地标明使用了哪些先决条件,但因明推论是从共许出发,这些共许作为事实上的先决条件,其正确与否,也不是因明推理本身的任务。同样,如果推理无误,而结论明显错误,问题往往是隐藏在先验的共许上。显然,在先决条件的正确可靠方面,因明与逻辑是对等的。

就推理本身来看,因明与逻辑也有非常多的相似之处。一个逻辑推理过程可以经过简单包装,转化成因、宗的形式,再添加一个实例,则可以因宗喻三项构成完整的因明形式。而多数因明推理,也可以经过稍微复杂点的转换,写成逻辑的形式。

但因明与逻辑在其推理发展演化里有一处初看不太明显,实际却相当深刻的不同。在依先决条件判定结论的过程中,逻辑学有一个近乎苛刻的条件,即要求此结论绝无反例,也就是说,只要能找到一个符合前提却违背结论的例子,这样的逻辑推断就不能成立。符合上述要求的推断在逻辑上才是正确的,反之就是逻辑错误,即,不能保证结论正确。故而,逻辑对其推断过程给出了相对明确的,甚至可以机械化判定正误的标准。以三段论为例,在大小前提无误的先决条件下,在二百多种可能的三段论推断格式中,逻辑明确指出哪些格式可以保证结论正确,而其它格式不保证结论正确,这就将每步推断过程里的错误完全排除。但因明学的推理中,虽然在绝大部分情况下也符合逻辑正确的要求,但因为缺乏同样明确而严格的检错机制,即使共许条件是正确的,还是会发生推理本身出错误的情况。历史上,因明辩论中判定对错的主要形式是,辩论一方自己认负或者评判者判某方负。在大多数情况下这样的评判给出了正确结论,但也确实留下过错误。缘起法的原则之一是,任何事物都是由因缘条件和合而显现,故没有绝对。把这一原则用在推理方法上则可知,世界上不存在绝对、无条件正确、一切范围通用的推理方法。逻辑学在西方的发展过程里比较明确地划分了其成立与不成立、可用及不可用的范围,这是逻辑的优点。现代人如果要使用因明的形式,简易的办法就是使用逻辑推理,然后包装成因宗喻的形式。这样在知识背景、使用方便和避免错误三方面都更简洁明确而易用。