总之，人类的司法证明活动不可避免地受到人类观察能力的客观限制，同时又可以受益于新科学技术带来的人类认知范围的扩张。虽然上述论及的新发展难免有不完备之处，但它毕竟为我们提供了一种可资参考的研究视角与方法，它有助于突破传统司法证明理论的瓶颈，为司法证明科学的发展注入新的活力。
【作者简介】
卞建林，中国政法大学教授。王佳，单位为中国政法大学。
【注释】See Gilbert Geoffery，The Law of Evidence，5th ed.，Philadelphia：John Crukshank，1788.
See Jeremy Bentham，An Introductory View of the Rationale of Evidence，Works of Jeremy Bentham，Mill J.S.ed.，Edin-burgh：William Tait，1843；W.D.Evans，A General View of the Decisions of Lord Mansfield in Civil Cases，London：Print-ed for Richard Phillips，1804.
现代盖然性理论是在盖然性上附上精确的数字，代表它可能为真的机会大小。
这方面的具体论述可以参阅尼森（Nissan）、艾伦（Ronald J.Allen）、雷德梅因（Mike Redmayne）等就贝叶斯定理专门出版的一本探讨贝叶斯精炼的特刊。See R.J.Allen and M.Redmayne（eds.），Bayesianism and Juridical Proof，1 Interna-tional Journal of Evidence And Proof，Special Issue，（1997）.
R.D.Friedman，Answering the Bayesian skeptical challenge，In R.J.Allen and M.Redmayne（eds.），Bayesianism and Ju-ridical Proof，1 International Journal of Evidence And Proof，Special Issue，s276～s291（1997）.
Alex Stein，Against Free Proof，31 ISRAEL L.REV.，573（1997）.
See John H.Wigmore，The problem of proof，8 ILLINOIS L.REV.，77～103（1913）.
根据约瑟夫森（Josephson）在1994年提出的定义，溯因推理是指为现象寻找最佳解释方案的推理过程。推定推理是指在缺乏确定性及相关知识时，在事实的探索或对话中试探性地提出某种能够为普遍接受的假说来推进推理的过程，直至将来有新的证据表明这种假说的非真性，姑且将其视为真，推定推理有一点是与归纳推理相似的，它们都是非单调性推理。非单调逻辑是由麦卡锡在上个世纪70年代提出的。经典逻辑遵循由已知事实推出结论的方法，并且即使已知事实增加，结论依然有效，因此逻辑学者将其称之为“单调的”。然而实际生活中人类面临的往往是信息的不对称性，随着事物的发展变化和人类认识水平的提高原有的结论被否定或取消，也就是说现实生活中的“非单调逻辑”（nonmonototic logic）可因事实的增加而使结论丧失其有效性。在刑事诉讼中非单调逻辑的典型例证是“无罪推定”原则。非单调逻辑的简单表达可概括为“如果我们不认为那个证明p为真，我们便假定它为假”，而无罪推定的逻辑表述恰恰是如果不能证明某人有罪，则假定他无罪，而一旦发现了新的证据证明其有罪，该人依然可以被判定为有罪。SeeJohn R.Josephson and Susan G.Josephson，ed.，Abductive Inference：Computation，Philosophy，Technology，Cambridge U-niversity Press，（1994），p.27-29。
它与归纳推理的区别在于，概率计算定理中的排除规则（negation rule）不适用于合情推理，却适用于归纳推理。似真推理早在古希腊和古罗马时代就已被当时的哲学家和司法审判者熟知，后来伴随着传统逻辑学的兴盛逐渐淡出人们的视野。将似真推理作为人类能力所及的最佳论辩方案是在后柏拉图时代的事情，卡尼阿德斯（Carneades）是似真推理的最早倡导者。在他看来，所谓的似真性是指某些事物看上去为真，或者说它与周围看似为真的事物相协调，如果经过了检验并且这些事物是相对静止的，此时它就具有了更大的似真性。卡尼阿德斯（Carneades）的理论被后世称为“似真性理论”，它与现代数学、统计学中的概率观点有着异曲同工之妙。虽然卡尼阿德斯（Carneades）笔下的“可能性”的概念不同，然而他依然针对当时带有垄断色彩的抽象哲学——将真理视为独立于人类思想之外的客观存在，提供了另一种解答——哲学并不是一种抽象的理论，而是一种生活方式。在日常生活中人们采取各种标准来评判发生在他们周围的事物，而这些标准却未必总是正确的。卡尼阿德斯（Carneades）提出了解决这种悖论的方法：当主体在面临某个陈述时，一种陈述显然为真，另一种显然为假。在这些被主体判定为显然为真的陈述时必然有些内容是模糊不清的——例如那些看似瘦弱的人有可能十分强壮。也就是说当前提并不必然是真的，判断主体可以姑且暂时将其视为真。See John R.Josephson and Susan G.Josephson，ed.，Abductive Inference：Computation，Philosophy，Technology，Cambridge University Press，（1994），p.27-29。
前引7，第78页。
See L.Ray Patterson，Evidence：A Functional Meaning，18 VAND.L.REV.875，1965.
Douglas N.Walton and Eric C.Krabbe，Commitment in Dialogue：Basic Concepts of Interpersonal Reasoning，New York：State University of New York Press，1995，p.179.这五种分类也许并不能完全囊括所有类型的对话形式，但其他形式的对话实际上都是如下五种对话的复合体，如法庭论辩实际上就是说服型对话与争斗型对话的混合；在选举或立法机关出现的政治论辩是具有争斗色彩的说服对话。
See Frans H.van Eemeren，Rob Grootendorst，J.Anthony Blair，and Charles A.Willard，Argumentation：Perspectives andApproaches，Foris Publications.1987，p.382.
See C.L.Hamblin，Fallacies，London：Methuen，1970.汉宾的上述言论代表了美国新近实证主义者的观点。他们力图跳出传统哲学信仰的定义，强调存在着这样一种精神状态：我可以暂时相信看似为真的某个主张的真理性，但伴随着其他新信息的涌入，这种信奉状态极有可能发生变化。在说服对话中对话人可以自由地改变他的认诺库存而无需付出任何代价。
See Buchanan&Headrick.Some Speculation about Artificial Intelligence and Legal Reasoning，23StanfordL.R.40-62（1970）.
布尔逻辑得名于乔治·布尔（George Boole），他是国立科克大学（College Cork）的英国数学家。他在19世纪中叶首次定义了逻辑的代数系统。现在，布尔逻辑在电子学、计算机硬件和软件中有很多应用。
参见黑斯蒂主编：《陪审员的内心世界：陪审员裁决过程的心理分析》，刘威、李恒译，北京大学出版社2006年版，第132页。
