Open Access
2003 From Classical to Intuitionistic Probability
Brian Weatherson
Notre Dame J. Formal Logic 44(2): 111-123 (2003). DOI: 10.1305/ndjfl/1082637807


We generalize the Kolmogorov axioms for probability calculus to obtain conditions defining, for any given logic, a class of probability functions relative to that logic, coinciding with the standard probability functions in the special case of classical logic but allowing consideration of other classes of "essentially Kolmogorovian" probability functions relative to other logics. We take a broad view of the Bayesian approach as dictating inter alia that from the perspective of a given logic, rational degrees of belief are those representable by probability functions from the class appropriate to that logic. Classical Bayesianism, which fixes the logic as classical logic, is only one version of this general approach. Another, which we call Intuitionistic Bayesianism, selects intuitionistic logic as the preferred logic and the associated class of probability functions as the right class of candidate representions of epistemic states (rational allocations of degrees of belief). Various objections to classical Bayesianism are, we argue, best met by passing to intuitionistic Bayesianism—in which the probability functions are taken relative to intuitionistic logic—rather than by adopting a radically non-Kolmogorovian, for example, nonadditive, conception of (or substitute for) probability functions, in spite of the popularity of the latter response among those who have raised these objections. The interest of intuitionistic Bayesianism is further enhanced by the availability of a Dutch Book argument justifying the selection of intuitionistic probability functions as guides to rational betting behavior when due consideration is paid to the fact that bets are settled only when/if the outcome bet on becomes known.


Download Citation

Brian Weatherson. "From Classical to Intuitionistic Probability." Notre Dame J. Formal Logic 44 (2) 111 - 123, 2003.


Published: 2003
First available in Project Euclid: 21 April 2004

zbMATH: 1069.60002
MathSciNet: MR2060058
Digital Object Identifier: 10.1305/ndjfl/1082637807

Primary: 60A05
Secondary: 03B20

Keywords: Intuitionistic logic , Probability

Rights: Copyright © 2003 University of Notre Dame

Vol.44 • No. 2 • 2003
Back to Top