I’m familiar with “anything statement can be derived from an inconsistent theory” but I really am confused by how any such derivation could be a proof of consistency. If proofs of consistency are possible for inconsistent theories then how exactly are they proofs of consistency?
It’s a “proof” in that it follows the formal rules of the proof system. You can “prove” anything if your rules are sufficiently ridiculous, but that doesn’t mean the proof actually means anything.
Actually, it is a serious point. If you choose thories at random, according to some universal prior, then a lot of them are going to be inconsistent. And most of the theories that can quickly prove their own consistency are the inconsistent ones. So this does provide some information (depending on how the consistency proof was arrived at, of course).
That was pretty much what I was getting at. But since I’m not in a position to quantify how strong the evidence is, I took the cheap route of making it a joke :).
I’m not sure I know what a proof of consistency is, except that I wouldn’t want an inconsistent theory to be capable of one.
An inconsistent theory can prove anything—including its own consistency.
I’m familiar with “anything statement can be derived from an inconsistent theory” but I really am confused by how any such derivation could be a proof of consistency. If proofs of consistency are possible for inconsistent theories then how exactly are they proofs of consistency?
It’s a “proof” in that it follows the formal rules of the proof system. You can “prove” anything if your rules are sufficiently ridiculous, but that doesn’t mean the proof actually means anything.
Thanks.
If I tell the truth, I cannot say: “I lie”.
But if I lie, I can say: “I tell the truth”.
So, a theory’s proving its own consistency is strong Bayesian evidence that it’s inconsistent ;).
If that’s all you know about the theory, I’d say yes—but not “strong” evidence.
I probably should have given more than just a winkie to indicate that I was joking.
Actually, it is a serious point. If you choose thories at random, according to some universal prior, then a lot of them are going to be inconsistent. And most of the theories that can quickly prove their own consistency are the inconsistent ones. So this does provide some information (depending on how the consistency proof was arrived at, of course).
That was pretty much what I was getting at. But since I’m not in a position to quantify how strong the evidence is, I took the cheap route of making it a joke :).