川新廣審批準(zhǔn)字(2016)301號(hào) 在法哲學(xué)領(lǐng)域,法律論證已經(jīng)成為一個(gè)重要的研究課題。本書對(duì)論證邏輯下了一個(gè)新的定義,認(rèn)為論證邏輯不是一種獨(dú)立的邏輯,而是當(dāng)代論證理論和可計(jì)算論辯理論的概括性統(tǒng)稱,或者說(shuō)更像是一種應(yīng)用邏輯。本書的貢獻(xiàn)在于將兩種研究進(jìn)路結(jié)合在一起,一方面,本書研究了可計(jì)算論辯模型對(duì)于當(dāng)代論證理論的形式化理論;另一方面,本書還討論了當(dāng)代論證理論對(duì)可計(jì)算論辯模型的啟發(fā)。本書還重點(diǎn)梳理了這兩種進(jìn)路如何結(jié)合在一起,用于發(fā)掘法律論證理論更多的研究?jī)r(jià)值。
魏斌,男,江西南昌人,中山大學(xué)邏輯學(xué)博士,格羅寧根大學(xué)法學(xué)院聯(lián)合培養(yǎng)博士(2011-2012年國(guó)家留學(xué)基金委項(xiàng)目),西南政法大學(xué)行政法學(xué)院講師。主要研究興趣有人工智能與法、法律邏輯、法律方法論和可計(jì)算論辯理論。曾在《哲學(xué)研究》《學(xué)術(shù)研究》《自然辯證法研究》《中山大學(xué)學(xué)報(bào)》《Journal of Argument and Computation》等靠前外期刊發(fā)表論文若干篇,另有若干篇文章收錄于“人工智能與法靠前會(huì)議”(ICAIL2015)、“法律知識(shí)與信息系統(tǒng)靠前會(huì)議”(JURIX2012)和“自然論證的可計(jì)算建?壳皶(huì)議”(CMNA2012)的出版論文集。
章 法哲學(xué)、 法律論證與邏輯 / 1節(jié) 法律論證的法哲學(xué)進(jìn)路 / 1 一、 哈貝馬斯的交往理性理論 / 2 二、 阿列克西的法律論證理論 / 5 三、 麥考密克的法律論證理論 / 20第二節(jié) 法律論證和邏輯 / 28 一、 法哲學(xué)進(jìn)路中的邏輯 / 28 二、 法律論證的邏輯特征 / 31第三節(jié) 何種法律論證的邏輯 / 33第二章 法律論證適用的論證邏輯 / 38節(jié) 邏輯之于法律概觀 / 38第二節(jié) 論證邏輯——一種天然的法律邏輯 / 41第三節(jié) 論證邏輯之于法律 / 46第三章 基于非形式邏輯的法律論證理論 / 53節(jié) 新論辯術(shù)與法律論證理論 / 54 一、 新論辯術(shù) / 54 二、 法律論證理論之新論辯術(shù)之維 / 65第二節(jié) 語(yǔ)用論辯術(shù)與法律論證理論 / 67 一、 語(yǔ)用論辯術(shù) / 67 二、 法律論證理論之語(yǔ)用論辯術(shù)之維 / 72第三節(jié) 約翰遜的論證理論與法律論證理論 / 77 一、 語(yǔ)用論證理論 / 77 二、 法律論證理論之語(yǔ)用論證理論之維 / 81第四節(jié) 非形式邏輯的比較 / 84 一、 多維路徑的相似點(diǎn) / 84 二、 多維路徑的差異 / 85第四章 基于可計(jì)算論辯理論的法律論證理論 / 88節(jié) Dung 氏抽象論辯模型 / 89 一、 論辯的擴(kuò)充語(yǔ)義 / 89 二、 論辯的標(biāo)記語(yǔ)義 / 92 三、 抽象論辯理論的證明論 / 95第二節(jié) 可廢止和結(jié)構(gòu)化論辯框架 / 98 一、 可廢止論辯框架 / 98 二、 結(jié)構(gòu)化論辯框架 / 100 三、 應(yīng)用分析 / 103第三節(jié) 論證與故事的混合模型 / 107 一、 論辯的形式理論 / 108 二、 解釋的形式理論 / 112 三、 論辯和解釋的混合理論 / 115第四節(jié) 可計(jì)算論辯的應(yīng)用系統(tǒng) / 123 一、 基于對(duì)話或論辯的形式系統(tǒng) / 123 二、 基于先例的形式系統(tǒng) / 124 三、 基于規(guī)則的專家系統(tǒng) / 126 四、 構(gòu)造論辯系統(tǒng) / 126第五節(jié) 可計(jì)算論辯理論的優(yōu)缺點(diǎn) / 127第五章 非形式邏輯的形式化 / 130節(jié) 非形式概念的形式化 / 130 一、 論證概念的表達(dá) / 131 二、 攻擊類型和擊敗關(guān)系的定義 / 132 三、 圖解方法和論證結(jié)構(gòu)的形式化 / 133 四、 論證圖式的形式化 / 135 五、 論證評(píng)估理論的構(gòu)建 / 136 六、 動(dòng)態(tài)性和程序性的建模 / 137第二節(jié) 新論辯術(shù)和語(yǔ)用論辯術(shù)的形式化 / 139第三節(jié) 約翰遜的論證理論的形式化 / 143 一、 推論性核心框架 IC / 143 二、 論辯性外層框架 DT / 145第四節(jié) 訴諸專家的論辯模型 / 147 一、 訴諸專家的論辯框架 / 147 二、 訴諸專家的論辯 (擴(kuò)充) 語(yǔ)義 / 152 三、 訴諸專家的論辯 (標(biāo)記) 語(yǔ)義 / 155第五節(jié) 未被超越的非形式邏輯 / 161第六章 面向綜合的研究進(jìn)路 / 163節(jié) 綜合的研究方法 / 163第二節(jié) 案例分析 / 168第七章 結(jié)語(yǔ)與展望 / 182參考文獻(xiàn) / 192