Bayesian Propositional Logic


  • Tomasz Jarmużek Department of Logic, Nicolaus Copernicus University in Toruń
  • Mateusz Klonowski
  • Jacek Malinowski Institute of Philosophy and Sociology, Polish Academy of Sciences



logical entailment, statistical inference, Bayesian inference, corroboration, confirmation


We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w , for all w, and give some formal properties of it.


[1] R. Carnap, Logical Foundation of Probability, Routledge and Kegan Paul, London (1951).
Google Scholar

[2] C. Howson, P. Urbach Scientific reasoning: the Bayesian approach, La Salle, Illinois (1990).
Google Scholar

[3] A. N. Kolmogorov, Foundations of the theory of probability second english edition, Chelsea Publishing Company, New York (1956).
Google Scholar

[4] S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, Artificial Intelligence 44 (1990), pp. 167–207.
Google Scholar

[5] T. Kuipers, Studies in Inductive Probability and Rational Expectation, Reidel, Dordrecht (1978).
Google Scholar

[6] T. Kuipers, From Instrumentalism to Constructive Realism, Synthese Library 287, Kluwer Academic Press, Dordrecht (2000).
Google Scholar

[7] D. Makinson, Bridges from Classical to Nonmonotonic Logic, Texts in Computing, Kings College, London (2005).
Google Scholar

[8] J. Pearl, Probabilistic Reasoning in Intelligent Systems, Morgan Kaufman, San Mateo, CA (1978).
Google Scholar

[9] J. Pearl, On Two Pseudo-Paradoxes in Bayesian Analysis, Annals of Mathematics and Artificial Intelligence 32(2001), pp. 171–177.
Google Scholar

[10] K. Popper, The Logic of Scientific Discovery, revised edition, Hutchinson, London (1968).
Google Scholar




How to Cite

Jarmużek, T., Klonowski, M., & Malinowski, J. (2017). Bayesian Propositional Logic. Bulletin of the Section of Logic, 46(3/4), 151–168.



Research Article