A |= (A v B) & (A v ~B) and (A v B) & (A v ~B) |= A
Where |= means entailment or logical consequence. =||= is analogous to a biconditional.
The point is that each side of a bientailment is logically equivalent, but the breakdown allows us to see how B alters the probability of different logical consequences of A.
Thank you, I think I understand most of it now. I don’t see (at this hour) where the absolute values come from, but that doesn’t seem to matter much. Let’s focus on this line:
Therefore, in the subjective interpretation, given B, one should have increased confidence in both A and ~(A v ~B), but that is a flat contradiction with a probability of 0.
The conjunction of those two does contradict itself, and if you actually write out the probability of the contradiction—using the standard product rule p(CD)=p(D)p(C|D) rather than multiplying their separate probabilities p(D)p(C) together—you’ll see that it always equals zero.
But each separate claim (A, and B~A), can increase in probability provided that they each take probability from somewhere else, namely from ~B~A. I see no problem with regarding this as an increase for our subjective confidence in A and a separate increase for B~A. Again, each grows by replacing an option (or doubt) which no longer exists for us. Some of that doubt-in-A simply changed into a different form of doubt-in-A, but some of it changed into confidence. The total doubt therefore goes down even though one part increases.
DanielLC,
Hi, I am the author.
The =||= just means bientailment. It’s short for,
A |= (A v B) & (A v ~B) and (A v B) & (A v ~B) |= A
Where |= means entailment or logical consequence. =||= is analogous to a biconditional.
The point is that each side of a bientailment is logically equivalent, but the breakdown allows us to see how B alters the probability of different logical consequences of A.
Thank you, I think I understand most of it now. I don’t see (at this hour) where the absolute values come from, but that doesn’t seem to matter much. Let’s focus on this line:
The conjunction of those two does contradict itself, and if you actually write out the probability of the contradiction—using the standard product rule p(CD)=p(D)p(C|D) rather than multiplying their separate probabilities p(D)p(C) together—you’ll see that it always equals zero.
But each separate claim (A, and B~A), can increase in probability provided that they each take probability from somewhere else, namely from ~B~A. I see no problem with regarding this as an increase for our subjective confidence in A and a separate increase for B~A. Again, each grows by replacing an option (or doubt) which no longer exists for us. Some of that doubt-in-A simply changed into a different form of doubt-in-A, but some of it changed into confidence. The total doubt therefore goes down even though one part increases.