Cases where every credence undermines its own adoption seem to lead to epistemic dilemmas. We move to considering indeterminate credences and look at what is determinately recommended of you. By doing this, we propose that the epistemic dilemmas are avoided.
This provides a new proposal for what to do at limit stages of the revision theory of truth: one shouldn’t only consider definite verdicts that are brought about, but more general closed properties. This is important if one wishes to consider a revision theory for probability.
This presents a Kripke-style construction for a language with self-referential probability as well as an ω-complete axiomatisation. It also follows Stern in arguing that principles like introspection should be formulated using a truth predicate.