Stuart_Armstrong comments on Logic in the language of probability

[Stuart_Armstrong]

Since P(A|B) is properly undefined, any attempt to define it will have some negative features.