In 1983 Karl Popper and David Miller published an argument to the effect that probability theory could be used to disprove induction. Popper had long been an opponent of induction. Since probability theory in general, and Bayes in particular is often seen as rescuing induction from the standard objections, the argument is significant.
It is being discussed over at the Critical Rationalism site.
Hi,
I am the author. It wasn't a mistranslation. The logical equivalence was not translated into anything. It was merely intended to break down A according to its logical consequences shared with B. I never wrote "P(A v B) + P(A v ~B)," because that would be irrelevant.
In the very next equation after "A = (A v B) & (A v ~B)", you write:
This is the equation where you put in the plus signs. Additionally, you can break things down like that inside the P() operator, but you can't just move that to outside the P() operator, because things might be correlated (and, in the case of B and ~B, certainly are).