<p><a href="https://en.wikipedia.org/wiki/Gibbard%E2%80%93Satterthwaite_theorem#Formal_statement" rel="noreferrer">Gibbard and Satterthwaite</a> insist that the social choice function must be defined over all rational preferences over outcomes. That is, if voters' preferences could be anything (subject to the constraint of completeness and transitivity), then we have the Gibbard–Satterthwaite theorem.</p>

<p>On the other hand, if preferences were single-peaked, then the assumptions they make do not hold, and the theorem does not apply.</p>

CC BY-SA 3.0
2017-10-19T19:55:20.593Z
2017-10-19T19:55:20.593Z
Theoretical Economist
<p>The gibbard-saterthwatie theorem states that a social choice function where truthfullness is a dominant strategy must be dictatorial. However, in a median voting system, with single peaked preferences of voters, truthfullness is a dominant strategy yet it is not dictatorial.
what is the solution to this contradiction?</p>

<social-choice><voting>
gibbard-satterthwaite theorem and median voting
arrow
# gibbard-satterthwaite theorem and median voting

(Asked by: username_0 on 2017-10-19)

The gibbard-saterthwatie theorem states that a social choice function where truthfullness is a dominant strategy must be dictatorial. However, in a median voting system, with single peaked preferences of voters, truthfullness is a dominant strategy yet it is not dictatorial.
what is the solution to this contradiction?

**Tags:** social-choice, voting

---

## 1 answers

### Answer by username_1 on 2017-10-19. Score: 5 | Accepted answer

[Gibbard and Satterthwaite](https://en.wikipedia.org/wiki/Gibbard%E2%80%93Satterthwaite_theorem#Formal_statement) insist that the social choice function must be defined over all rational preferences over outcomes. That is, if voters' preferences could be anything (subject to the constraint of completeness and transitivity), then we have the Gibbard–Satterthwaite theorem.

On the other hand, if preferences were single-peaked, then the assumptions they make do not hold, and the theorem does not apply.


---

