Notre Dame Journal of Formal Logic 44 (2):111-123 (2003)
Authors |
|
Abstract |
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
|
Keywords | probability intuitionistic logic |
Categories | (categorize this paper) |
DOI | 10.1305/ndjfl/1082637807 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Truth and Probability.Frank Ramsey - 1926 - In Antony Eagle (ed.), Philosophy of Probability: Contemporary Readings. Routledge. pp. 52-94.
The Probable and the Provable.Laurence Jonathan Cohen - 1977 - Oxford and New York: Clarendon Press.
View all 31 references / Add more references
Citations of this work BETA
Imprecise Probabilities.Anna Mahtani - 2019 - In Richard Pettigrew & Jonathan Weisberg (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 107-130.
Measuring Evidence: A Probabilistic Approach to an Extension of Belnap–Dunn Logic.Abilio Rodrigues, Juliana Bueno-Soler & Walter Carnielli - 2020 - Synthese 198 (S22):5451-5480.
Gradational Accuracy and Nonclassical Semantics.J. Robert G. Williams - 2012 - Review of Symbolic Logic 5 (4):513-537.
Degree Supervaluational Logic.J. Robert G. Williams - 2011 - Review of Symbolic Logic 4 (1):130-149.
View all 22 citations / Add more citations
Similar books and articles
Absolute Probability Functions for Intuitionistic Propositional Logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
Bayesianism I: Introduction and Arguments in Favor.Kenny Easwaran - 2011 - Philosophy Compass 6 (5):312-320.
On Generalizing Kolmogorov.Richard Dietz - 2010 - Notre Dame Journal of Formal Logic 51 (3):323-335.
Probability, Logic, and Probability Logic.Alan Hájek - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Blackwell. pp. 362--384.
Probability Logic and Borel's Denumerable Probability.Theodore Hailperin - 2008 - History and Philosophy of Logic 29 (3):307-307.
Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Non-Archimedean Probability.Vieri Benci, Leon Horsten & Sylvia Wenmackers - 2013 - Milan Journal of Mathematics 81 (1):121-151.
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Analytics
Added to PP index
2009-01-28
Total views
259 ( #42,146 of 2,507,661 )
Recent downloads (6 months)
10 ( #73,748 of 2,507,661 )
2009-01-28
Total views
259 ( #42,146 of 2,507,661 )
Recent downloads (6 months)
10 ( #73,748 of 2,507,661 )
How can I increase my downloads?
Downloads