Logical uncertainty is an open problem, of course (I attended a workshop on it once, and was surprised at how little progress has been made).
But so far as Dutch-booking goes, the obvious way out is 2 with the caveat that the probability distribution never has P(X) < (PX&Y) at the same time, i.e., you ask it P(X), it gives you an answer, you ask it P(X&Y), it gives you a higher answer, you ask it P(X) again and it now gives you an even higher answer from having updated its logical uncertainty upon seeing the new thought Y.
It is also clear from the above that taw does not comprehend the notion of subjective uncertainty, hence the notion of logical uncertainty.
Logical uncertainty is an open problem, of course (I attended a workshop on it once, and was surprised at how little progress has been made).
But so far as Dutch-booking goes, the obvious way out is 2 with the caveat that the probability distribution never has P(X) < (PX&Y) at the same time, i.e., you ask it P(X), it gives you an answer, you ask it P(X&Y), it gives you a higher answer, you ask it P(X) again and it now gives you an even higher answer from having updated its logical uncertainty upon seeing the new thought Y.
It is also clear from the above that taw does not comprehend the notion of subjective uncertainty, hence the notion of logical uncertainty.
Have any ideas?