Search papers, labs, and topics across Lattice.
This paper investigates the finite axiomatizability of strict majority reasoning within finite social decision frames, building on the coherence criterion established by Moss and Pedersen (2026). The authors prove that this coherence criterion cannot be substituted by any bounded finite fragment, demonstrating that for every \( k \ge 1 \), there exists a maximal standard frame with a coherence violation of length \( 2k + 2 \). This finding resolves a conjecture from Moss and Pedersen and confirms that measurable social decision frames cannot be finitely axiomatized, employing geometric constructions in rational vector spaces to illustrate the result.
No finite axiomatization exists for measurable social decision frames, revealing deep limitations in majority reasoning frameworks.
This theoretical note studies the finite axiomatizability of strict majority reasoning in finite social decision frames. Moss and Pedersen (2026) <doi: 10.48550/arXiv.2606.23853> introduce a coherence criterion that characterizes exactly when qualitative majority judgments are representable by a finitely additive measure. The question addressed here is whether that coherence criterion can be replaced, in the finite setting, by any bounded finite fragment. We prove that it cannot. For every $k\ge 1$, we construct a maximal standard frame whose shortest coherence violation has length exactly $2k+2$. Hence there is no uniform finite bound on the incoherence index of social decision frames, resolving Conjecture 5.7 stated by Moss and Pedersen (2026). The construction is geometric, in the sense that it proceeds via orthogonality and dimension in rational vector spaces, and self-contained: it isolates a symmetric family of half-sized voting blocs and extends it to a maximal frame in which every shorter balanced obstruction is excluded. Along the explicit infinite sequence of universe sizes obtained in the construction, this also establishes the middle-layer family predicted by Conjecture B.25 by Moss and Pedersen (2026). Together with the soundness and completeness theorem for the Moss-Pedersen minimal logic for strict majorities, this establishes that measurable social decision frames are not finitely axiomatizable in that language.
