This paper is one in a series of rational analyses of the Dutch Simonshaven case, each using a different theoretical perspective. The theoretical perspectives discussed in the literature typically use arguments, scenarios, and probabilities, in various combinations. The theoretical perspective on evidential reasoning used in this paper has been designed to connect arguments, scenarios, and probabilities in a single formal modeling approach, in an attempt to investigate bridges between qualitative and quantitative analytic styles. The theoretical perspective uses the recently proposed (...) logical formalism of case models, where cases represent possible combinations of evidence and events, ordered by an ordering relation. In the context of evidential reasoning, the ordering relation can be represented by a probability function. As an ordering relation is qualitative in nature, the theoretical perspective is in a formally precise sense simultaneously with and without probabilities. (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

When we talk about the coherence of a story, we seem to think of how well its individual pieces fit together—how to explicate this notion formally, though? We develop a Bayesian network based coherence measure with implementation in _R_, which performs better than its purely probabilistic predecessors. The novelty is that by paying attention to the network structure, we avoid simply taking mean confirmation scores between all possible pairs of subsets of a narration. Moreover, we assign special importance to the (...) weakest links in a narration, to improve on the other measures’ results for logically inconsistent scenarios. We illustrate and investigate the performance of the measures in relation to a few philosophically motivated examples, and (more extensively) using the real-life example of the Sally Clark case. (shrink)

Most legal evidence scholars agree that proof of guilt beyond a reasonable doubt requires the belief that the defendant probably committed the alleged acts. However, they also agree that this is not a sufficient condition, as this belief may be unreasonable. I focus on two popular proposals for additional conditions: (i) that the degree of belief should be robust and (ii) that it should be reasonable given the available evidence (should be an evidential probability). Both criteria face difficulties regarding their (...) meaning and utility. I propose an interpretation which overcomes these difficulties and which combines the two conditions into a single criterion on which both conditions are about the possibility of overlooked, exculpatory information. Proof of guilt beyond a reasonable doubt requires that we are sufficiently certain that we did not miss such information for the sake of achieving accurate beliefs and a just error distribution. How certain we can be that we did not miss anything relevant depends on our higher-order evidence. One important type of higher-order evidence is whether the hypotheses under consideration are sufficiently detailed. This point leads to a novel way of combining the Bayesian and explanation-based accounts of rational legal proof. (shrink)

Explanationist accounts of rational legal proof view trials as a competition between explanations. Such accounts are often criticized for being underdeveloped. One question in need of further attention is when guilt is proven beyond a reasonable doubt in criminal trials. This article defends an inference to the best explanation -based approach on which guilt is only established BARD if the best guilt explanation in a case is substantially more plausible than any innocence explanation, and there is no good reason to (...) presume that we have overlooked evidence or alternative explanations that could realistically have exonerated the defendant. This is a comparative account, which I argue is better suited for arriving at accurate verdicts than the non-comparative ‘no plausible alternative’ account that many explanationists tacitly assume. Furthermore, this account is not susceptible to the most important arguments against IBE in criminal trials or to arguments against other, non-explanationist interpretations of the BARD standard. I use a case study to illustrate how this account provides meaningful guidance for decision makers in criminal trials. (shrink)

Many philosophers have pointed out that statistical evidence, or at least some forms of it, lack desirable epistemic or non-epistemic properties, and that this should make us wary of litigations in which the case against the defendant rests in whole or in part on statistical evidence. Others have responded that such broad reservations about statistical evidence are overly restrictive since appellate courts have expressed nuanced views about statistical evidence. In an effort to clarify and reconcile, I put forward an interpretive (...) analysis of why statistical evidence should raise concerns in some cases but not others. I argue that when there is a mismatch between the specificity of the evidence and the expected specificity of the accusation, statistical evidence—as any other kind of evidence—should be considered insufficient to sustain a conviction. I rely on different stylized court cases to illustrate the explanatory power of this analysis. (shrink)

I comment on two analyses of the Simonshaven case: one by Prakken (2019), based on arguments, and the other by van Koppen and Mackor (2019), based on scenarios (or stories, narratives). I argue that both analyses lack a clear account of proof beyond a reasonable doubt because they lack a clear account of the notion of plausibility. To illustrate this point, I focus on the defense argument during the appeal trial and show that both analyses face difficulties in modeling key (...) features of this argument. (shrink)

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...) is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)