Gyenis, Zalán
(2018)
Finite Jeffrey logic is not finitely axiomatizable.
[Preprint]
Abstract
Bayes logics based on Bayes conditionalization as a probability updating mechanism have recently been introduced in [http://philsci-archive.pitt.edu/14136/]. It has been shown that the modal logic of Bayesian belief revision determined by probabilities on a finite set of elementary propositions or on a standard Borel space is not finitely axiomatizable [http://philsci-archive.pitt.edu/14136/]. Apart from Bayes conditionalization there are other methods, extensions of the standard one, of updating a probability measure. One such important method is Jeffrey's conditionalization. In this paper we consider the modal logic $\JL_{<\omega}$ of probability updating based on Jeffrey's conditionalization where the underlying measurable space is finite. By relating this logic to the logic of absolute continuity and to Medvedev's logic of
finite problems, we show that $\JL_{<\omega}$ is not finitely axiomatizable. The result is significant because it indicates that axiomatic approaches to belief revision might be severely limited.
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}