建模法律論證的邏輯工具：法律可廢止推理研究

《建模法律論證的邏輯工具：法律可廢止推理研究》是作者1993年著名博士學(xué)位論文之完全擴(kuò)充修改版。為了為人工智能的法律應(yīng)用提供哲學(xué)基礎(chǔ)，它研究了法律推理的邏輯方面。它尊重法律推理常常發(fā)生在爭論背景之下，注意到了法律給出不一致以足夠空間，這意味著律師的推理是在有例外可能性之下進(jìn)行的，并且伴有矛盾的法源，在沒有非演繹推理如類比推理前的情況下是無法進(jìn)行時(shí)推理的?！督７烧撟C的邏輯工具：法律可廢止推理研究》表明，與通常所說的相反，如果使用在邏輯與人工智能領(lǐng)域中關(guān)于所謂非單調(diào)推理和可廢止論證的最新進(jìn)展，并且如果邏輯被認(rèn)為是一種工具而不是法律論證的模型，那么這些特征逃脫不了邏輯分析。《建模法律論證的邏輯工具：法律可廢止推理研究》與法哲學(xué)、人工智能、邏輯以及論證理論領(lǐng)域的學(xué)者相關(guān)，并且也能作為人工智能與法、非單調(diào)推理和法律論證的研究生課程教科書。

亨利·帕肯男，1960年生，荷蘭烏得勒支大學(xué)信息與計(jì)算機(jī)科學(xué)系講師，格羅寧根大學(xué)法學(xué)院和人工智能系教授。1985年和1988年分別在格羅寧根大學(xué)獲得法學(xué)碩士學(xué)位和哲學(xué)碩士學(xué)位，1993年在阿姆斯特丹自由大學(xué)獲得哲學(xué)博士學(xué)位，其博士學(xué)位論文標(biāo)題是《建模法律論證的邏輯工具》。其主要研究領(lǐng)域有：計(jì)算論證、非單調(diào)邏輯、人工智能與法、論證理論、計(jì)算機(jī)科學(xué)等。2008～2009年任國際人工智能與法協(xié)會(huì)（IAAIL）主席，現(xiàn)任論證計(jì)算模型協(xié)會(huì)（COMMA）執(zhí)行委員會(huì)主席，荷蘭法律知識(shí)與信息系統(tǒng)基金會(huì)（JURIX）主席，《人工智能與法》、《論證與計(jì)算》以及《邏輯與計(jì)算》雜志編委會(huì)成員。
　　
　　熊明輝，男，哲學(xué)博士，1968年生于貴州省務(wù)川仡佬族苗族自治縣，廣東省“珠江學(xué)者”特聘教授，教育部新世紀(jì)優(yōu)秀人才支持計(jì)劃入選者，現(xiàn)任中山大學(xué)哲學(xué)系教授和邏輯學(xué)專業(yè)博士生導(dǎo)師，中山大學(xué)法學(xué)院法學(xué)理論專業(yè)博士生導(dǎo)師，教育部普通學(xué)校人文社會(huì)科學(xué)重點(diǎn)研究基地中山大學(xué)邏輯與認(rèn)知研究所副所長，中國政法大學(xué)司法文明協(xié)同創(chuàng)新中心教授，廣東省普通學(xué)校人文社會(huì)科學(xué)重點(diǎn)研究基地中山大學(xué)法學(xué)理論與法律實(shí)踐研究中心研究員。主要研究領(lǐng)域有非形式邏輯、法律邏輯、論證理論、人工智能與法、證據(jù)法學(xué)等。代表性專著是《訴訟論證》（中國政法大學(xué)出版社2010年版），代表性教材是《邏輯學(xué)導(dǎo)論》（復(fù)旦大學(xué)出版社2011年版），代表性論文有《論法律邏輯中的推論規(guī)則》（載《中國社會(huì)科學(xué)》2008年第3期）和《自然語言論證評(píng)價(jià)的邏輯分析》（載《哲學(xué)研究》2006年第10期），代表性項(xiàng)目有2006年國家社科基金一般項(xiàng)目“基于非形式邏輯的法律論證研究”和2013年國家社科基金重點(diǎn)項(xiàng)目“全面推進(jìn)依法治國的邏輯理性根基”。