中山大學(xué)熊明輝教授主持完成的國家社會(huì)科學(xué)基金項(xiàng)目《基于非形式邏輯的法律論證研究》（項(xiàng)目批準(zhǔn)號(hào)為06BZX049），最終成果為專著《訴訟論證：訴訟博弈的邏輯分析》。課題組成員有：羅仕國、張玫瑰、吳曉靜、周蔚、盧俐利。

　　胡錦濤總書記在十七大報(bào)告中指出，依法治國是社會(huì)主義民主政治的基本要求，要加強(qiáng)憲法和法律實(shí)施，堅(jiān)持公民在法律面前一律平等，維護(hù)社會(huì)公平正義，維護(hù)社會(huì)主義法制的統(tǒng)一、尊嚴(yán)、權(quán)威。司法的公平與正義是維護(hù)社會(huì)公平正義的前提和基礎(chǔ)，而實(shí)現(xiàn)司法公正是當(dāng)前司法改革的目標(biāo)，那么，如何實(shí)現(xiàn)司法公正呢？這正是這項(xiàng)成果的研究目標(biāo)。

　　一、訴訟論證概念及其思想淵源

　　訴訟論證思想研究有著相當(dāng)古老的根源，可直接追溯到古希臘的智者。他們是天生的法律人�！鞍胭M(fèi)之訟”悖論就與智者代表人物之一普羅塔哥拉 <http://zh.wikipedia.org/w/index.php?title=%E6%99%AE%E7%BD%97%E5%A1%94%E5%93%A5%E6%8B%89&action=edit>有關(guān)。法庭論辯就被認(rèn)為是邏輯學(xué)、論辯術(shù)和修辭學(xué)產(chǎn)生的兩大動(dòng)因之一（另一個(gè)動(dòng)因是公共演講）。在刑事案件中，審方能剝奪被告的自由甚至生命；在民事案件中，審方能取走一方的大筆錢財(cái)、小孩的監(jiān)護(hù)權(quán)等等；憲法決議常常會(huì)影響所有公民甚至那些從未上過法庭的人的基本權(quán)利。法庭裁判或憲法決定的理性根基是什么呢？那是因?yàn)閷彿浇邮芰颂囟ǚ�律論證而排斥了另一些法律論證。

　　法律論證概念首先是作為法律邏輯的研究對(duì)象被提出來。法律邏輯作為一門獨(dú)立學(xué)科，產(chǎn)生于二十世紀(jì)中葉。1951年克盧格的《法律邏輯》（德文版）一書的出版是法律邏輯正式形成的標(biāo)志。克盧格所說的“邏輯”是與亞里士多德邏輯相比照的由弗雷格、羅素、懷特海、卡爾納普等人提出的現(xiàn)代形式邏輯。雖然克盧格把法律邏輯看作是形式邏輯（實(shí)際上僅僅限于一階謂詞邏輯）在法律科學(xué)中的應(yīng)用，但他在討論法律領(lǐng)域中的證明技巧時(shí)似乎又認(rèn)為邏輯有一個(gè)語用維度，因而被認(rèn)為是一種偽形式主義立場。因此，作為法律邏輯的研究對(duì)象，法律論證的分析與評(píng)價(jià)一開始就不是純形式的，即不是形式邏輯在法律領(lǐng)域中的簡單的直接運(yùn)用。

　　很明顯，克盧格所關(guān)心的法律論證概念的外延是很寬泛的，不僅包括法庭論辯中的論證，而且包括立法過程、執(zhí)法過程中的論證。我們所說的訴訟論證實(shí)際上就是指法庭論辯中的法律論證。不過，法庭論辯過程并不等于司法過程。我們通常所說的司法過程僅是從審方——法官角度來說的，而法庭論辯則還需要從訴訟博弈參與者起方或應(yīng)方來考慮。法庭論辯強(qiáng)調(diào)的是起、應(yīng)雙方的論證博弈，而司法過程強(qiáng)調(diào)的是審方的法庭裁判。實(shí)際上，到目前為止，傳統(tǒng)法律論證理論家們所關(guān)心的主要對(duì)象是審方的裁判論證，而我們所說的訴訟論證則是包含了起方論證、應(yīng)方論證和審方論證。因此，從廣義角度來講，這三者都應(yīng)當(dāng)屬于訴訟論證甚至法律論證的范疇。

　　傳統(tǒng)法律論證理論及其邏輯基礎(chǔ)

　　法律三段論已成傳統(tǒng)法律論證理論家普遍認(rèn)可的法律論證基本模式，其邏輯基礎(chǔ)到底是直言三段論、假言三段論還是整個(gè)演繹邏輯呢？或許法哲學(xué)家持有各種不同的看法，但法律三段論的邏輯基礎(chǔ)應(yīng)當(dāng)從形式演繹邏輯那里尋找，這似乎已被法律論證理論研究者們形成了一種共識(shí)。

　　然而，法律三段論模式早在二十世紀(jì)中葉就受到了來自圖爾敏的挑戰(zhàn)。1958年，圖爾敏提出，對(duì)于論證可靠性來講，邏輯意義上的形式有效性既不是充分的也不是必要的。結(jié)合司法過程中論證的特殊性，圖爾敏提出了一個(gè)不同于“前提－結(jié)論”式的論證結(jié)構(gòu)模型，即當(dāng)今著名的圖爾敏模型：給定證據(jù)事實(shí)D，既然依據(jù)W有B作為支持，因此，帶量詞的主張C成立，除非存在特定的反駁使得這個(gè)推理不成立。圖爾敏甚至認(rèn)為，論證與法律論證（實(shí)際上是訴訟論證）極其相似，因而，邏輯可以被看作是概括化的法學(xué)。法律三段論模式還受到了來自佩雷爾曼和奧爾布萊希特-蒂特卡的挑戰(zhàn)。1948年佩雷爾曼和奧爾布萊希特-蒂特卡開始研究非形式論證的邏輯，沿著弗雷格研究數(shù)學(xué)的綜合方案，廣泛收集了學(xué)術(shù)、職業(yè)、宗教以及通俗等材料，并企圖把弗雷格理論應(yīng)用到這些領(lǐng)域，從而為價(jià)值判斷進(jìn)行邏輯辯護(hù)。然而，他們卻得出了一個(gè)不想要的結(jié)論：價(jià)值判斷不可能得到證成，所有價(jià)值在邏輯上都是武斷的。他們猜想主導(dǎo)非形式論證的理性可能來自修辭理論的原則，特別是聽眾的考慮與價(jià)值，這不是一種形式邏輯的，而是一種非形式邏輯（non-formal logic）。一個(gè)意外收獲是：他們重新發(fā)現(xiàn)了希臘羅馬式的論辯傳統(tǒng)，并于1958年用法文出版了他們的迄今有較大影響的著作《新修辭學(xué)》。

　　圍繞法律論證中審方論證的合理性，法律邏輯學(xué)家、法律推理專家以及法律論證理論家們?cè)诜�律三段論框架基礎(chǔ)上構(gòu)建了許多框架，企圖為法律論證的合理性提供邏輯辯護(hù)。為了方便起見，我們可以把這類框架統(tǒng)稱為“基于形式邏輯的框架”。不過，他們的框架已不再是像克盧格所設(shè)想的那種純形式框架，而是公開引入了關(guān)于法律三段論前提可接受性的二階證成理論、外部證成理論、解釋證成或轉(zhuǎn)換證成理論。然而，法律三段論框架及其擴(kuò)充有兩個(gè)共同缺陷：其一，訴訟論證還是被看作一個(gè)靜態(tài)的作為結(jié)果的論證，而忽視了訴訟論證的動(dòng)態(tài)性、交互性、（多）主體性、目的性、開放性和可廢止性，即作為過程的論證和作為程序的論證；其二，他們關(guān)注的重心是法律裁判的論證問題，即只考慮審方論證，而并未考慮到起方論證或應(yīng)方論證。從這個(gè)角度來講，這些論證理論比古希臘智者學(xué)派的論證理論都還落后，因?yàn)樗鼈冴P(guān)注的對(duì)象僅僅是握有裁判權(quán)的審方，而忽略了在訴訟博弈中處于弱勢(shì)的起方或應(yīng)方。

　　非形式邏輯視野下的法律論證理論

　　以圖爾敏模型和佩雷爾曼新修辭框架為代表的論辯－修辭框架也是當(dāng)代訴訟論證理論領(lǐng)域一個(gè)有著重要影響力的框架。在這類框架中，訴訟論證首先被置于論辯框架下，然后從（目標(biāo)）聽眾接受角度來進(jìn)行分析評(píng)價(jià)論證。傳統(tǒng)上人們常常把論辯框架與修辭框架分開來加以討論，但實(shí)際上要把修辭框架與論辯框架嚴(yán)格分開是不可能的�；蛟S正是這個(gè)原因，亞里士多德才把修辭學(xué)看成是論辯術(shù)的對(duì)應(yīng)物。

　　形式論辯框架是人工智能與法律研究者們提出的。他們企圖將基于形式邏輯的框架和基于非形式邏輯的框架整合在一起，建構(gòu)相應(yīng)的訴訟論證人工智能邏輯模型，然后在計(jì)算機(jī)程序上來實(shí)現(xiàn)。這類框架的邏輯基礎(chǔ)直接來源于形式論辯術(shù)。1961年德國的洛侖岑指導(dǎo)其博士生洛侖茲完成了博士論文《算法與邏輯博弈》(Arithmetik und Logik als Spiele)，提出了一個(gè)用形式化方法來刻畫對(duì)話博弈的框架――對(duì)話邏輯(dialogue logic)。他們的理論框架被發(fā)展成為歐洲哲學(xué)有較大影響的愛爾朗根學(xué)派。1970年，澳大利亞的漢布林在《謬誤》一書給出了一個(gè)與對(duì)話邏輯類似的用形式化方法刻畫論辯的理論框架――形式論辯術(shù)(formal dialectic)，而且他的這一框架被英語國家的學(xué)者認(rèn)為是世界上第一個(gè)用形式化方法來處理對(duì)話博弈的框架�；�于形式邏輯的法律三段論框架已經(jīng)很好地處理了案件事實(shí)前提、法律規(guī)則前提和法律結(jié)論之間的支持關(guān)系。根據(jù)這一框架，只有“法律規(guī)則＋案件事實(shí)=>法律結(jié)論”的論證形式演繹有效，該論證的前提才給結(jié)論提供了充分支持。但是，訴訟論證具有動(dòng)態(tài)性、交互性、目的性、（多）主體性、開放性、可廢止性等特征。法律三段論框架顯然沒有刻畫出訴訟論證的這些特征。而論辯－修辭框架恰好可以部分地彌補(bǔ)法律三段論框架的不足。根據(jù)論辯框架，訴訟論證的動(dòng)態(tài)性、交互性、目的性、（多）主體性都得到了不同程度的刻畫；根據(jù)修辭框架，訴訟論證的目的性也得到了充分展示。

　　基于廣義非形式邏輯的訴訟論證博弈

　　然而，一方面，無論是基于形式邏輯的框架、基于非形式邏輯的框架還是基于非單調(diào)邏輯的形式論辯框架，他們的共同缺陷是忽視起方論證和應(yīng)方論證。所有這些框架只告訴了審方應(yīng)當(dāng)如何裁決，而沒有告訴起、應(yīng)雙方如何進(jìn)行論證博弈。另一方面，起方論證和應(yīng)方論證不僅是訴訟論證的重要組成部分，而且是審方進(jìn)行裁判的根本依據(jù)。事實(shí)上，在民主化、法治化、文明化程度較高的社會(huì)里，應(yīng)該關(guān)注起方論證和應(yīng)方論證。不僅如此，審方不能僅僅充當(dāng)裁判者的角色，還要充當(dāng)論證博弈者的角色，否則，法律理性和公正只能依靠審方的良心和能力來維系了。因此，訴訟論證研究不僅必須考慮到其動(dòng)態(tài)性、交互性、目的性、（多）主體性、開放性、可廢止性等特征，還必須考慮到起方論證和應(yīng)方論證，并把審方作為訴訟博弈的博弈方。課題組尋找了一個(gè)訴訟論證的研究視角，把訴訟論證的形式邏輯框架、非形式邏輯框架和形式論辯框架中關(guān)于訴訟論證的基本思想整合起來，從而為現(xiàn)實(shí)法律訴訟中起、應(yīng)、審三方如何進(jìn)行訴訟博弈提供邏輯框架。在框架中，訴訟博弈被視為是一個(gè)起、應(yīng)、審三方兩兩之間進(jìn)行的論證博弈，因而，起方論證和應(yīng)方論證都被納入訴訟論證之列。這個(gè)框架是建立在形式邏輯框架、非形式邏輯框架、非單調(diào)邏輯框架和語用論辯框架基礎(chǔ)之上的。一方面，它能解決以往框架所能解決的所有問題；另一方面，它還能解決以往框架所不能解決的一些問題。