Saturday, December 05, 2009

Trial by Mathematics - Reconsidered

Abstract

Trial by Mathematics - Reconsidered
by Peter Tillers

In 1970 Michael O. Finkelstein (with William B. Fairley) proposed that under some circumstances a jury in a criminal trial might be invited to use Bayes' Theorem to address the issue of the identity of the criminal perpetrator. In 1971 Laurence Tribe responded to this proposal with a rhetorically-powerful and wide-ranging attack on what he called "trial by mathematics." Finkelstein responded to Tribe's attack by further explaining, refining, and defending his proposal. After a brief rejoinder, Tribe fell silent – forever – on the issue of the use of mathematical and formal methods to dissect or regulate uncertain factual proof in legal proceedings. However, Tribe's silence did not end the debate about "trial by mathematics." Tribe's attack on "trial by mathematics" had exactly the opposite effect: Tribe's attack precipitated a decades-long debate about mathematical analysis of factual inference and proof. However, that debate, which continues to this day, became generally (but not uniformly) unproductive, sterile, and repetitive long ago. Although surely a variety of factors led to this unfortunate condition, the debate about "trial by mathematics" was doomed to die with a whimper rather than a bang because two misunderstandings plagued much of the debate from the very beginning. The first misunderstanding was a widespread failure to appreciate that mathematics (including the probability calculus and Bayes' Theorem) is part of a broader family, or class, of rigorous methods of reasoning, a family of methods that is often called "formal." The second misunderstanding was a widespread failure to appreciate that mathematical and formal analyses (including but not only analyses that use numbers) can have a large variety of purposes. However, it is not too late to right this upended ship. Before any further major research project on "trial by mathematics" is begun, interested researchers in mathematics, probability, logic, and related fields, on the one hand, and interested legal professionals, on the other hand, should try to reach agreement about the possible distinct purposes that any given mathematical or formal analysis of inconclusive argument about uncertain factual hypotheses might serve. Putting aside the special (and comparatively trivial) case of mathematical and formal methods that make their appearance in legal settings because they are accoutrements of admissible forensic scientific evidence, I propose that discussants, researchers, and scholars of every stripe begin by carefully considering the possibility that mathematical and formal analysis of inconclusive argument about uncertain factual questions in legal proceedings could have any one (or more) of the following distinct purposes:

1. To predict how judges and jurors will resolve factual issues in litigation.

2. To devise methods that can replace existing methods of argument and deliberation in legal settings about factual issues.

3. To devise methods that mimic conventional methods of argument about factual issues in legal settings.

4. To devise methods that would capture some but not all ingredients of argument in legal settings about factual questions questions.

5. To devise methods that support or facilitate existing, or ordinary, argument and deliberation about factual issues in legal settings by legal actors (such as judges, lawyers, and jurors) who are generally illiterate in mathematical and formal analysis and argument.

6. To devise methods that clarify – that better express and increase the transparency of – the logic or logics that are immanent, or already present, in existing ordinary human inconclusive reasoning about uncertain factual hypotheses that arise in legal settings.

7. To devise methods that have no practical purpose – and whose validity cannot be empirically tested – but that serve only to advance understanding – possibly contemplative understanding – of the nature of inconclusive argument about uncertain factual hypotheses in legal settings.

&&&

The dynamic evidence page

It's here (more or less): the law of evidence on Spindle Law. See also this post.

Browser-based evidence marshaling: MarshalPlan in your browser

Tuesday, December 01, 2009

Floris Bex, Evidence for a Good Story (2009)

Yesterday the mail brought me the published doctoral dissertation Floris Bex, Evidence for a Good Story: A Hybrid Theory of Arguments, Stories and Criminal Evidence (2009), ISBN/EAN 978-90-5335-212-0. I have only skimmed the book at this point but I can already tell that this is a very important book. Bex's effort to effect a systematic marriage between scenarios & stories, on the one hand, and inference networks & evidential argument, on the other, gets at the root of the matter. This is because scenarios and evidential arguments are two of the fundamental methods human creatures should use and often do use to make good guesses, or inferences, about many uncertain factual hypotheses.

My congratulations to Henry Prakken, Bart Verheij, and Floris Bex, who have collaborated in meticulous and pathbreaking research on the the nature of factual inference and proof. Their work will dictate many research agendas for decades to come.

&&&

The dynamic evidence page

It's here (more or less): the law of evidence on Spindle Law. See also this post.

Browser-based evidence marshaling: MarshalPlan in your browser