Recently, on the main section of the site, Raw_Power posted an article suggesting that we find "worthy opponents" to help us avoid mistakes.
As you may recall, Rolf Nelson disagrees with me about Amanda Knox -- rather sharply. Of course, the same can be said of lots of other people (if not so much here on Less Wrong). But Rolf isn't your average "guilter". Indeed, considering that he speaks fluent Bayesian, is one of the Singularity Institute's largest donors, and is also (as I understand it) signed up for cryonics, it's hard to imagine an "opponent" more "worthy". The Amanda Knox case may not be in the same category of importance as many other issues where Rolf and I probably agree; but my opinion on it is very confident, and it's the opposite of his. If we're both aspiring rationalists, at least one of us is doing something wrong.
As it turns out, Rolf is interested in having a debate with me on the subject, to see if one of us can help to change the other's mind. I'm setting this post up as an experiment, to see if LW can serve as a suitable venue for such an exercise. I hope it can: Less Wrong is almost unique in the extent to which the social norms governing discussion reflect and coincide with the requirements of personal epistemic rationality. (For example: "Do not believe you do others a favor if you accept their arguments; the favor is to you.") But I don't think we've yet tried an organized one-on-one debate -- so we'll see how it goes. If it proves too unwieldy or inappropriate for some other reason, we can always move to another venue.
Although the primary purpose of this post is a one-on-one debate between Rolf Nelson and myself, this is a LW Discussion post like any other, and it goes without saying that others are welcome and encouraged to comment. Just be aware that we, the main protagonists, will try to keep our discussion focused on each other's arguments. (Also, since our subject is an issue where there is already a strong LW consensus, one would prefer to avoid a sort of "gangup effect" where lots of people "pounce" on the person taking the contrarian position.)
With that, here we go...
It's easy to break an approximative definition by applying it to a situation where distinctions between orders of error are important. So any such definition, strictly speaking, has to be considered a sort of analogy or metaphor that may not always be applicable to every context.
Strictly speaking, as you know, "E screens F off from A" means P(A|E&F) = P(A|E&~F). So it seems reasonable to say "E approximately screens F off from A" if |P(A|E&F) - P(A|E&~F)| is small. However, what "small" means is context-dependent. When, above, I declined to apply this terminology to E and F, it was because I was mentally comparing |P(A|E&F) - P(A|E&~F)| to |P(A|E) - P(A|E&F)|, rather than to |P(A|F) - P(A|E&F)|. The latter, of course, is much larger. So I don't suppose I can really stop you from applying the approximative definition of "screening off" in this situation if what you're interested in is P(A|F) vs P(A|E&F) (a large downward jump) rather than P(A|E) vs P(A|E&F) (a small upward jump).
What do you say we table this discussion about "approximately screens off"? (I'm thinking of writing a discussion post asking LW what a good, i.e., generally useful, definition of it would be. Maybe it doesn't have to be context-dependent, or could be less context-dependent, if we talk about P(A|E&F) / P(A|E&~F) instead of P(A|E&F) - P(A|E&~F).)
For now, perhaps you can just tell me what mathematical statement you actually had in mind, when you said "Screened off by the evidence against Rudy Guede"?