Published in Volume XXIX, Issue 1, 2019, pages 1–58, doi: 10.7561/SACS.2019.1.1

Authors: J.A. Bergstra


Bayesian inference as applied in a legal setting is about belief transfer and involves a plurality of agents and communication protocols. A forensic expert (FE) may communicate to a trier of fact (TOF) first its value of a certain likelihood ratio with respect to FE’s belief state as represented by a probability function on FE’s proposition space.

Subsequently FE communicates its recently acquired confirmation that a certain evidence proposition is true. Then TOF performs likelihood ratio transfer mediated reasoning thereby revising their own belief state.

The logical principles involved in likelihood transfer mediated reasoning are discussed in a setting where probabilistic arithmetic is done within a meadow, and with Adams conditioning placed in a central role.

Keywords: Boolean algebra, meadow, likelihood ratio, Adams conditioning, Bayesian conditioning, imprecise probabilities.

Full Text (PDF)


[1] C.M. Arguello. Jury Instructions. Criminal-Final-Jury-Instructions.pdf.

[2] G. Belot. Bayesian Orgulity. Philosophy of Science 80(4), 483–503, 2013. doi:10.1086/673249.

[3] C.E. H. Berger, J. Buckleton, C. Champod, I.W. Evett, G. Jackson. Expressing Evaluative Opinions: A Position Statement. (see also Science & Justice 51(1), 1–2, 2011, with different authors, doi:10.1016/j.scijus.2011.01.002).

[4] C.E.H. Berger, K. Slooten. The LR Does Not Exist. Science & Justice 56(5), 388–391, 2016. doi:10.1016/ j.scijus.2016.06.005.

[5] J.A. Bergstra. Conditional Values in Signed Meadow Based Axiomatic Probability Calculus. arxiv:1609.02812, 2016.

[6] J.A. Bergstra, I. Bethke, A. Ponse. Cancellation Meadows: A Generic Basis Theorem and Some Applications. The Computer Journal 56(1), 3–14, 2013. doi:10.1093/comjnl/bxs028.

[7] J.A. Bergstra, I. Bethke, A. Ponse. Equations for Formally Real Meadows. Journal of Applied Logic 13(2), part B, 1–23, 2015. doi:10.1016/j.jal.2015.01.004.

[8] J.A. Bergstra, C.A. Middelburg. Division by Zero in Non-Involutive Meadows. Journal of Applied Logic 13(1), 1–12, 2015. doi:10.1016/j.jal.2014.10.001.

[9] J.A. Bergstra, C.A. Middelburg. Thread Algebra for Strategic Interleaving. Formal Aspects of Computing 19(4), 445–474, 2007. doi:10.1007/s00165-007-0024-9.

[10] J.A. Bergstra, A. Ponse. Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract). In P. James, M. Roggenbach (Eds.) Recent Trends in Algebraic Development Techniques. WADT 2016. Lecture Notes in Computer Science 10644, 73–87, Springer, 2017. doi:10.1007/978-3-319-72044-9_6.

[11] J.A. Bergstra, A. Ponse. Datatype Defining Rewrite Systems for the Ring of Integers, and for Natural and Integer Arithmetic in Unary View. arxiv:1608.06212, 2016.

[12] J.A. Bergstra, A. Ponse, D.J.C. Staudt. Short-Circuit Logic. arxiv: 1010.3674v4, 2013.

[13] J.A. Bergstra, J.V. Tucker. The Rational Numbers as an Abstract Data Type. Journal of the ACM 54 (2), Article no. 7, 2007. doi: 10.1145/1219092.1219095.

[14] A. Biedermann. The Role of the Subjectivist Position in the Probabilization of Forensic Science. Journal of Forensic Science and Medicine 1(2), 140-148, 2015. doi:10.4103/2349-5014.169569.

[15] A. Biedermann, J. Vuille. Digital Evidence, ‘Absence’ of Data and Ambiguous Patterns of Reasoning. Digital Investigation 16, 586–595, 2016. doi:10.1016/j.diin.2016.01.011.

[16] R. Bradley. Radical Probabilism and Bayesian Conditioning. Philosophy of Science 72(2), 342–364, 2005. doi:10.1086/432427.

[17] P. Diaconis, S.L. Zabell. Updating Subjective Probability. Journal of the American Statistical Association 77(380), 822–830, 1982. doi:10.2307/2287313.

[18] I. Evett. The Logical Foundations of Forensic Science: Towards Reliable Knowledge. Philosophical Transactions of the Royal Society B: Biological Sciences 370(1674), 2015. doi:10.1098/rstb.2014.0263.

[19] N. Fenton, M. Neil, D. Berger. Bayes and the Law. Annual Review of Statistics and its Applications 5, 51–77, 2016. doi:10.1146/annurev-statistics-041715-033428.

[20] S.E. Fienberg, M.O. Finkelstein. Bayesian Statistics and the Law. In J. M. Bernardo, J. O. Berger, A. P. Dawid, A. F. M. Smith (Eds.) Bayesian Statistics 5, 129–146, Oxford University Press, 1996.

[21] B. Gyenis. Bayes Rules All: On the Equivalence of Various Forms of Learning in a Probabilistic Setting. PhilSci-Archive:11230, 2014.

[22] F. Huber. For True Conditionalizers Weisberg’s Paradox is a False Alarm. Symposion 1(1), 111–119, 2014. doi:10.5840/symposion2014118.

[23] K. Korb. Bayesian Informal Logic and Fallacy. Informal Logic 24(1), 41–70, 2004. doi:10.22329/il.v24i1.2132.

[24] I. Levi. On Indeterminate Probabilities. The Journal of Philosophy 71(13, Preference and Probability), 391–418, 1974. doi:10.2307/2025161.

[25] D.V. Lindley. Probability and the Law. Journal of the Royal Statistical Society. Series D (The Statistician) 26(3), 203–220, 1977. doi:10.2307/2987898.

[26] S. Lund, Ha. Iyer. Use of Interval Quantifications for the Value of Forensic Evidence. Technical Colloquium: Quantifying the Weight of Evidence, National Institute of Standards and Technology, 2016. sites/default/files/documents/2016/12/07/06_hari_lr_interval_panel.pdf.

[27] R. Marquis, A. Biedermann, L. Cadola, C. Champod, L. Gueissaz, G. Massonnet, W.D. Mazella, F. Taroni, T Hicks. Discussion on How to Implement a Verbal Scale in a Forensic Laboratory: Benefits, Pitfalls and Suggestions to Avoid Misunderstandings. Science & Justice 56(5), 364–370, 2016. doi:10.1016/j.scijus.2016.05.009.

[28] G.S. Morrison, E. Enzinger. What Should a Forensic Practitioner’s Likelihood Ratio Be? Science & Justice 56(5), 374–379, 2016. doi:10.1016/j.scijus.2016.05.007.

[29] W.M. de Muynck. Foundations of Quantum Mechanics, An Empiricist Approach. Fundamental Theories of Physics, Vol. 127. Springer Netherlands, 2002. doi:10.1007/0-306-48047-6.

[30] G. Rens. On Stochastic Belief Revision and Update and their Combination. arxiv:1604.02126, 2016.

[31] D.M. Risinger. Reservations About Likelihood Ratios (And Some Other Aspects of Forensic ‘Bayesianism’). Law, Probability and Risk 12(1), 63–73, 2013. doi:10.1093/lpr/mgs011.

[32] B. Robertson, G.A. Vignaux, C.E.H. Berger. Extending the Confusion about Bayes, Modern Law Review 74(3), 444–455, 2011. doi:10.1111/j.1468-2230.2011.00857.x.

[33] M. Schweizer. Intuition, Statistik und Beweiswürdigung. Justice-Justiz-Giustizia 4, 2006. http://richterzeitung.

[34] M. Schweizer. The Law Doesn’t Say Much About Base Rates. 2013. doi:10.2139/ssrn.2329387.

[35] M.J. Sjerps, I. Alberink, A. Bolck, R.D. Stoe, P. Vergeer, J.H. van Zanten. Uncertainty and LR: To Integrate or Not to Integrate, That’s the Question. Law, Probability and Risk 15(1), 23–29, 2016. doi:10.1093/lpr/mgv005.

[36] C. Stephens. A Bayesian Approach to Absent Evidence Reasoning. Informal Logic 31(1), 56–65, 2011. doi:10.22329/il.v31i1.2967.

[37] M. Strevens. Notes on Bayesian Confirmation Theory. 2012.

[38] S. Suzuki. The Old Evidence Problem and AGM Theory. Annals of the Japanese Association for Philosophy of Science 2, 105–126, 2005. doi:10.4288/jafpos1956.13.105.

[39] W.C. Thompson, E.L. Shumann. Interpretation of Statistical Evidence in Criminal Trials: The Prosecutor’s Fallacy and the Defense Attorney’s Fallacy. Law and Human Behavior 2(3), 167–187, 1987. doi:10.4324/9781315094205-15.

[40] F. Voorbraak. Probabilistic Belief Expansion and Conditioning. ILLC Research LP-96-07, Univ. of Amsterdam, 1996. type=pdf.

[41] B. Weatherson. Keynes, Uncertainty and Interest Rates. Cambridge Journal of Economics 26(1), 47–62, 2002. doi:10.4324/10.1093/cje/26.1.47.

[42] B. Weatherson. The Bayesian and the Dogmatist. Proceedings of the Aristotelian Society 107, 169–185, 2007. doi:10.1111/j.1467-9264.2007.00217.x.

[43] B. Weatherson. For Bayesians, Rational Modesty Requires Imprecision. Ergo (an Open Access Journal of Philosophy) 2(20), 529–545, 2015. doi:10.3998/ergo.12405314.0002.020.

[44] B. Weatherson, David Lewis, In E.N. Zalta (Ed.) The Stanford Encyclopedia of Philosophy (Winter 2016 Edition), 2016.

[45] J. Weisberg. Commutativity or Holism? A Dilemma for Conditionalizers. The Brittish Journal for the Philosophy of Science 60(4), 793–812, 2009. doi:10.1093/bjps/axp007.

[46] S. Willis et al. ENSFI Guideline for Evaluative Reporting in Forensic Science. 2015.

[47] S. Yalcin. Belief as Question-Sensitive. Philosophy and Phenomenological Research 97(1), 23–47, 2018. doi:10.1111/phpr.12330.


  title={Adams Conditioning and Likelihood Ratio Transfer Mediated Inference},
  author={J. A. Bergstra},
  journal={Scientific Annals of Computer Science},
  organization={Alexandru Ioan Cuza University, Ia\c si, Rom\^ania},
  publisher={Alexandru Ioan Cuza University Press, Ia\c si},