If a measure of voting power assigns greater voting power to a player because it no longer effectively cooperates with another, then the measure displays the quarrelling paradox and violates the quarrel postulate. We provide formal criteria by which to judge whether a given conception of quarrelling is (a) reasonable and (b) fit to serve as the basis for a reasonable quarrel postulate. To achieve this, we formalize a general framework distinguishing between three degrees of quarrelling (weak, strong, cataclysmic), symmetric vs. asymmetrical quarrels, and reciprocal vs. non-reciprocal quarrels, and which thereby yields twelve conceptions of quarrelling, which encompasses the two conceptions proposed by Felsenthal and Machover and by Laruelle and Valenciano, respectively. We argue that the two existing formulations of the quarrel postulate based on these conceptions are unreasonable. In contrast, we prove that the symmetric, weak conception of quarrelling identified by our framework -- whether reciprocal or not -- is fit to serve as the basis for a reasonable quarrel postulate. Furthermore, the classic Shapley-Shubik index and Penrose-Banzhaf measure both satisfy the quarrel postulate based on a symmetric weak quarrel.
翻译:如果某种程度的投票权由于不再与另一人有效合作而赋予一个玩家更大的投票权,那么该措施就会显示争吵的矛盾和违背争吵的假设。我们提供了正式标准,用以判断某一争吵概念是否(a)合理和(b)适合作为合理争吵假设的基础。为了实现这一点,我们将一个总框架正式化,区分三度争吵(弱、强、强、灾难性)、对称对称对比对对对对对对对对对对对对争,从而产生十二种争吵概念,这包括Felsenthal和Machover以及Laruelle和巴伦西亚诺分别提出的两种概念。我们争辩说,基于这些概念的争吵假设现有两种说法是不合理的。相反,我们证明我们框架确定的对称、弱争吵概念 -- -- 是否对等 -- -- 适合作为合理争吵的假设基础。此外,典型的Shaple-Shubik索引和Penroszhe-Banzham 之间的争争争争争(基于Sy-Banzhe-Banzam) 争争吵的典型的峰测量后定后定的后定的后定。