I've finally started thinking about logical uncertainty again. So, maybe decision theory blog post forthcoming?

Of course one can simply say that the expected value of betting on logical propositions is higher than that of not betting. But not only is this weaker and possibly more complicated than simply proving an analogy of one of various derivations of probability, it's a lot easier to say the words than to show it for an algorithm without circularity.