以一阶逻辑试释《因明正理门论》
一．前人的工作
因明是佛教理论的重要组成部分。[1]因明是梵语希都费陀(Hetuvidya)的意译，因指推理的依据，明即通常所说的学；因明，就是古代印度关于推理的学说。因明大致可分为古因明和新因明。陈那是新因明的代表人物，［2］《因明正理门论》是陈那的代表作，玄奘法师于公元649年译成汉文。
在文献[3]中，巫寿康先生以数理逻辑作为工具，来对因明论进行研究，得出了很多成果。但是不足之处有三点：1.巫先生使用的数理逻辑系统是怀德海和罗素所著的《Principia
Mathematica》中提出的，这本书是数理逻辑的一部集大成作，但是符号比较难懂，而且与现代数理逻辑的符号形式差别较大；2.巫先生使用的是命题逻辑，而命题逻辑在表达上比一阶谓词逻辑来得差；3.巫先生使用的数理逻辑系统是经典逻辑部分，但现在逻辑已经发展了分支众多的非经典逻辑，如构造主义逻辑，模态逻辑，认识逻辑等等。而且更为重要的是，我认为非经典逻辑更适于用来表示佛教逻辑。比如构造主义逻辑不承认～～A可以推出A，即A的双重否定并不是它本身。再如佛教逻辑也强调认识者在因明学中的作用，所以如果能引进认识逻辑来解释因明学，应该会更圆满，更能接近佛教逻辑的思想。
二．以一阶逻辑来解释因明正理门论
所以，本文将采用一阶谓词逻辑来对因明正理门论尝试进行解释。有一点要说明的是，本文对因明正理门论的理解主要参考了文献[4]，[3]和[1]的理解，可能存在理解上的误差。
2.1 《因明正理门论》的三支论式
《因明正理门论》的推理是使用三支论式，例如：
例1：
宗：声是无常
因：所作性故(所作：是造作出来的)
同喻：若是所作见彼无常，犹如瓶等；
异喻：若是其常见非所作，犹如空等。
用图可表示为：
图1 声是无常的三支表示法的图示
宗的主词称为宗有法，宗的宾词称作宗法。
我们定义如下符号：b为瓶，c为空，S(x)表示x是声音，P(x)表示x是无常的，Q(x)表示x是所作的，则上述的三支论式可表示为：
宗： x(S(x) →P(x))
因： x(S(x) →Q(x))
同喻： x(Q(x)→P(x)) ∧Q(b) ∧P(b)
异喻： x(～P(x) →～Q(x)) ∧～P(c) ∧～Q(c)
2.2 同品与异品
《因明正理门论》里说：若品与所立法邻近均等。说名同品。以一切义皆名品故。若所立无。说名异品。同品，就是与所立法同类的事物；异品则是与所立法异类的事物。一个争议是同品与异品是否包含宗有法？[3]巫先生认为同品是宗有法以外，和所立法同类的事物叫同品；异品则是和所立法异类的事物。[4]刚晓法师则认为同品是宗有法以外，和所立法同类的事物叫同品；异品则是宗有法以外，和所立法异类的事物。本文同意刚晓法师的说法，同品与异品皆不包含宗有法。
2.2.1 同品
同品，就是与所立法同类的事物。所有的同品构成了一个同品集，同品集可以符号化为：
M=｛x|P(x) ∧～S(x)｝
2.2.2 异品
异品则是与所立法异类的事物。所有异品构成了一个异品集，异品集可以符号化为：
N=｛x|～P(x) ∧～S(x)｝
注意：这里的M、N不是公式，而是表示集合。
2.3 因三相
因的第一相：遍是宗法性，用符号表示为 x(S(x) →Q(x))
因的第二相：同品定有性，用符号表示为 x(P(x) ∧～S(x)∧Q(x))
因的第三相：异品遍无性，用符号表示为 x(～P(x) ∧～S(x)→～Q(x))
2.4 九句因
《因明正理门论》说：又此一一各有三种。谓于一切同品有中。于其异品。或有。非有。及有非有。于其同品非有及俱。各有如是三种差别。即因和同品，异品的关系有如下九种。同品与异品是相对于宗法(如例1的无常性)而说的，所以九句因也可以表示为因与宗法的关系图，不过这里要注意到同品与异品的合集并没有构成全集，还要加入一个宗有法。以下的图示中，宗法圈内即为同品，宗法圈外即为异品，宗法圈上即为宗有法。因为九句因主要考虑的因与同品，异品的关系，所以我们可以不考虑宗法圈，而只考虑圈内与圈外。
2.4.1因于同品有，于异品有：
这时所有同品和异品都有因，故所有不是声音的事物都有因性，可以符号化为：
x(P(x) ∧～S(x)→Q(x)) ∧ x(～P(x) ∧～S(x)→Q(x))，即等价于 x(～S(x)
→Q(x))(注：与具体的系统有关)。
2.4.2 因于同品有，于异品非有
这时因与宗法重合，即因就是同品，如下图2。
图2
可以符号化为： x(P(x) ∧～S(x)→Q(x)) ∧ x(～P(x) ∧～S(x)→～Q(x))。
2.4.3因于同品有，于异品有非有
如下图3：
图3
可以符号化为： x(P(x) ∧～S(x)→Q(x)) ∧ x(～P(x) ∧～S(x) ∧Q(x)) ∧ x(～P(x)
∧～S(x) ∧～Q(x))。
2.4.4因于同品非有，于异品有
即因就是异品，如下图4：
图4
可以符号化为： x(P(x) ∧～S(x)→～Q(x)) ∧ x(～P(x) ∧～S(x)→Q(x))。
2.4.5因于同品非有，因于异品非有
这时所有同品和异品都没有因，故所有不是声音的事物都没有因性。可以符号化为：
x(P(x) ∧～S(x)→～Q(x)) ∧ x(～P(x) ∧～S(x)→～Q(x))，即等价于 x(～S(x)
→～Q(x))(注：与具体的系统有关)。
2.4.6因于同品非有，于异品有非有
如下图5：
图5
可以符号化为： x(P(x) ∧～S(x)→～Q(x)) ∧ x(～P(x) ∧～S(x) ∧Q(x)) ∧
x(～P(x) ∧～S(x) ∧～Q(x))。
2.4.7因于同品有非有，于异品有
如下图6：
图6
可以符号化为： x(P(x) ∧～S(x) ∧Q(x)) ∧ x(P(x) ∧～S(x) ∧～Q(x)) ∧
x(～P(x) ∧～S(x)→Q(x))。
2.4.8因于同品有非有，于异品非有
如下图7：
图7
可以符号化为： x(P(x) ∧～S(x) ∧Q(x)) ∧ x(P(x) ∧～S(x) ∧～Q(x)) ∧
x(～P(x) ∧～S(x)→～Q(x))。
2.4.9因于同品有非有，于异品有非有
如下图8：
图8
可以符号化为： x(P(x) ∧～S(x) ∧Q(x)) ∧ x(P(x) ∧～S(x) ∧～Q(x)) ∧ x(～P(x)
∧～S(x) ∧Q(x)) ∧ x(～P(x) ∧～S(x) ∧～Q(x)) 。
其中只有第二句和第八句才是正确的因。
三．结束语
本文采用一阶逻辑来对因明正理门进行尝试解释，目前工作还很粗糙，还有很多地方有待进一步地改进和完善。以后还可以尝试使用各种非经典逻辑来解释因明论，如使用构造主义逻辑，认识逻辑，模态逻辑等等。
参考文献：
[1]沈剑英.因明学简论.全国逻辑学讨论会论文选.1979
[2]陈那造，玄奘法师译.因明正理门论.大藏经
[3]巫寿康.《因明正理门论》研究.生活读书新知三联书店.1994.10
[4]刚晓法师.门论讲记.刚晓法师文集
2002年11月5日于厦门大学
