●黃 翔

一、問題緣起

推理(reasoning)通常被定義為這樣一種認(rèn)知過程(cognitive process):在這個(gè)過程中，認(rèn)知主體從被稱作為前提的一組信息集合，推導(dǎo)(infer)出被稱作為結(jié)論的另一組信息集合。因此，推理由三個(gè)部分組成:推導(dǎo)過程(inference)、前提(premise)即原始信息、結(jié)論(conclusion)即推導(dǎo)出的信息。主導(dǎo)西方思想界的看法是，推理的規(guī)范性原則是邏輯規(guī)則，因?yàn)檫壿嬙瓌t規(guī)定了結(jié)論從前提推出來(lái)的有效性(validity)。由于邏輯研究只著眼于推理規(guī)則的形式問題，而與前提和結(jié)論的內(nèi)容無(wú)關(guān)，因此，推理的有效性只依賴于其邏輯形式的正確運(yùn)用。就是意味著，只要推理結(jié)構(gòu)在形式上正確，其結(jié)論的導(dǎo)出就是在邏輯上有效的，而不論其前提是否為真。這樣，推理的規(guī)范性問題就完全歸結(jié)為形式邏輯規(guī)范。在本文中，我將這種理解推理方式稱為“形式主義理解方式”。推理的形式主義理解方式的規(guī)范性除了與推理內(nèi)容無(wú)關(guān)這個(gè)特點(diǎn)外，還有一個(gè)重要的特點(diǎn)，即與境況無(wú)關(guān)。這就是說(shuō)，推理產(chǎn)生和操作的具體背景和心理?xiàng)l件都與推理的有效性無(wú)關(guān)，無(wú)法影響對(duì)推理優(yōu)劣的判斷。

形式主義理解方式是二十世紀(jì)邏輯史研究所采用的基本方式。內(nèi)爾夫婦(Kneale and Kneale)和波亨斯基(Bochenski)的形式邏輯史研究是典型的例子。①William Kneale．a(chǎn)nd Martha Kneale．The Development of Logic，Oxford:The Clarendon Press，1962;Bochenski，I．M．Formale Logik，Verlag Karl Alber，F(xiàn)riburgo/Munich，1956．他們將邏輯史解釋為前人如何努力地將推理的邏輯形式發(fā)展到現(xiàn)代邏輯的過程。從現(xiàn)代邏輯的視角出發(fā)，他們?cè)噲D確定某種現(xiàn)代邏輯的觀念是在哪一歷史時(shí)刻被有意識(shí)或無(wú)意識(shí)地“發(fā)現(xiàn)”，并以此來(lái)衡量古人的成就。西方研究古代印度的邏輯發(fā)展史也多持此方法。二十世紀(jì)早期的研究，如基思(Keith)②Keith，A．B．Buddhist Philosophy in India and Ceylon，Oxford，1923．，蘭德爾(Randle)③Randle，H．N．Indian Logic in the Early Schools，London:Oxford University Press，1930．和舍爾巴茨基(Stcherbatsky)④Stcherbatsky，F(xiàn)．Th．Buddhist Logic，Bibliotheca Buddhica XXVI，Leningrado，2 vols，1930-1932．，均言稱古印度哲學(xué)流派發(fā)展出類似三段論的推理理論。波亨斯基認(rèn)為，古印度哲學(xué)自勝論和正理論中產(chǎn)生出形式邏輯，經(jīng)由正理論的發(fā)展，到佛教學(xué)者陳那和法稱手中逐漸發(fā)展為與三段論同等效力的謂詞邏輯。在此過程中，邏輯蘊(yùn)涵的概念，否定關(guān)系的理論和某種初級(jí)的關(guān)系邏輯得到了十分有趣的發(fā)展。他同時(shí)也對(duì)比了印西兩種形式邏輯體系的一些區(qū)別，如印度邏輯沒有發(fā)展出變量的概念因而沒有量詞;只發(fā)展出謂詞邏輯而缺乏命題邏輯;傾向于內(nèi)涵處理方向，因而最終產(chǎn)生了一套與西方形式邏輯很不相同的體系等。①二十世紀(jì)下半葉，西方對(duì)印度邏輯的研究已對(duì)形式主義理解方式有所反省。學(xué)者們?cè)谑褂梦鞣竭壿嫺拍罱庹f(shuō)印度邏輯時(shí)一般都相當(dāng)謹(jǐn)慎，并不急于判斷某一印度推理理論相當(dāng)于某一西方邏輯理論或體系，而是集中于運(yùn)用一些西方邏輯概念去幫助今日的讀者去理解印度推理理論中的技術(shù)問題(比如Bharadwaja，Vijay．“Logic and Language in Indian Philosophy”in Companion Encyclopedia o Asian Philosophy，Brian Carr and Indira Mahalingam(eds)，London and New York:Routledge，1997，pp．208 226;Bhatt，S．R．“Logic and Language in Buddhism”in Companion Encyclopedia of Asian Philosophy，Brian Carr and Indira Mahalingam(eds)，London and New York:Routledge，1997．pp．372 390．)。

本文論證這種建立在形式主義理解方式之上對(duì)古代印度邏輯的重構(gòu)有其局限性。通過對(duì)陳那推理理論的分析，我們可以看到，西方的各類形式邏輯，古典的三段論也好，現(xiàn)代的各類邏輯也好，盡管有助于我們理解古代印度推理理論中很多技術(shù)性問題，但不能說(shuō)明其中所有的規(guī)范性。因此，以西方形式邏輯來(lái)討論和評(píng)價(jià)古代印度推理理論，或者將某一古代印度推理理論還原為某一西方形式邏輯模型的研究方式只是一種啟發(fā)性的(heuristic)方法，而不能全面地說(shuō)明古代印度推理理論。②這里的還原是指如下過程:理論甲被還原為理論乙，當(dāng)且僅當(dāng)，1)甲中的所有理論概念都可以被乙中概念定義;2)甲中的所有規(guī)則可從乙的規(guī)則中推出。利用西方形式邏輯理解古代印度推理理論中的技術(shù)問題的方式應(yīng)該是多元的，其目的是為了從不同視角來(lái)考察和理解古人在面對(duì)認(rèn)知和推理困境中的處理智慧，實(shí)為哲學(xué)和哲學(xué)史研究一個(gè)極為值得開拓的和深入的領(lǐng)域。本文第二節(jié)，首先簡(jiǎn)介波亨斯基以形式主義理解方式處理印度邏輯和陳那推理理論的基本觀點(diǎn)。第三、第四節(jié)中提出陳那的推理理論無(wú)法被完全還原為形式邏輯在辯論背景和知識(shí)論層面上的原因。第四節(jié)特別討論了陳那推理理論不是演繹推理的一些理由，并以此提出我對(duì)陳那推理的一些看法。

二、波亨斯基對(duì)印度邏輯的形式主義重構(gòu)

波亨斯基在其《古代形式邏輯史》一書中單為印度邏輯史開辟一章。他本人并不是古印度邏輯的專家，但在這一章里，他以邏輯學(xué)家的敏銳目光對(duì)該領(lǐng)域?qū)＜覀兊某晒鞒鼍C合性研判，極可代表形式主義理解的處理方式在二十世紀(jì)上半葉對(duì)古印度邏輯思想發(fā)展的研究成果。

在波亨斯基看來(lái)，早期佛教經(jīng)典如《論事》(kath vatthu)中所記載的論辯過程、耆那教論師波陀羅拜呼(Bhadrab du，公元前4—前3世紀(jì))的論著中，已可清晰地分辨出一些原始的邏輯概念，即一些與推理規(guī)范相關(guān)的概念。而在《勝論經(jīng)》和《正理經(jīng)》中，形式邏輯的初步討論開始出現(xiàn)。在介紹正理論的五支作法的時(shí)候，波亨斯基就將其與三段論作出對(duì)比。首先，五支作法的例子為:

(N1)宗(命題):此山有火。

(N2)因(理由):以有煙故。

(N3)喻(例證):如灶，而不如塘。

(N4)合(應(yīng)用):此山亦如是。

(N5)結(jié)(結(jié)論):此山有火。①波亨斯基的重構(gòu)建立在《正理經(jīng)》I．1．32—I．1．39，及富差耶那(V tsy yana，約公元 4—5 世紀(jì))的注疏之上。

波亨斯基對(duì)此評(píng)論說(shuō)，熟悉西方邏輯的讀者會(huì)對(duì)此論式感到奇怪。但是，如果不用柏拉圖式的二分法，而是用辯論式的方法來(lái)得出結(jié)論的話，這個(gè)論式就會(huì)不會(huì)顯得奇怪了。他接著說(shuō):“在辯論方式中，上述論式極為自然:

A:我認(rèn)為P是S的狀態(tài)(N1)。

B:為什么?

A:因?yàn)镸 是S的狀態(tài)(N2)。

B:這又有什么關(guān)系呢?

A:你看:X即是M又是P的狀態(tài);而Y即無(wú)M又無(wú)P的狀態(tài)(N3)。而我們現(xiàn)在也是這樣(N4)。因此，P是S的狀態(tài)(N5)。我們的‘三段論’也正是具有這樣的形式。”②Bochenski，I．M．Formale Logik，Verlag Karl Alber，F(xiàn)riburgo/Munich，1956;Versión en catellano:Historia de la lógica formal，trad．Mill n Bravo Lozaon，Gredos，Madrid，1968/1985，446．用波亨斯基這個(gè)論式討論山有火例，只需將符號(hào)如此代入:S=山;P=火;M=煙;X=灶;Y=塘。

以這種方式波亨斯基把五支論式與三段論做了比較。盡管五支作法在表面上具有三段論的形式，但在本質(zhì)上仍然不是三段論。原因在于五支作法中沒有全稱命題，它的推理理由建立在一個(gè)事件與另一個(gè)事件的比較之上，因而，從本質(zhì)上來(lái)說(shuō)，它只能是一個(gè)類比推理。缺乏全稱命題的概念，是早期印度邏輯無(wú)法達(dá)到三段論水準(zhǔn)的根本原因。

正是陳那的三支作法，以及法稱的創(chuàng)造性的解釋解決了全稱命題的困難，并最終在印度建立起與三段論等值的形式邏輯。在波亨斯基看來(lái)，這個(gè)革命性過程經(jīng)歷如下幾個(gè)關(guān)鍵性步驟:

1)世親(Vasubandhu，約4—5世紀(jì))引入建立在具體例子之上的因三相;

2)陳那(Dign ga，約440—520)的因三相和因輪論給出因三相的形式理論，最終被烏地阿達(dá)克拉(Uddyotakara，約6世紀(jì))的正理派接受。

3)陳那區(qū)分“為自”(sva-artham)和“為他”(para-artham)兩種推理。

4)法稱(Dharmakirtti，約600—680)對(duì)因三相中“惟”(eva)的解釋使全稱命題成為可能。

5)耆那教邏輯，彌曼查派邏輯和新正理邏輯先后接受了“無(wú)其他形式”(anyath nupapannatva)和“蘊(yùn)涵”(vy pti)兩概念，使推理最終成為演繹邏輯。①Bochenski，I．M．Formale Logik，Verlag Karl Alber，F(xiàn)riburgo/Munich，1956，pp．447 448．

在波亨斯基看來(lái)，阻礙古正理和古因明的推理理論成為與三段論等值的形式邏輯主要有兩個(gè)障礙:第一，在形式上，五支作法仍然是一個(gè)辯論模型，其中N4和N5兩支是辯論背景所要求的，并不是邏輯上所需要的。因而，五支作法并不是形式邏輯，即還不能成為與推理內(nèi)容、推理背景和推理心理過程無(wú)關(guān)的邏輯規(guī)范。第二，古正理和古因明缺乏全稱命題的概念，因而結(jié)論需要通過具體的例子，而不是演繹邏輯中的蘊(yùn)涵關(guān)系來(lái)獲得支持。在波亨斯基指出的五個(gè)革命性步驟中，1)和2)兩步克服了第一個(gè)障礙，4)和5)克服了第二個(gè)障礙。步驟3)與此無(wú)直接關(guān)系，但標(biāo)志了印度邏輯從古到新轉(zhuǎn)型時(shí)的一個(gè)特點(diǎn)。從陳那之后，為自推理和為他推理的區(qū)分成為印度各派推理理論的共識(shí)。

在這個(gè)轉(zhuǎn)型過程中，陳那的推理理論最重要的貢獻(xiàn)是其因三相和因輪論給出三支作法的形式邏輯的解釋，使得三支作法成為與推理內(nèi)容、推理背景和推理心理無(wú)關(guān)的邏輯規(guī)范。任何人的推理，只要滿足因三相和九句因，就應(yīng)該被看成是有效的。這個(gè)形式邏輯的處理使得印度邏輯朝著三段論的方向大步前進(jìn)。但是，由于陳那沒有探討全稱命題這個(gè)障礙，他的推理理論仍然需要使用同、異品中的具體例子，來(lái)論證宗和因的不可分離性。因此，與三段論的形式邏輯還差最后一步。而最后的一步由法稱的“惟”(eva)引領(lǐng)，并由其他學(xué)派的共同努力而完成。

波亨斯基這種形式主義理解方式在具體技術(shù)細(xì)節(jié)上是否正確，不是我想在這里討論的。我所關(guān)注的是形式主義理解方式本身。在我看來(lái)，這種用西方形式邏輯來(lái)解釋印度古代推理理論有其局限性。西方形式邏輯盡管有助于當(dāng)代讀者理解某些印度古代推理理論的某些技術(shù)性問題，但常常無(wú)法說(shuō)明很多其他的重要問題。因此，將某一印度古代推理理論還原為某種西方形式邏輯的做法常常會(huì)導(dǎo)致對(duì)該推理理論的誤解。他對(duì)陳那推理理論的解釋就是這種誤解的一個(gè)例子。陳那的推理理論在許多方面都無(wú)法還原為西方形式邏輯，包括三段論。波亨斯基把這些方面看成是陳那在發(fā)展與三段論等值的形式邏輯時(shí)所遇到的困難，這些困難最終被后來(lái)的學(xué)者逐步克服。本文接下來(lái)試圖論證，陳那推理理論中不可還原到西方形式邏輯的那些因素，對(duì)于理解陳那的推理理論和他的哲學(xué)關(guān)懷來(lái)說(shuō)是必要的部分，而不是困難。理解這些因素對(duì)理解陳那的哲學(xué)也是至關(guān)重要的。形式主義理解方式不能說(shuō)明陳那推理理論中很多問題，盡管陳那的推理理論在客觀上有助于古代印度形式邏輯的發(fā)展。

三、辯論背景及其心理過程

陳那的推理理論中起碼有三個(gè)方面無(wú)法還原為西方形式邏輯。本節(jié)討論前兩個(gè)，下節(jié)討論第三個(gè)。第一個(gè)不可還原的方面其實(shí)是大家熟知的，不過，沒有被真正嚴(yán)肅地對(duì)待，這就是論辯層面上的規(guī)范。由于這些規(guī)范涉及了具體推理運(yùn)用的背景，所以，無(wú)法還原為形式邏輯。論辯背景是印度古代推理理論共有的背景。站在形式主義理解方式的立場(chǎng)上看，陳那的推理理論似乎可以看成是逐步脫離論辯背景，進(jìn)而走向形式邏輯的努力。陳那對(duì)古正理和古因明的墮負(fù)論作出簡(jiǎn)化和整理后，其論辯成分有所減少，而邏輯性質(zhì)突顯出來(lái)。但這并不意味著論辯因素在陳那的推理規(guī)范中消失，因?yàn)楣乓蛎髦械脑S多過失都不是對(duì)因三相的違反。沈劍英對(duì)此作出了十分清晰分析。他把屬于違反因三相的過失稱為對(duì)于語(yǔ)法規(guī)則的違反，而不屬于違反因三相的過失分別歸為對(duì)語(yǔ)義規(guī)則的違反和對(duì)語(yǔ)用規(guī)則的違反。其中，語(yǔ)法規(guī)則的問題可歸結(jié)為形式邏輯問題，而語(yǔ)義規(guī)則和語(yǔ)用規(guī)則的問題就屬于論辯背景和論辯中知識(shí)背景的問題，不能歸結(jié)為形式邏輯問題，卻仍然是陳那推理理論中不可缺少的規(guī)范性問題。①沈劍英:《新因明的公理、規(guī)則和過失論》，《佛家邏輯叢論》，蘭州:甘肅民族出版社，2011年，第41—61頁(yè)。對(duì)陳那形式主義理解的一個(gè)后果就是在判斷陳那推理理論的性質(zhì)時(shí)，把語(yǔ)法規(guī)則和語(yǔ)義和語(yǔ)用規(guī)則分開，只討論前者中可被形式化的規(guī)范，而基本上忽略后者中不能形式化的規(guī)范。陳那的理論因此被簡(jiǎn)化甚至被扭曲。

我們不妨對(duì)此作一些更加明晰的解說(shuō)。陳那的為自比量和為他比量的區(qū)分已經(jīng)意味著論辯背景的介入。與為自比量不同，為他比量是在兩個(gè)論辯對(duì)手P1和P2之間進(jìn)行。在論辯中，P1提出一個(gè)不被 P2接受的看法，即宗(siddh nta);而P1援用P2可以接受的理由，即因(hetu)，向P2展示宗是可以被合理地辯護(hù)的，因此，也是P2應(yīng)該接受的。盡管一個(gè)無(wú)過的為他比量中的因是P1和P2共同接受的，而且無(wú)過的因應(yīng)該導(dǎo)致P2同意P1所提出的宗是可以被接受的，立敵雙方對(duì)因的認(rèn)知過程(cognitive procedure)是很不相同的。因?qū)τ赑1來(lái)說(shuō)是讓對(duì)手醒悟的工具，被稱作生因，而因?qū)τ赑2來(lái)說(shuō)是理解P1所立宗的工具，被稱為了因。陳那推理理論中的許多語(yǔ)義規(guī)則都是為了這種不同的心理背景而設(shè)立的。如，宗必須是P1所許而P2所反對(duì)的，而組成宗的兩個(gè)宗依和因法又必須是P1和P2共許的。這些都是因明研究者所熟悉的，本無(wú)需贅言。我只想強(qiáng)調(diào)，形式主義的理解方式無(wú)法說(shuō)明這些不可被形式化的論辯背景和心理背景，以及與其相應(yīng)的語(yǔ)義和語(yǔ)用規(guī)則。因此，有支離陳那推理理論中的過失論的危險(xiǎn)。就是說(shuō)，對(duì)于違反語(yǔ)法規(guī)則的過失，可以當(dāng)作邏輯謬誤(fallacy)來(lái)處理，而對(duì)于語(yǔ)義和語(yǔ)用過失則缺乏處理手段。

陳那推理理論無(wú)法還原為西方形式邏輯的第二個(gè)方面，是對(duì)推理方向的特別要求。在陳那包括大多數(shù)印度古代推理理論中，都是立方先給出結(jié)論即宗，然后再給出理由即因來(lái)支持結(jié)論。我們?cè)谏厦婵吹剑@是由論辯背景和辯論對(duì)手P1和P2的心理認(rèn)知背景所決定的。而在三段論中，推理方向沒有特別要求。無(wú)論是從前提到結(jié)論，還是從結(jié)論到前提，只要具備有效性即可被接受。其實(shí)，這是形式邏輯的一個(gè)特點(diǎn)，即兩命題A和B之間的邏輯關(guān)系，從A到B的方向和從B到A的方向來(lái)說(shuō)是一樣的。因此，從形式主義理解方式出發(fā)，所謂推理方向是推理過程中的心理因素，并不是邏輯討論的對(duì)象，因而不應(yīng)該成為理解一個(gè)推理理論的因素。

但是，把推理時(shí)的心理因素拋開的形式理解方式是值得懷疑的，其原因在于推理過程中很多極為重要的因素不能完全被邏輯或數(shù)學(xué)規(guī)范來(lái)說(shuō)明，因此，盡管心理因素不是邏輯所討論的對(duì)象，但并非與理解某一推理理論無(wú)關(guān)。而推理方向這個(gè)問題正是其中一重要問題。為了說(shuō)明這點(diǎn)，讓我舉個(gè)當(dāng)代哲學(xué)的例子。達(dá)米特(Michael Dummett)在“演繹的辯護(hù)”一文中區(qū)分了兩種論證:說(shuō)服性論證(suasive argument)和說(shuō)明性論證(explanatory argument)。前者的目的在于說(shuō)服自己或他人接受某一結(jié)論，而后者的目的是為了探索我們已經(jīng)接受了的信念的理由。這兩種論證的推理方向是不一樣的:

說(shuō)明常常采用建構(gòu)演繹論證的形式，論證的結(jié)論是表達(dá)需要被說(shuō)明的事實(shí)的一個(gè)語(yǔ)句:但是，與在說(shuō)服性論證中不同，在說(shuō)明性論證里，知識(shí)論方向(epistemic direction)可與推向邏輯后果的方向相反。在說(shuō)服性論證中，知識(shí)論方向必須與推向邏輯后果的方向一致:它的論證前提必然地是說(shuō)服對(duì)象認(rèn)為為真的命題，這樣才能使他接受結(jié)論為真。而說(shuō)明的特點(diǎn)是，在其中論據(jù)的結(jié)論是事先給出的;而相信說(shuō)明性論證中前提的唯一原因很有可能是這些前提給出了結(jié)論為真的最好的說(shuō)明。①Dummett，Michael．“The Justification of Deduction”，Truth and Other Enigmas，London:Duckworth，1978，p．296．

說(shuō)明性論證和說(shuō)服性論證完全可以被同樣的形式邏輯來(lái)表達(dá)，然而，兩者的認(rèn)知功能和推理中的知識(shí)論方向是不同的，因此，其中的推理方向問題也就成為理解和區(qū)別這兩種論證的至關(guān)重要的問題?；氐轿覀儗?duì)陳那的推理理論討論中，就不難看出其中的推理方向也同樣牽扯到相應(yīng)的認(rèn)知功能和知識(shí)論方向的問題。這些問題包括:P1立宗但不被P2認(rèn)同，P1為了給出P2認(rèn)同的因，檢查同喻、異喻等認(rèn)知過程。這些問題并不是只考慮命題A和B之間的邏輯關(guān)系的形式邏輯所研究的對(duì)象，但是，就像達(dá)米特所展示的例子那樣，它們卻是理解陳那推理理論至關(guān)重要的問題。

四、因三相不是演繹推理

我想討論的第三個(gè)陳那的推理理論不可還原為西方形式邏輯的理由，它與大家所熟知的同、異品須除宗有法這個(gè)論據(jù)相關(guān)。根據(jù)這個(gè)論據(jù)，如果陳那的因三相中的同、異品須除宗有法，那么，就不是演繹推理。國(guó)內(nèi)對(duì)這個(gè)論據(jù)支持和反對(duì)的態(tài)度都有，我個(gè)人對(duì)此采取支持態(tài)度。但是，我在這里并不想提供更多的支持這個(gè)論據(jù)的理由。①陳大齊:《印度理則學(xué)》，臺(tái)北:中華文化出版事業(yè)委員會(huì)，1952年。陳大齊對(duì)同、異品需除宗有法的理由給出了非常清晰的表述。國(guó)外贊同同、異品除宗有法的研究以海耶斯(Hayes，Richard P．Dignaga on the Interpretation of Signs，Dordrecht/Boston/London:Kluwer Academic Publishers．1988．)為代表。鄭偉宏:《因明大疏校釋、今譯、研究》，上海:復(fù)旦大學(xué)出版社，2010年。鄭宏偉對(duì)《大疏》中相關(guān)問題作了詳細(xì)的梳理。而是想提出一個(gè)更強(qiáng)的觀點(diǎn)。支持此論據(jù)的學(xué)者傾向于認(rèn)為如果同、異品不除宗有法，陳那的推理就是演繹推理。而我卻認(rèn)為，即使同、異品不除宗有法，陳那的推理也不是演繹推理，因?yàn)樗恼軐W(xué)不允許。

為了說(shuō)明這點(diǎn)，讓我們先看看為什么有學(xué)者傾向于認(rèn)為，如果同、異品不除宗有法，陳那的推理就是演繹推理的原因。他們一般這樣理解因三相:所謂“遍是宗法性”是說(shuō)宗命題中的主語(yǔ)(有法)周遍地(即全部而非部分地)具有因的屬性。如果像波亨斯基那樣，借用三段論的大詞、中詞和小詞的概念和符號(hào)，以S表示宗有法，P表示所立法，以M表示因法，那么，它可寫成:

(R1)( x)(Sx→Mx)而“同品定有性”是說(shuō)，定然存在著即具有所立法所述性質(zhì)(即同品)，也具有因法所述性質(zhì)的例子。如果同品需除宗有法，這條規(guī)則可寫為:

至于“異品遍無(wú)性”是說(shuō)，不存在與所立法中所述性質(zhì)不同者(即異品)，也具有因法所述性質(zhì)的例子。如果異品需除宗有法，這條規(guī)則可寫成:

在這里，(R1)、(R2)和(R3)無(wú)法演繹地推出三段論的結(jié)論( x)(Sx→Px)。①證明可見湯銘均:《陳那、法稱因明的推理理論—兼論因明研究的多重視角》，復(fù)旦大學(xué)博士學(xué)位論文，2010年，第40—42頁(yè)。但是，如果不要求同、異品除宗有法，(R3)就可以寫成:

與其等值的是:

與其等值的是:

(R1)與(R3'')就可以演繹地推導(dǎo)出三段論的結(jié)論( x)(Sx→Px)，甚至不用考慮因三相中的第二相。這也是引起一些學(xué)者懷疑第二相是否多余的根本原因。

但是，即使同、異品不除宗有法，以(R3')的命題形式去表達(dá)“異品遍無(wú)性”，卻是陳那的哲學(xué)所不能允許的。(R3')是說(shuō)異品，即與所立法中所述性質(zhì)不同者，都不具有因法的性質(zhì)。在(R3')中的異品，包括所有的異品，即不僅包括:

Y1)立敵雙方P1和P2在辯論之前所觀察到的所有的異品，也包括:

Y2)立敵雙方P1和P2在辯論之前所未能觀察到的所有的異品，還包括:

Y3)立敵雙方P1和P2在辯論之后所能觀察和不能觀察到的所有的異品。即在(R3')中，異品包括獨(dú)立于立敵雙方P1和P2的辯論背景的，存在于世界上所有的與所立法中所述性質(zhì)不同者。而陳那的“異品遍無(wú)性”不僅無(wú)法獨(dú)立于辯論背景，而且陳那的哲學(xué)也不允許因三相中的異品包括Y3)的可能性。

陳那的瑜伽行知識(shí)理論認(rèn)定正當(dāng)?shù)恼J(rèn)識(shí)手段(the means of valid cognitions)只有現(xiàn)量與比量?jī)煞N。①英文表達(dá)來(lái)自 Steinkellner，Ernst．2005．Dign ga's Pram nasamuccaya，Chapter 1，http://www．oeaw．a(chǎn)c．a(chǎn)t/ias/Mat/dignaga_PS_1．pdf?，F(xiàn)量相應(yīng)于自相，比量相應(yīng)于共相。無(wú)法還原到這兩種認(rèn)識(shí)手段的心理過程，都不是正當(dāng)?shù)?，即不能被陳那的知識(shí)理論所允許。Y1)可以通過現(xiàn)量得出，這是沒有疑問的。Y2)中的異品，即P1和P2在辯論之前未能直接觀察到的異品，雖然不能通過現(xiàn)量直接得出，但是，可以通過他人的證言，即聲量，間接地感知到。這里有兩點(diǎn)需要特別注意。第一，聲量在陳那的知識(shí)論中可以還原為現(xiàn)量和比量。在辯論的背景中，聲量可以指P1和P2所共同信任的人所說(shuō)出證言。通過可靠證人的證言，P1和P2可以共許某些他們自己未能直接觀察到的異品，確實(shí)沒有因法所述的性質(zhì)。第二，從哲學(xué)的角度來(lái)看，他人的證言不可能窮舉所有P1和P2在辯論之前所未能觀察到的所有的異品，因?yàn)榈厍蛏虾芏嗍挛飶膩?lái)就沒有被任何人觀察過。如果是這樣，Y2)中所說(shuō)的異品，從邏輯上來(lái)說(shuō)，就不能完全地被立地雙方P1和P2獲得。但是，瑜伽行派并不承認(rèn)心識(shí)之外的客觀存在。所以，我們?cè)谶@里姑且承認(rèn)，對(duì)瑜伽行派來(lái)說(shuō)，獲得Y2)中所說(shuō)的異品的正當(dāng)手段，僅來(lái)自可靠的證言。一旦超出P1和P2所能接觸到的可靠的證言，則無(wú)此功能。因此，我們可以說(shuō)Y2)中的異品可以通過聲量間接地獲得。

而Y3)中的異品，包括辯論之后P1和P2所能觀察到的和他們通過可靠的證言獲得的異品。在陳那的推理理論中，這兩種異品都不是可以通過現(xiàn)量和比量能夠獲得的。這就是說(shuō)，沒有任何正當(dāng)?shù)恼J(rèn)識(shí)手段來(lái)保證這兩種異品是否在未來(lái)仍然不具有因法所述的性質(zhì)。如果承認(rèn)這兩種異品仍然不具有因法所述的性質(zhì)，盡管沒有任何現(xiàn)量和比量能夠保證這點(diǎn)，這就引出了一個(gè)不僅違背陳那的認(rèn)識(shí)論，而且違背瑜伽行哲學(xué)基本前提的命題:即我們?cè)兄降氖录蛐再|(zhì)，在未來(lái)一定會(huì)繼續(xù)存在。這個(gè)命題相應(yīng)于西方哲學(xué)中的“自然的齊一性”(uniformity of nature)命題。用羅素的話說(shuō):“自然齊一性信念是這么一種信念，任何已發(fā)生或?qū)l(fā)生的，都是某些普遍規(guī)律的事例，概莫能外。”①Russell，Bertrand The Problem of Philosophy，London:Williams and Norgate．1912．這個(gè)命題在陳那哲學(xué)和瑜伽行哲學(xué)中都是不能被允許的。這就意味著，陳那的因三相中的異品不是(R3')中的異品，因?yàn)榍罢卟话╕3)，而(R3')則要求必須包括Y3)。②日后法稱的推理理論中的異品包括Y3)，所以，他的理論可以被看作是一種演繹推理。其代價(jià)是承認(rèn)了一種類似于自然的齊一性的命題，因此，他必須依賴于阿賴耶識(shí)之類的超驗(yàn)資源去維持一個(gè)自洽的瑜伽行體系。這使得他的知識(shí)論必須建立在某種無(wú)法用知識(shí)論來(lái)辯護(hù)的形而上學(xué)的基礎(chǔ)之上。而陳那的瑜伽行哲學(xué)則不需要這類超驗(yàn)資源，而其知識(shí)論完整、獨(dú)立、自洽，符合今日對(duì)理想的知識(shí)理論的追求標(biāo)準(zhǔn)。這是陳那和法稱之間一個(gè)重大的差別。其中牽扯的問題極為復(fù)雜，超出推理和邏輯的范圍，非本文所能涉及。我在“La reconstrucción indirecta de la teoría del razonamiento de Dignaga por meido de la lógica formal”(Analogía Filosófica，vol．17，No．12，2003．pp．83 114．)一文中曾對(duì)此問題有所討論。

因此，我們可以說(shuō)，即使同、異品不除宗有法，陳那的因三相仍然不是演繹推理，因?yàn)榈谌唷爱惼繁闊o(wú)性”不能被表達(dá)為(R3')，因?yàn)閮烧叩囊馑疾煌?。按照我上面的分析，第三相的意思如果用日常語(yǔ)言來(lái)表達(dá)，應(yīng)該是:“到目前為止，未能直接或間接地感知到任何與所立法性質(zhì)不同者(即異品)，會(huì)具有因法所述的性質(zhì)”。在這里，直接地感知是指觀察，間接地感知是指通過證言獲知。這個(gè)表達(dá)與一般對(duì)第三項(xiàng)的理解相比，多出了“到目前為止”和“直接或間接地”這些狀語(yǔ)。如果我上面的分析是對(duì)的，加入的狀語(yǔ)符合陳那的知識(shí)論和他的推理理論中的辯論背景。讀者很自然地會(huì)接下來(lái)問，這些狀語(yǔ)是否也與陳那的因三相中的其他兩相、同異喻體和因輪論相符合。對(duì)這個(gè)問題的討論，會(huì)有助于我們理解陳那推理理論的本質(zhì)。

我們先看陳那因三相的第一項(xiàng)，“遍是宗法性”。大家一般都接受，這是說(shuō)有法完全地具有因法的性質(zhì)。如果宗是關(guān)于某一性質(zhì)的判斷，如在“聲是無(wú)常，所作性故”的例子中，第一項(xiàng)是說(shuō)聲音都具有造作出來(lái)的性質(zhì)。如果宗是關(guān)于一個(gè)事件的判斷，如在“山有火，以煙故”的例子中，第一項(xiàng)是說(shuō)P1和P2所討論的那座山，的確產(chǎn)生了煙。就是說(shuō)，這座山上所出現(xiàn)的煙，如果能夠成為雙方辯論的因，則不是虛假的，如某人因視覺器官的某些病變而產(chǎn)生的幻影。如果用形式邏輯來(lái)表達(dá)，(R1)是可以被接受的。

再看第二相“同品定有性”。如果接受同、異品應(yīng)除宗有法，第二相是說(shuō):“除了宗有法，一定可以直接或間接地感知到起碼一例具有所立法性質(zhì)者(同品)也具有因法所述性質(zhì)的例子”。第二相不能是一個(gè)全稱命題，即它不是說(shuō)所有的具有所立法性質(zhì)者都具有因法所述的性質(zhì)，更不是說(shuō)所有具有因法所述性質(zhì)者都具有所立法的性質(zhì)。如果是后者，第三相就變成多余。如果是前者，則不能被陳那的知識(shí)論所允許。原因類似于我們否認(rèn)第三相可以用(R3')來(lái)表達(dá)的原因:即P1和P2都無(wú)法作出如下判斷:在辯論之后通過直接或間接地感知到的具有所立法性質(zhì)者仍然具有因法所述的性質(zhì)。因而，第二相無(wú)法成為全稱命題，而只能是個(gè)特稱命題，可用(R2)來(lái)表達(dá)。違反這個(gè)特稱命題，就會(huì)造成缺乏同品的局面，而導(dǎo)致無(wú)法滿足因輪論中的第二和第八句因。然而，因三相的前兩項(xiàng)即(R1)和(R2)合在一起，并不能可靠地建立起宗，因?yàn)槿绻嬖诋惼芬簿哂幸蚍ㄋ龅男再|(zhì)，宗仍然不成立，所以需要第三相的幫助。上面已經(jīng)討論過第三相的意義，它同第一項(xiàng)(R1)合在一起也不能可靠地建立起宗，而是需要起碼一個(gè)同品的例子的支持。這就使得因三相中任何一項(xiàng)無(wú)一多余，缺一不可。

以這種方式理解因三相，同、異喻體都不能是全稱命題。①對(duì)此問題的論證，見鄭偉宏:《佛家邏輯通論》，上海:復(fù)旦大學(xué)出版社，1996年，第100—104頁(yè)。這是因?yàn)椋谝?，如果同、異喻體是全稱命題的話，分別會(huì)使得第三相和第二相變?yōu)槎嘤?第二，這也是陳那的知識(shí)論所不能允許的。漢譯同、異喻體表達(dá)常用的“諸……見……”和“若……見……”形式，其實(shí)可以不用全稱判斷的方式來(lái)理解。以“諸所作者，皆是無(wú)常，譬如瓶”和“若是所作，見彼無(wú)常，如瓶”為例，應(yīng)該被理解為“到目前為止，能夠直接和間接地感知到的那些制造出來(lái)的東西，都具有無(wú)常性質(zhì)，比如瓶子”。同樣，異喻如“若有是常，見非所作，如虛空”，則應(yīng)該被理解為“到目前為止，能夠直接或間接感知到的恒常的東西，都不是制造出來(lái)的，比如虛空?！边@樣的表達(dá)都不是全稱判斷。這也意味著，因輪論中對(duì)同品和異品的分析，也是在“到目前為止，能夠直接和間接地感知到的”這個(gè)形容詞短語(yǔ)所規(guī)定的論域中來(lái)進(jìn)行的。這完全是由陳那的知識(shí)論和他的推理理論中的論辯背景所決定的。

五、結(jié)論

因此，我們可以說(shuō)，像波亨斯基那樣，以形式主義的方式來(lái)理解陳那的推理理論是很不可取的。陳那的推理理論中的知識(shí)論和論辯背景很難還原為西方形式邏輯或三段論，或者還原為其他只注重推理形式的有效性而與推理內(nèi)容無(wú)關(guān)的形式邏輯理論。但是，這并不意味著不能用西方形式邏輯的理論和概念來(lái)探討陳那和古代印度推理理論。實(shí)際上，西方邏輯資源可以十分有效地幫助我們?nèi)ダ斫夤糯《韧评砝碚摰奶卣骱图夹g(shù)問題。本文中所運(yùn)用的達(dá)米特對(duì)推理方向的討論就是一個(gè)例子。我之所以反對(duì)形式主義的理解方式，是因?yàn)檫@種方式試圖用將某一印度古代推理理論還原為某一種形式邏輯模型，并以此來(lái)斷定該理論與某一種西方邏輯具有同等效力，比如，斷定陳那的因三相等同三段論或者是向三段論發(fā)展道路中的一個(gè)步驟。在這樣做的時(shí)候，陳那理論中那些不能被形式邏輯處理的因素便被忽略，而這些因素卻是理解陳那理論所不能或缺的。

用三段論的一些術(shù)語(yǔ)如大詞、中詞、小詞來(lái)比較陳那理論中類似的因素如宗法、因法、宗有法，可以幫助我們分析陳那理論中某些技術(shù)特征和技術(shù)問題。但這并不意味著我們可以因此就斷定陳那因三相等同于三段論。因三相也有類似歸納推理和類比推理的地方，在這些地方，運(yùn)用西方的一些邏輯資源如非單調(diào)邏輯(non-monotonic logic)或溯因推理(abductive reasoning)等來(lái)做分析和比較，相信也能得出有趣的結(jié)論。同樣，陳那的推理理論中的論辯背景也可以用各種論辯理論(argumentation theory)來(lái)比較分析。所以，運(yùn)用西方邏輯資源來(lái)研究古代印度推理理論的過程中，大膽采用多元主義的比較和分析方式會(huì)比上面提到的形式主義理解方式更為有效。