Abstract

Gyenis and Rédei (G&R) have shown that any prior _p_ on a finite algebra _A_, however chosen, significantly restricts the set of posteriors derivable from _p_ by Jeffrey conditioning (JC) on a nontrivial measurable partition (i.e., a partition consisting of members of _A_, at least one of which is not an atom of _A_). They support this claim by proving that the set of potential posteriors _not derivable_ from _p_ in this way, which they call the _Bayes blind spot of p_, is large, having cardinality _c_ and normalized Lebesgue measure 1, as well as being of second Baire category for a natural metrizable topology. In the present paper, we establish results analogous to those of G&R for probability measures on any infinite sigma algebra of subsets of a countably infinite set (which requires distinctly different treatments of the topological and measure-theoretic cases). We also show, in both the finite and infinite cases, that all of the limitative results for a single prior _p_ continue to hold for the intersection of the Bayes blind spots of countably many priors. This leads us to reject the claim of G&R that the large size of blind spots in the single prior case is attributable to the limitations imposed by priors. We argue instead that it is the so-called _rigidity property_ of JC that accounts for the large size of Bayes blind spots. G&R also prove that _any_ potential posterior _q_ can be derived from a prior _p_ by at most two applications of JC on nontrivial partitions. But they remark that their particular two-stage derivation of an \(r \in BS(p)\) from _p_ is barely distinguishable from a single, complete reassessment on a trivial partition. We show, however, that there are two-stage derivations of _r_ from _p_ that require no direct assessment of the probability of any atom at either stage. Finally, in order to situate the aforementioned limitative results in the proper context, we demonstrate that a probability revision that would amount to complete reassessment within a Jeffrey evidentiary framework may arise, in a different evidentiary framework, in a way that involves no direct assessment of the probability of any atom, as, for example, in a generalization of Jeffrey’s solution to the problem of old evidence and new explanation.