司法證明的邏輯研究（簡體書）

司法證明是訴訟活動的理性根基，它決定了案件事實能否得到理性地證明，一個好的司法證明既是定紛止爭的必要手段，也是保證法律正當性的必要前提。《司法證明的邏輯研究》認為司法證明是在論辯的情境下展開的，只有經過起訴方和應訴方的理性論辯，案件事實才能越辯越明。從邏輯理性的視角看，司法證明是一個起訴方和應訴方提出支持論證支持其主張，提出反論證辯護其主張，從而試圖說服審判方接受其主張的論辯論證。在這一過程中審判方需要評估雙方論證，判定是否符合相應的證明標準，是否滿足了說服責任。《司法證明的邏輯研究》在人工智能與法的視域下，通過應用一種漸進式論辯的可計算模型，建構了一種分析和評估司法證明的邏輯理論。

魏斌，男，江西南昌人，中山大學邏輯學博士，格羅寧根大學法學院聯合培養博士（2011～2012年國家留學基金委項目）。現為西南政法大學行政法學院講師，法學博士后。主要研究興趣有人工智能與法、法律邏輯、法律方法論和可計算論辯理論。

序
前言
緒論 邏輯初域下的司法證明
第一節 司法證明理性思潮的演進
第二節 司法證明的邏輯方法
第三節 現狀與問題
第四節 研究框架和主要內容

第一章 司法證明的基本理論
第一節 司法證明及其有關概念界定
一、司法證明的概念
二、司法證明的發生階段
三、司法證明的主體
四、司法證明的證明對象
五、司法證明的模式
六、司法證明與形式證明
第二節 證明責任
一、舉證責任
二、說服責任
第三節 證明標準
一、刑事司法證明標準
二、民事訴訟證明標準
小結

第二章 作為論辯式論證的司法證明
第一節 與訴訟制度改革相適應的司法證明概念
第二節 論辯的司法證明
一、論辯式論證的證明功能
二、司法證明的論辯特性
三、司法證明的新定義
第三節 司法證明的過程分析
一、法庭調查階段的論證構造
二、法庭辯論階段的論證攻擊
三、審判方的論證評估
第四節 論辯式論證的邏輯研究進路
一、非形式論證理論
二、人工智能與法
小結

第三章 司法證明的形式化模型
第一節 論辯式論證的框架
一、刻畫法律可廢止推理的論辯框架
二、刻畫司法三段論的演繹論辯框架
三、刻畫法律論證結構的ASPIC論辯框架
四、論辯和解釋的混合理論
五、比較與評價
第二節 論辯式論證的語義
一、抽象論辯語義
二、多重賦值語義
三、標記論辯語義
四、比較與評價
小結

第四章 批判鏈語義及其批判
第一節 批判鏈語義
一、基本定義
二、新的攻擊——減弱攻擊
三、證成度的算法
第二節 批判鏈語義批判
一、反直觀問題
二、修正的算法
三、問題求解
四、司法證明的恰當語義
小結

第五章 司法證明的分析理論
第一節 帶強度的結構化論辯框架
第二節 司法證明的內部結構
一、證據論證類型
二、證據論證的組合結構
三、補強論證
四、聚合論證
第三節 司法證明的論辯結構
一、論證圖理論
二、批判性擴充
三、圖的同構性
小結

第六章 司法證明的評估理論
第一節 司法證明的內部結構評估
第二節 司法證明的論辯結構評估
第三節 證明責任與證明標準
一、微弱證據標準與舉證責任
二、民事證明標準與說服責任
三、刑事證明標準與說服責任
四、完整的證據鏈條
第四節 案例分析
一、瑞克布勒姆刑事案分析
二、曹操墓爭議分析
小結

第七章 司法證明的庭審對話分析
第一節 庭審對話及其特點
第二節 基于對話邏輯的庭審對話模型
一、說服型對話系統
二、審判對話系統
第三節 基于漸進論辯語義的庭審對話系統
一、庭審對話中的論證評估
二、新會話行為和交流語言
第四節 案例分析
小結
結語
參考文獻
后記