This post examines the application of Dutch Book arguments to logical uncertainty, as part of an attempt to fill out the ideas I speculated on in this post.
An important question we're currently facing is how to relate logical uncertainty to logical priors.
By logical prior, I mean an assignment of real numbers representing degree of belief to sentences, . This assignment is usually required to be coherent; I'll briefly review what Dutch Book arguments have to say about this before dealing with logical uncertainty.
By logical uncertainty, I mean the problem of making predictions under time constraints, so that we are unable to use all of our relevant knowledge. We can formalize this as the problem of designing a quickly computable probability function predicting a more slowly computable . I have in mind things like Scott's three levels of difficulty.
This division between the problem of logical priors and logical uncertainty has been implicit in Scott and I's work for a while now, but we initially didn't make a full distinction between them. These really are different problems. We want the two to be connected, but that's an open problem for now.
The most obvious way for them to be connected would be for to have the kinds of good properties which are discussed in connection with logical uncertainty. (Level 3 of Scott's hierarchy is especially interesting in this respect.) However, in this post I'll take a different route, and discuss what kinds of Dutch book arguments we might apply to .
Doubting Coherence
I won't review the whole of the classic Dutch Book argument, but it is detailed here. The conclusion is this. A function expressing degrees of belief for an agent must satisfy three conditions:
 If is a tautology, then .
 (Additivity) If and are mutually exclusive, then .
The argument proceeds by showing that if any of the constraints are violated, then a bookie can put together a set of bets which the agent will be willing to buy or sell, such that the bookie is guaranteed to profit on the whole no matter what the outcome of the bets may be. This set of bets is the "Dutch Book".
One might assume that this argument can be employed to justify coherence for logical priors. However, this isn't clear. The paper From Classical to Intuitionistic Probability points out that Dutch Book arguments assume every bet will eventually be decided one way or the other, which is quite unrealistic in the logical setting. An open conjecture might never be conclusively proved or disproved, so that mathematicians taking best on the conclusion would never collect.
Consider the equation for additivity. The usual argument for this rule goes as follows. pays out exactly when one (and only one) of or does. This means a bookie can profit the difference, if the two sides of the equation aren't equal. If , the bookie can sell the agent a bet on , while buying one on and individually. If , the reverse strategy works. In the case where not all bets eventually get decided, however, the trick only works in one direction. We might be able to verify without ever verifying which of or is true. For example, we can deduce without having any information about which side is true. So, we can only get:
Subadditivity: For mutually exclusive sentences and , we must have .
(If this is murky from my brief description, I suggest looking through the details of the Dutch book argument here.)
From Classical to Intuitionistic Probability, which I mentioned earlier, argues that we ought to allow for undecidable bets but keep additivity, and provides a way of doing so: intuitionistic probability. The paper gives a Dutch Book argument justifying intuitionistic probability in the case of potentially undecidable bets. (The argument makes the assumption that the agents use intuitionistic logic, and are logically omniscient.)
So, it seems that we can't quite argue for coherence of ; we can use the argument to advocate subadditive beliefs, or intuitionistic ones. (Both of these allow a classically coherent distribution as a special case  this isn't a proof that we shouldn't have a coherent distribution, only that we may not have a reason to want one.)
Logical Bets at Finite Time
Another objection which has been raised to Dutch Book arguments is that they assume sufficient processing power, and so may not bear on what beliefs should look like on normal timescales. This is only made worse by the fact that coherent logical priors are uncomputable, not merely intractable. No computable function can assign probability 0 to contradictions and probability 1 to tautologies. What we actually must use to make gambles is a computable approximation . This is asked to converge to the uncomputable prior: . The argument for this setup would seem to be that will always be vulnerable to some Dutch Book, due to its incoherence, but approximating as well as we can will eliminate any particular vulnerability over time. However, this argument seems somewhat unclear. Can we translate DutchBook arguments to the finitetime case and conclude anything like this?
In principle, could be using any sort of crazy algorithm to approximate . In practice, however, it makes sense to assume that has access to a theorem prover, and is making its estimates based on what has so far been proved.
Let's suppose that the theorem prover access can be reduced to a computable function which takes a set of sentences, , and a time limit , and searches for a contradiction. If one is found by time , it outputs ; otherwise, .
Further suppose that we can decompose into two parts. First, a part which runs a certain amount based on , outputting a set of input/output pairs ; I'll write these pairs as equations, like . Second, a part which takes and turns it into an approximate probability distribution. This is a large assumption about the structure of , but not unusual in terms of the kinds of we've explored. Note that this also gives us a form of counterfactual, because we can use fake .
I'll call the outputsets logical knowledge. The constraining information in the logical knowledge, those outputs of the form , will be called constraints.
The idea behind a Dutch Book argument in this setting will be that based on our current logical knowledge we'd be predictably exploitable if our beliefs didn't conform to certain axioms. We can think of this as a Dutch Book argument where the bookie is equally logically ignorant, or we can think of it as defending ourselves against a bookie as well as we can given our logical ignorance.
First I'll discuss for fixed , and then I'll discuss constraints which apply across .
To determine the behavior at fixed , we consider fixed . We can apply the basic Dutch Book to argue for the following modified axioms:
Relative Coherence:


If , then =1.

If , then .
I.E., ought to be coherent with respect to the currently known constraints. Notice that I haven't shown that this is always possible, however. In fact, it's not possible for arbitrary ; for example, it's not possible if contains both and .
Question: How can we characterize the conditions under which a probability distribution satisfying 13 exist?
Since handles information coming from a real proof system, it should always be nice enough that it's possible to satisfy 13. We conclude that should always be coherent with respect to the constraints .
As before, we might argue for the subadditive version of (3) or for intuitionistic beliefs, if we want to account for the possibility that bets on sentences are never decided one way or the other.
I also note that the properties 13 don't seem to fit very strongly with the structure of our logical knowledge. While our logical knowledge tells us about the inconsistency of sets of sentences, the relative consistency properties only involve such sets containing one or two sentences. This makes it feel like a poor fit. Dutch Book arguments only argue that if properties were to be violated, then a Dutch Book would exist. An inverse Dutch Book argument shows that when a set of properties are satisfied, no Dutch Book exists. Inverse Dutch Book arguments are typically somewhat harder to make, because they require careful specification of the kinds of bets the bookie is allowed to use, to show that no combination of these yields a Dutch Book.
Question: Are the properties 13 sufficient to make an inverse Dutch Book argument? If not, how might they be reformulated?
Now, let's constrain how beliefs change as increases, by varying . We will consider the move from to a new set of information , such that is an extension of  it contains all the information of , plus possibly more.
Notice, conditions (13) above did not make use of information of the form . This will become important now. may contain a newly discovered contradiction where only had for , or on the other hand information that a contradiction still hasn't been found after more searching (represented by the knowledge ). Intuitively, we want something like conservation of expected evidence (CEE) to apply; if the discovery of a new contradiction moves the belief function in one direction, searching longer without finding a contradiction should make an opposite change. To put it formally:
(CEE)
where the are a set of mutually exclusive and exhaustive extensions of , with among them.
A Diachronic Dutch Book argument looks potentially relevant; an argument like that could show that the move from to should be a Bayesian update. However, in order to establish this it makes the assumption that we already have a probability distribution over possible ; these become the weights . Furthermore, it assumes probabilities have been assigned for joint events between sentences and consistency information. Where does this come from? What kind of coherence constraints does it need to follow?
To address this, let's assume that the agent possesses a predicate which represents the behavior of the function . For example, if the language we are expressing beliefs in includes , could be an encoding in of . can be the Goedel number of a conjunction of the sentences in the set.
This gives us a way for the agent to talk about its logical information in its own language, so that we already have a (relatively coherent) distribution here. I don't want to assume that this predicate reflects direct selfknowledge (although our argument will conclude that it should), only that if becomes true or false, a bookie could eventually obtain enough information to adjudicate bets on .
Now we can apply the diachronic Dutch Book to conclude that adding new information to our set must result in a Bayesian update. For one added statement: . Similarly, for any set of added information which differentiates from , calling the conjunction of the sentences representing that set , we have:
InformationAdding Coherence:
A reasonable objection to this application of the diachronic Dutch Book argument is that we said earlier (when dealing with fixed ) that the bookie should be as logically ignorant as the agent. I'm giving the bookie additional powers here, to observe things about and conclude things about . This step is not justified except that it makes a diachronic argument go through, and that it's apparently still possible to satisfy this requirement.
This doesn't actually let me get (CEE), though. Because the probability distribution is still logically ignorant, it might not follow nice rules; for example, it might be that because equivalence of reordered conjunctions isn't recognized in every case. I need a weaker rule, which I'll call reflective conservation of expected evidence (RCEE). First, a definition. For arbitrary , let , and be the conjunction of sentences representing the information in . Now:
Reflective Partition: Consider a sequence of outputsets, for . Define as , and as the disjunction of all where . The sequence is a reflective partition of in iff includes for , plus , , , and (for some , , , , and ).
Theorem (RCEE): where is a reflective partition of in .
Proof: We know . We can take . It now suffices to show that . This follows from the definition of reflective partition. We can apply our relative coherence properties (2) and (3) to the constraints , , , and to show that . We then decompose into a sum by applying (3) with the statemens .
Importantly, I still haven't shown that something exists satisfying these properties.
Question: Under what conditions can both relative coherence and informationadding coherence be satisfied?
I attempted to construct such a distribution, but it turned out to be more complex that I had hoped, and it will have to wait for another post. Intuitively, it seems possible to do this by combining (1) a computable distribution over infinite sets of constraints (for which relative consistency must always be possible), (2) a simple waitingtime distribution to model when the consistency checker is likely to find a constraint, and (3) a process building random theories consistent with the constraints, analogous to the process which defines the Demski prior.
If it works, this seems promising for solving Paul Christiano's Paradox of Ignorance as well. In the present formalism, observing a proof from a trusted source is exactly the same as getting the information from the builtin consistency checker, due to the way I've defined informationadding coherence in terns of the reflective predicate .
Uniform Coherence
Uniform coherence has been proposed as a stronger desirable property than coherence, which places conditions on rather than only . In light of the current discussion, it is interesting to note that uniform coherence is not justified by a Dutch Book argument at present. I haven't thought a great deal about this, but it seems interesting to explore such a justification.