論證邏輯視域下的法律論證理論研究

第一章 法哲學、法律論證與邏輯
第一節 法律論證的法哲學進路
一、哈伯瑪斯的交往理性理論
二、阿列克西的法律論證理論
三、麥考密克的法律論證理論
第二節 法律論證和邏輯
一、法哲學進路中的邏輯
二、法律論證的邏輯特徵
第三節 何種法律論證的邏輯

第二章 法律論證適用的論證邏輯
第一節 邏輯之於法律概觀
第二節 論證邏輯——一種天然的法律邏輯
第三節 論證邏輯之於法律

第三章 基於非形式邏輯的法律論證理論
第一節 新論辯術與法律論證理論
一、新論辯術
二、法律論證理論之新論辯術之維
第二節 語用論辯術與法律論證理論
一、語用論辯術
二、法律論證理論之語用論辯術之維
第三節 約翰遜的論證理論與法律論證理論
一、語用論證理論
二、法律論證理論之語用論證理論之維
第四節 非形式邏輯的比較
一、多維路徑的相似點
二、多維路徑的差異

第四章 基於可計算論辯理論的法律論證理論
第一節 Dung氏抽象論辯模型
一、論辯的擴充語義
二、論辯的標記語義
三、抽象論辯理論的證明論
第二節 可廢止和結構化論辯框架
一、可廢止論辯框架
二、結構化論辯框架
三、應用分析
第三節 論證與故事的混合模型
一、論辯的形式理論
二、解釋的形式理論
三、論辯和解釋的混合理論
第四節 可計算論辯的應用系統
一、基於對話或論辯的形式系統
二、基於先例的形式系統
三、基於規則的專家系統
四、構造論辯系統
第五節 可計算論辯理論的優缺點

第五章 非形式邏輯的形式化
第一節 非形式概念的形式化
一、論證概念的表達
二、攻擊類型和擊敗關係的定義
三、圖解方法和論證結構的形式化
四、論證圖式的形式化
五、論證評估理論的構建
六、動態性和程序性的建模
第二節 新論辯術和語用論辯術的形式化
第三節 約翰遜的論證理論的形式化
一、推論性核心框架IC
二、論辯性外層框架DT
第四節 訴諸專家的論辯模型
一、訴諸專家的論辯框架
二、訴諸專家的論辯（擴充） 語義
三、訴諸專家的論辯（標記） 語義
第五節 未被超越的非形式邏輯

第六章 面向綜合的研究進路
第一節 綜合的研究方法
第二節 案例分析

第七章 結語與展望

參考文獻

 

序

　　作為體現法律理性和保障公平正義的重要法律方法，法律論證貫穿於立法及司法中的偵查、起訴、庭審等各個階段，其理論研究是法哲學、邏輯學、修辭學和人工智能等相關學科的重要選題。伴隨著新的邏輯工具的出現以及實現手段的不斷成熟，加之法律論證問題域的不斷清晰，程序化和精細化的方法替代了傳統的研究方法，逐漸被引入以刻畫法律論證並且誕生了諸多各具魅力的法律論證理論，一些有影響力的成果已經被用於研究證據推理、解釋難題、庭審對話以及司法證明等相關問題，同時為支持立法選擇、司法判決、解決衝突和分歧以及輔助法律教學等法律實踐提供了理論和方法支撐。

　　無疑，如何構造好的法律論證是立法和司法理論及實踐中的難題。近些年來，中國發生的呼格吉勒圖案、念斌案、張氏叔侄案和趙作海案等冤假錯案的成因之一就是壞的法律論證。壞的法律論證將直接導致案件事實認定不清甚至錯誤，這也是直接導致刑事冤假錯案的主因。客觀上， 由於重大刑事案件中證據等要素的複雜性，犯罪構成要件的事實和重要情節往往不易被厘清， 構建好的法律論證仍然面臨困難，因而亟需新的支撐理論。這也表明法律論證研究在當前中國推進依法治國的背景下有著重要的理論和現實意義。

　　從法律論證理論的研究進路來看，傳統上認為存在三種方法：邏輯方法、修辭方法和對話方法。法學家和邏輯學家認識到了傳統邏輯對於法律論證理論的表達缺陷，因而自1960年代以來，這個領域的研究學者更願意從修辭學和對話理論的視角來研究法律論證理論。近年來，非形式邏輯以及可計算論辯理論的快速興起為法律論證理論的研究注入了新的活力，它們都被認為是一種特殊的邏輯形態，都被冠以「論證邏輯」（Argument/Argumentation logics）之名。

　　一、非形式邏輯的興起及其對法律論證理論的影響

　　1950年代，非形式邏輯興起的初衷是對形式化方法的批評與反思，這種新邏輯注重從語用的維度來探討社會生活中的論證，它強調邏輯學在現實社會生活中的實踐應用，而不是局限於抽象的形式系統，並且致力於發展理解、分析、建構和評價日常生活中論證的理論和方法。非形式邏輯進入到邏輯學家的研究視野，進一步拓展了論證研究的基本論域和理論議題，因而，近半個世紀以來，非形式邏輯研究一直方興未艾，諸多富有成效的理論成果不斷湧現出來。

　　非形式邏輯發展到今天，形成了諸多有代表性的理論，這些理論的誕生和發展本身就代表了非形式邏輯發展的圖景。圖爾敏（S．Toulmin）受到「法學的一般化模型」的啓發，提出了一個基於司法程序的新論證模型，後人稱之為「圖爾敏模型」。這種模型不同於形式邏輯評價論證的有效性標準，而是強調了論證評價標準的「領域依賴性」。佩雷爾曼（C．Perelman）重新展現了亞里斯多德的傳統修辭學的魅力，他系統整理了價值論斷的論證技巧和證成模式，建構了以「獲取聽眾認同」為主導的新修辭學理論，並成功地將其拓展到法律論證理論的研究上。

　　約翰遜（R．H．Johnson）與布萊爾（J．A．Blair）構建了語用論證理論，他們認為論證是由推論性核心和論辯性外層兩部分組成的，還發展出了論證評估的RSA三角評估標準，即相關性、充分性和可接受性標準。

　　沃爾頓（D．Walton）提出了新論辯術理論，他將對話分為不同目的驅動的六種類型，並且基於該理論重新詮釋了論證圖式、承諾和謬誤等概念。愛默倫（F．van Eemeren）與格羅頓道斯特（R．Grootendorst）建構了語用論辯術，該理論是關於批判性討論的分析、比較和評估的理論，並給出了相應的程序性規範體系。這些理論大多都衍生了關於法律對話及論證的相關理論，例如菲特麗斯（E．Feteris）致力於將語用論辯術應用於研究法律論證，而沃爾頓本人更是極力推崇其新論辯術在法律對話研究中的應用。

　　二、可計算論辯理論及其對法律論證的影響

　　1960年代，在人工智慧與法律等學科交叉發展趨勢的推動下，法庭科學的形式化研究主要有三種傳統進路：一是基於敘事（narrative）理論的進路。如安德森（T．Anderson，2006）等在證據法經典教科書《證據分析》中就提到敘事解釋作為案件事實調查的常用手段；又如瓦格納（W．Wagenaar，1993）等曾著書《被連接的敘事：刑事證據心理學》來專門討論敘事是如何由證據連接起來的。二是基於貝葉斯理論的進路。如芬頓（N．Fenton，2011）曾在《自然》上發文並論證了貝葉斯理論應用於法律領域的科學性，他還與尼爾（M．Neil，2013）等合作研究了基於貝葉斯網絡的法律論證的一般結構。此外，還有如塔羅尼（F．Taroni，2006）等研究了法庭科學的貝葉斯網絡和概率推論。三是通過建模法律對話認定案件事實，它得益於對話邏輯和形式論辯術的發展。如戈登（T．Gordon，1995）的訴訟博弈模型是一種將對話理論應用於建模民事訴訟的對話系統。

　　近年來， 基於可計算論辯理論的進路開始在建模法律論證方面嶄露頭角。例如， 普拉肯（H．Prakken，1997）的《建模法律論證的邏輯工具》是最早研究法律論證的形式化建模：一種解決衝突論證的評價模型。他後來在此基礎上發展了一種可以表達論證結構的結構化論辯框架（2012），並且將其應用於研究一個真實的案例（Popov訴Hayashi案）。戈登（T．Gordon，2012）與沃爾頓受到古希臘哲學家卡爾尼德斯（Carneades）的啓發，發展了一種能夠刻畫不同類型的證明標準和證明責任的抽象論辯模型（卡爾尼德斯模型）。卡朋（B．Capon，2011）受到佩雷爾曼的新修辭學的啓發，發展了一種基於價值的論辯模型，他將聽眾加入論辯模型並且增加了聽眾對論證的賦值因素。近些年來，這些方法呈現出與其他進路交叉融合的趨勢，例如，將論證理論和敘事理論結合，如貝克斯（F．Bex，2010）的專著《論證、故事和刑事證據》。再如，將論證理論和貝葉斯理論結合，如凱彭斯（J．Keppens，2011）分析了如何從貝葉斯模型中發掘法律論證。無論是非形式邏輯學，還是可計算論辯理論，它們都有著論證邏輯的一面，兩種理論代表了論證理論研究的兩個不同層面。一方面，非形式邏輯是一種直觀的程序性的檢驗方法，它受到日常論證實踐的啓發，為論證的分析、比較和評估提供了一般的程序理論，其特點是側重表達論辯和語用特點，關注聽眾等修辭因素；另一方面，可計算論辯理論並非基於邏輯後承關係的，而是包含一種非單調的基於論辯的推論，它建構了一種精確的、可操作的評估理論，偏向於研究複雜論辯環境下論證間的攻擊和辯護關係，評估人們對論證的可接受性程度。本書認為， 非形式邏輯和可計算論辯理論並不是互相排斥的理論，而是共同構成了一種綜合性理性，或者可以將其統稱為論證邏輯，因為它們既有著共同的研究對象，還有著緊密的關聯。這種聯繫體現在兩個方面：一是抽象論辯活動來源於人們的自然論證活動，因而可計算論辯理論是對自然論證活動的抽象化和概括化；二是論證邏輯的形式化研究的靈感部分來源於非形式化研究，而形式化研究給予了非形式化研究一的論證邏輯。本書認為論證邏輯應當同時具備這兩個維度的特性，並在此基礎上給出一種關於論證邏輯的概括性定義。

　　第三章從非形式邏輯的視角展示了法律論證理論的研究，包括沃爾頓的新論辯術及其在法律論證中的應用、愛默倫等的語用論辯術及其在法律論證中的應用、約翰遜和布萊爾的語用論證理論及其在法律論證中的應用。本章還梳理了這三種經典的非形式邏輯之間的相似點和差異。

　　第四章從可計算論辯理論的視角展示法律論證理論的研究，從理論模型和應用系統兩個層面做了介紹。在理論模型層面，介紹了Dung氏抽象論辯語義、普拉肯的可廢止和結構論辯模型、貝克斯的論證和故事的混合模型。在應用系統層面，從基於對話或論辯的形式系統、基於先例的形式系統、基於規則的專家系統以及構造論辯系統四個方面介紹了目前可計算論辯應用系統的概貌。

　　第五章進一步探討非形式邏輯與可計算論辯理論之間的關係，分別梳理了哪些非形式邏輯的基本概念可以被形式化，接著對第三章介紹的三種典型的非形式邏輯理論進行了較為系統的形式化工作，目的是從可計算論辯理論的角度重塑非形式邏輯的特點。

　　第六章綜合前面的章節，提出了一種整合非形式邏輯和可計算論辯理論的綜合方法，這種新方法將借鑑這兩種理論的優點。首先，從非形式邏輯的角度確定法律論證的前提、結論和推論關係，分析論證的結構以及論證間的支持和攻擊關係。其次，借鑑可計算論辯理論，處理複雜論證中論證的擊敗和辯護關係， 評估複雜論證網絡中某個論證的可接受性或證成狀態， 進而為準確判定法律論證的主張或結論提供判斷依據。

　　最後一章即第七章總結全書並展望論證邏輯視域下的法律論證理論如何應用於研究立法論證這一新的課題。