Social Choice Theory is the formal analysis of collective decision making. A growing number of logical systems incorporate insights and ideas from this important field. This course will introduce the key results (including proofs) and the main research themes of Social Choice Theory. The primary objective is to introduce the main mathematical methods and conceptual ideas found in the Social Choice literature. I will also pay special attention to recent logical systems that have been developed to reason about group decision making and how social choice-style analyses are being used by logicians.
Specific topics include:

- Proofs of key Social Choice results (e.g., Arrow’s Impossibility Theorem, Sen’s Impossibility of the Paretian Liberal, Müller-Satterthwaite Theroem, Harsanyi's Utilitarian Theorem, and the Gibbard-Satterthwaite Theorem)
- Responses to Arrow's Theorem (e.g., Domain Restrictions, such as Sen's Value Restriction and Black's Single-Peakedness Condition)
- Axiomatic characterizations of voting procedures (May’s Characterization of the majority rule, Maskin’s Characterization of majority rule, Fishburn’s Characterization of Approval Voting, Young’s Characterization of positional voting, Saari’s characterization of Borda Count)
- Voting paradoxes (e.g., Condorcet’s paradox, Anscombe’s Paradox, the No-Show Paradox)
- Generalizations of the classic framework (e.g., assuming there are infinitely many voters)
- Judgement aggregation (e.g., Dietrich-List impossibility theorem)
- The Condorcet Jury Theorem and its many variants
- Logics for reasoning about preference aggregation (modal logics for preference aggregation, dependence and independence logic for social choice theory).

Slides

Arrow's Theorem, Stanford Encyclopedia of Philosophy, M. Morreau

Video: Arrow's Theorem

Video: Proof of Arrow's Theorem

Proof of Arrow's Theorem

Proof of May's Theorem

Arrow's Theorem, Stanford Encyclopedia of Philosophy, M. Morreau

Video: Arrow's Theorem

Video: Proof of Arrow's Theorem

Proof of Arrow's Theorem

Proof of May's Theorem

Slides

Social Choice Theory, Stanford Encyclopedia of Philosophy, C. List

Proof of Harsanyi's Theorem

Social Choice Theory, Stanford Encyclopedia of Philosophy, C. List

Proof of Harsanyi's Theorem