The title says it all.
Consider some valuation over sentences, \(\mathbb{P}:\mathcal{S}\to [0,1]\).
Now consider some set of unproved sentences that make a binary tree, where it is propositionally provable that exactly one of the sentences at the m’th level in the tree are true. The most conceptually clear example is sentences of the form “the first m bits of an infinite bitstring \(\sigma\) are [bitstring]”, as in universal inductors.
However, every deductive process for theorems of a consistent theory has something like this, by the incompleteness theorem. In particular, for the instance where the deductive process outputs all theorems of \(\mathcal{PA}\), you can translate bitstrings into unprovable sentences that fulfill this property. 010 would translate to \[\neg\text{con}(\mathcal{PA})\wedge
\text{con}(\mathcal{PA}+\neg\text{con}(\mathcal{PA}))\wedge
\neg\text{con}(\mathcal{PA}+\neg\text{con}(\mathcal{PA})+\text{con}(\mathcal{PA}+\neg\text{con}(\mathcal{PA})))\]
Now, consider the trader that, on day n, sells back all the shares it has purchased, and buys 1 dollar worth of shares in the n’th sentence (or just a very large number of shares). This trader has a worstcase value of 1.
There cannot be any arbitrageable propositional inconsistencies in the constant distribution, otherwise, a trader could exploit this for unbounded money.
Because all the sentences in the m’th “stage” of the binary tree are provably mutually exclusive and exhaustive, their prices must add up to 1. Because there are \(2^{m}\) sentences in the m’th stage, at least one must have a price less than \(2^{m}\). When the trader gets around to buying that one, it will have a bestcase value of \(2^{m}\) or more.
As the trader goes through all sentences, its bestcase value will be unbounded, as it buys up larger and larger piles of sentences with lower and lower prices. This behavior is forbidden by the logical induction criterion. And it isn’t necessarily in a different world each time. By propositional consistency, there’s some infinite bitstring where the price of the prefix drops by a factor of 2 or more on each time step (always pick the lowestprice continuation of the bitstring prefix), so if we consider that as the world of interest, the supremum of the value of the trader is unbounded above.
This doesn’t seem like much, but it gets extremely weird when you consider that the limit of a logical inductor, \(\mathbb{P}_{\infty}\), is a constant distribution, and by this result, isn’t a logical inductor! If you skip to the end and use the final, perfected probabilities of the limit, there’s a trader that could rack up unboundedly high value!
This appears to be indicating that the logical induction criterion is too strong. It seems to be a restriction on the dance of the traders as they approach the limit, instead of a constraint on the limiting behavior. As Sam pointed out, there seem to be two key criteria to a logical inductor, and looking at the logical inductor paper, the proofs also split into these two categories. The first is a “no arbitrage” condition, where it is impossible to gain value according to all possible worlds, and the second is an Occamian condition, where the logical inductor can’t severely underprice anything, because otherwise some trader could get unbounded value in some possible world by buying shares in that sentence for cheap.
This particular example seems to point to a subtle flaw in the Occam condition. Defending against unbounded value in any possible world is too restrictive to permit a logical inductor limit to be a logical inductor. Two ideas we came up with for weakenings of the concept of “exploitation” were (this isn’t exhaustive, there’s probably more options)
1: The set of worlds where a trader has unbounded value must be positivemeasure, according to some appropriate measure on worlds. If you go allin on some measure 0 world, where the price of various sentences limit to 0, it isn’t reasonable to not get exploited in that case. In particular, note that the world where the trader has unbounded value has no finite description! If that bitstring was computably enumerable, all the prefixes would have a price bounded below by some \(\epsilon\), by Uniform NonDogmatism (Theorem 4.6.3 in the LI paper). Maybe it isn’t reasonable to demand not getting exploited on worlds like that, that are impossible to name.
2: The value of the trader must actually limit to infinity, not just have a supremum that limits to infinity. Note that for the trader in this example, if we look at the value according to the world where it exploits the market, it’s at 1 most of the time, and occasionally spikes up to a large value.
