Bayesian Propositional Logic
Keywords: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.
 R. Carnap, Logical Foundation of Probability, Routledge and Kegan Paul, London (1951).
 C. Howson, P. Urbach Scientific reasoning: the Bayesian approach, La Salle, Illinois (1990).
 A. N. Kolmogorov, Foundations of the theory of probability second english edition, Chelsea Publishing Company, New York (1956).
 S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, Artificial Intelligence 44 (1990), pp. 167–207.
 T. Kuipers, Studies in Inductive Probability and Rational Expectation, Reidel, Dordrecht (1978).
 T. Kuipers, From Instrumentalism to Constructive Realism, Synthese Library 287, Kluwer Academic Press, Dordrecht (2000).
 D. Makinson, Bridges from Classical to Nonmonotonic Logic, Texts in Computing, Kings College, London (2005).
 J. Pearl, Probabilistic Reasoning in Intelligent Systems, Morgan Kaufman, San Mateo, CA (1978).
 J. Pearl, On Two Pseudo-Paradoxes in Bayesian Analysis, Annals of Mathematics and Artificial Intelligence 32(2001), pp. 171–177.
 K. Popper, The Logic of Scientific Discovery, revised edition, Hutchinson, London (1968).
How to Cite
Copyright (c) 2017 © Copyright by Authors, Łódź 2017; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2017
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.