以一階邏輯試釋《因明正理門論》

　　一．前人的工作

　　因明是佛教理論的重要組成部分。[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))