Abstract
Leibniz seems to have been the first to suggest a logical interpretation of probability, but there have always seemed formidable mathematical and interpretational barriers to implementing the idea. De Finetti revived it only, it seemed, to reject it in favour of a purely decision-theoretic approach. In this paper I argue that not only is it possible to view (Bayesian) probability as a continuum-valued logic, but that it has a very close formal kinship with classical propositional logic.
Similar content being viewed by others
Notes
The penalty is a quadratic function of the difference, added over the (finitely many) quantities estimated.
In the same book de Finetti proved that coherence is equivalent to invulnerability to certain loss or gain in finitely many simultaneous bets.
‘… il faudrait une nouvelle espèce de logique, qui traiterait des degrés de probabilité.’ (Nouveaux Essais, I, IV c. 16).
Even natural language arguably demands a second-order view: if Jack is tall and Jill is tall then there is a property they share; while branching quantifiers, which are claimed to formalise some natural-language sentences, seem to be second order (their Skolemization is second order).
Wenmackers and Horsten (2013): they call the condition SUM.
The point is made in Milne (1990).
There is a more extended defence of the case—essentially de Finetti’s—against countable additivity in Howson (2014).
For example Maher in his own discussion of the example: ‘de Finetti cannot consistently reject countable additivity’ (1993, p. 2000).
Finetti (1972, p. 91).
Finetti (1972, p. 77).
Finetti (1972, p. 91).
As is explained clearly in Weintraub (2001).
References
Abadi, M., & Halpern, J. Y. (1994). Decidability and expressiveness in first order logics of probability. Information and Computation, 112, 1–36.
Bell, J. L. (2006). Infinitary logic. Stanford Encyclopedia of Philosophy.
Billingsley, P. (1995). Probability and measure. New York: Wiley.
Coletti, G., & Scozzafava, R. (2002). Probabilistic logic in a coherent setting. Dordrecht: Kluwer.
de Finetti, B. (1936). La logique de la probabilité. Actes du Congrès International de Philosophie Scientifique, 4, 1–9.
de Finetti, B. (1937). ‘La prévision: ses lois logiques, ses sources subjectives’. Paris: Institut Henri Poincaré. Page references to the English translation: Kyburg, H. E. (1964). Foresight: Its logical laws, its subjective sources. In H. E. Kyburg, H. Smokler (Eds.) Studies in subjective probability, 2nd edn. New York: Wiley.
de Finetti, B. (1972). Probability, induction and statistics. New York: Wiley.
de Finetti, B. (1974). Theory of probability (Vols. 1, 2). English translation: Einaudi, L. (1970). Teorie delle probabilità.
Gaifman, H. (1964). Concerning measures in first order calculi. Israel Journal of Mathematics, 1, 1–18.
Halpern, J. Y. (1990). An analysis of first-order logics of probability. Artificial Intelligence, 46, 311–350.
Howson, C. (2014). Finite additivity, another lottery paradox and conditionalisation. Synthese (forthcoming).
Kadane, J. B., Schervish, M. J., & Seidenfeld, T. (1986). Statistical implications of finitely additive probability. In P. Goel & A. Zellner (Eds.), Bayesian inference and decision techniques: essays in honor of Bruno de Finetti (pp. 59–76). Amsterdam: North Holland.
Kelly, K. (1996). The logic of reliable inquiry. Oxford: Oxford University Press.
Kolmogorov, A. N. (1933), Foundations of the theory of probability. New York: Chelsea. (English translation of Grundbegriffe der Wahrscheinlichkeitsrechnung, published in 1951).
Maher, P. (1993). Betting on theories. Cambridge: Cambridge University Press.
Milne, P. (1990). Scotching the Dutch book argument. Erkenntnis, 32, 105–126.
Rényi, A. (1955). On a new axiomatic theory of probability. Acta Mathematica Academiae Scientiarum Hungaricae, 6, 285–335.
Scott, D., & Krauss, P. (1966). Assigning probabilities to logical formulas. In J. Hintikka & P. Suppes (Eds.), Aspects of inductive logic (pp. 219–264). Amsterdam: North Holland.
Smullyan, R. (1968). First order logic. New York: Dover.
Weintraub, R. (2001). The lottery: A paradox regained and resolved. Synthese, 129, 439–449.
Wenmackers, S., & Horsten, L. (2013). Fair infinite lotteries. Synthese, 190, 37–61.
Acknowledgments
I am grateful to two anonymous referees for their very helpful comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Howson, C. A Continuum-Valued Logic of Degrees of Probability. Erkenn 79, 1001–1013 (2014). https://doi.org/10.1007/s10670-013-9586-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10670-013-9586-5