Akiba's logic of indeterminacy

A standard approach to indeterminacy treats ‘determinately’ and ‘indeterminately’ as modal operators. Determinacy behaves like necessity; indeterminacy like contingency. This raises two questions. What is the appropriate modal system for these operators? And how should we interpret that system? Ken Akiba has developed an account of ontic indeterminacy that interprets possible worlds as worldly precisifications. He argues that this account vindicates S4 as the logic of indeterminacy. In this paper I explore one significant and surprising consequence of this view. I do this in two stages. First, I prove a technical result, which I call the Infinite Indeterminacy Theorem. Roughly put, this theorem states that, at any given precisification w, either every instance of indeterminacy admits of never-ending higher-order indeterminacy, or else there's indeterminacy in an infinite amount of distinct atomic formulas. In slogan form: either all indeterminacy is infinitely ascending or else there's infinitely wide indeterminacy. Second, I unpack the metaphysical consequences of this technical result (under its intended interpretation) and assess their plausibility. I conclude that these consequences commit Akiba's theory to highly contentious–and arguably untenable–views about the metaphysics of indeterminacy and related matters.