I’ve also dabbled into the matter, and I have two observation:
I’m not sure that probabilities should be understood as truth values. I cannot prove it, but my gut feeling is telling me that they are two different things altogether. Sure, operations on truth values should turn into operations on probabilities, but their underlying logic is different (probabilities after all should be measures, while truth values are algebras)
While 0 and 1 are not (good) epistemic probabilities, they are of paramount importance in any model of probability. For example, P(X|X) = 1, so 0⁄1 should be included in any model of probability
I’m not sure that probabilities should be understood as truth values. I cannot prove it, but my gut feeling is telling me that they are two different things altogether.
My feeling is that the arguments I give above are pretty decent reasons to think that they’re not truth values! As I wrote: “The thesis of this post is that probabilities aren’t (intuitionistic) truth values.”
I’ve also dabbled into the matter, and I have two observation:
I’m not sure that probabilities should be understood as truth values. I cannot prove it, but my gut feeling is telling me that they are two different things altogether. Sure, operations on truth values should turn into operations on probabilities, but their underlying logic is different (probabilities after all should be measures, while truth values are algebras)
While 0 and 1 are not (good) epistemic probabilities, they are of paramount importance in any model of probability. For example, P(X|X) = 1, so 0⁄1 should be included in any model of probability
My feeling is that the arguments I give above are pretty decent reasons to think that they’re not truth values! As I wrote: “The thesis of this post is that probabilities aren’t (intuitionistic) truth values.”
Yeah, my point is that they aren’t truth values per se, not intuitionistic or linear or MVs or anything else