Ah, yeah, that’s a good way to do it. I like the post you linked.
I wasn’t meaning to imply that Bayesians can’t do falsification, only that Bayesians see it as a special case of a more general thing, and so may not be as excited about the shorthand “co-proof”.
Bayesians can do Popperian falsification—to falsify a hypothesis H, all you have to do is find a hypothesis H′ such that
as discussed in the blog post Closed Worlds and Bayesian Inference.
Ah, yeah, that’s a good way to do it. I like the post you linked.
I wasn’t meaning to imply that Bayesians can’t do falsification, only that Bayesians see it as a special case of a more general thing, and so may not be as excited about the shorthand “co-proof”.