Ah OK. You’re right. I guess I was taking the ‘extension of logic’ thing a little too far there. I had it in my head that ({any prop} | {any contradiction}) = T since contradictions imply anything. Thanks.
That’s legit so far as it goes—it’s just that every proposition is also false at the same time, since every proposition’s negation is also true, and the whole enterprise goes to shit. There’s no point in trying to extend logic to uncertain propositions when you can prove anything.
Ah OK. You’re right. I guess I was taking the ‘extension of logic’ thing a little too far there. I had it in my head that ({any prop} | {any contradiction}) = T since contradictions imply anything. Thanks.
That’s legit so far as it goes—it’s just that every proposition is also false at the same time, since every proposition’s negation is also true, and the whole enterprise goes to shit. There’s no point in trying to extend logic to uncertain propositions when you can prove anything.