Social Choice Theory for Logicians

Instructor: Eric Pacuit (website)

ESSLLI 2016 • University of Bozen-Bolzano, Italy

August 15 - 20, 2016

14:00 - 15:30

Day 1: Introduction and Background

Voting Methods Tutorial

Voting Methods, Stanford Encyclopedia of Philosophy, E. Pacuit

Day 2: Arrow's Theorem and Social Choice Theory

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

Video: Proof of Arrow's Theorem

Proof of Arrow's Theorem

Day 3: Social Choice Theory

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

[Proof of Harsanyi's Theorem](http://web.pacuit.org/files/harsanyi- theorem.pdf)

Day 4: Strategizing and Judgement Aggregation

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

Day 5: Logic and Social Choice