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

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

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