Academia.eduAcademia.edu

1 Choosing and Ranking. Let’s Be Logical About It

2011

Abstract

Several rules for social choice are examined from a unifying point of view that looks at them as procedures for revising a system of degrees of belief in accordance with certain specified logical constraints. Belief is here a social attribute, its degrees being measured by the fraction of people who share a given opinion. Different known rules and some new ones are obtained depending on which particular constraints are assumed. These constraints allow to model different notions of choiceness. In particular, we give a new method to deal with approval-disapproval-preferential voting.

Key takeaways

  • If an option x has the property that v(p xy ) > 1 2 for any y = x, then x must be chosen as the winner.
  • The symmetric prominence doctrine, formed by clauses (56) and (57) is symmetric under negation, i. e. the substitution that interchanges t x and t x as well as p xy and p yx .
  • On the other hand, if z were a comprehensive prominence winner, then Proposition 6.6 ensures that v * (t z ) < v * (t x ) for any x that is not such a winner, thus obtaining a contradiction.
  • So, the doctrine that relates goodness to preference is made of the following clauses, where g x denotes the proposition 'x is good': g x ∧ g y → p xy .
  • Removing transitivity leads to other notions of choiceness, namely supremacy and prominence, that are related respectively to the plurality rule and the Condorcet principle.