Lecturer: Eric Pacuit (NEWS
Welcome to Social Choice Theory for Logicians. Please check back to this website as I will post information about the course as it becomes available.
website) Venue: North American Summer School for Logic, Language and Information
(
NASSLLI 2012) Meeting Times: TBA (Day 1, Day 2, Day 3, Day 4, Day 5)
Location: University of Texas at Austin
Overview
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 (a schedule and list of topics will be finalized about a month before the course starts)
- Proofs of key Social Choice results (ag., Arrow's Impossibility Theorem, Sen's Impossibility of the Paretian Liberal, and the Gibbard-Satterthwaite Theorem),
- Axiomatic characterizations of aggregations 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 (eg., Condorcet's paradox, Anscombe's Paradox, the No-Show Paradox),
- Voting games (i.e., simple games) and models of "power" or "influence" (eg., Banzhaf power index, Shapley-Shubik power index)
- Generalizations of the classic framework (eg., assuming there are infinitely many voters, Saari's geometric approach to social choice, judgement aggregation), and
- Modal preference logics for reasoning about multiagent preference aggregation.
The course will not only provide a broad overview of the field of Social Choice from a logicians perspective, but will also discuss key technical results of particular interest to logicians. The main goal is to provide a solid foundation for students that want to incorporate results and ideas from Social Choice Theory into their field of study.
Reading Material
The course will be based on the following articles (during the course I will fill in many of the missing details and touch on some additional topics)- EP (2011). Voting Methods, Stanford Encyclopedia of Philosophy.
- U. Endriss (2011). Logic and Social Choice Theory, in Logic and Philosophy Today, J. van Benthem and A. Gupta, eds., College Publications.
- C. List (2011). The Theory of Judgement Aggregation: An Introductory Review, forthcoming in Synthese (see also the course notes by D. Grossi and G. Pigozzi)
Back to the menu
Schedule
Below is a schedule for the course (which is subject to change) that will contain links to any handouts, slides and relevant papers for each lecture.| Date | Topic | Notes/Readings |
|---|---|---|
| Day 1 June 18, 2011 |
Introduction, Motivation and Background (slides) |
|
| Day 2 June 19, 2011 |
TBD |
|
| Day 3 June 20, 2011 |
TBD |
|
| Day 4 June 21, 2011 |
TBD |
|
| Day 5 June 22, 2011 |
TBD |
|
Back to the menu
Related Readings
Below is a list of some additional reading material related to some of the topics we will discuss in this course. This is not a complete list of all relevant material, but a reasonably large sampling.
Articles
Back to the menu
Recent courses and seminars (contains links to relevant papers)Back to the menu
- T. Ågotnes, W. van der Hoek, and M. Wooldridge. On the Logic of Preference and Judgment Aggregation. Autonomous Agents and Multiagent Systems, 22(1):4-30, 2011.
- H. Andreka, M. Ryan and P.-Y. Schobbens, Operators and Laws for Combining Preference Relations, Journal of Logic and Computation, volume 12, 2002.
- Michel Balinski and Rida Laraki, A theory of measuring, electing and ranking, Proceeding of the National Academy of Sciences USA, vol. 104, no. 21, pp. 8720-8725 May 22, 2007.
- Steven Brams, Marc Kilgour and William Zwicker, The Paradox of Multiple Elections, Social Choice and Welfare, Volume 15, Number 2, pgs. 211 - 236, 1998
- Keith Dowding and Maartin Van Hees, In Praise of Manipulation, British Journal of Political Science, Volume 38, pgs. 1 - 15, 2007.
- Peter C. Fishburn and Steven J. Brams, Paradoxes of Preferential Voting, Mathematics Magazine, Vol. 56, No. 4, 1983, pp. 207-214.
- J. Geanakoplos, Three Brief Proofs of Arrow’s Impossibility Theorem, Economic Theory, 26(1): 211-215, 2005.
- U. Grandi and U. Endriss. First-Order Logic Formalisation of Arrow's Theorem. Proc. 2nd International Workshop on Logic, Rationality and Interaction (LORI-2009), 2009
- Stephan Hartmann, Gabriella Pigozzi and Jan Sprenger, Reliable Methods of Judgement Aggregation, 2008
- M. Van Hees, The limits of epistemic democracy, Social Choice and Welfare, Volume 28, Number 4, 2007.
- M. Pauly, On the Role of Language in Social Choice Theory, Synthese, 163(2):227-243, 2008.
- Lingfang Li and Donald Saari, Sen's Theorem: Geometric Proof and New Interpretations, Social Choice and Welfare, Volume 31, Number 3, 2008
- David Makinson, Combinatorial versus decision-theoretic components of impossibility theorems, Theory and Decision, Volume 40, pgs. 181 - 190, 1996
- Amartya Sen, The Possibility of Social Choice, Nobel Prize Lecture, 1998
- Patrick Suppes, The pre-history of Kenneth Arrow's social choice and individual values, Social Choice and Welfare, Volume 25, pgs. 319 - 329, 2005
- Nicolas Troquard, Wiebe van der Hoek and Michael Wooldridge, Reasoning about social choice functions, Journal of Philosophical Logic, 40: pgs. 473 - 498, 2011.
- K. Arrow, Social Choice and Individual Values, Yale University Press, 2nd edition, 1970.
- Steven Brams, Mathematics and Democracy, Princeton University Press, 2007.
- Wulf Gaertner, A Primer in Social Choice Theory, Oxford University Press, 2006.
- I. McClean and A. Urken, Classics of Social Choice, University of Michigan Press, 1995.
- S. Nitzan, Collective Preference and Choice, Cambridge: Cambridge University Press, 2010.
- W. Poundstone, Gaming the Vote: Why Elections aren't Fair (and What We Can Do About It), Hill and Wang, 2008
- M. Regenwetter, B. Grofman, A.A.J. Marley, I. Tsetlin, Behavioral Social Choice, Cambridge University Press, 2006.
- Donald Saari, Disposing Dictators, Demystifying Voting Paradoxes: Social Choice Analysis, Cambridge University Press, 2008.
- Donald Saari, Basic Geometry of Voting, Springer, 2003.
- Y. Shoham and K. Leyton-Brown, Chapter 9: Aggregation Preferences: Social Choice, in Multiagent Systems: Algorithmic, Game Theoretic and Logical Foundations, Cambridge University Press, 2009.
- Alan D. Taylor, Social Choice and the Mathematics of Manipulation, Cambridge University Press, 2005.
Back to the menu
Additional Information
loriweb.org: a web portal with a number of important resources (call for papers, conference announcements, available positions, general discussions, etc.).Recent courses and seminars (contains links to relevant papers)
- Rationality (Tilburg University, Spring 2011)
- Ulle Endriss' Computational Social Choice Seminar focusing on logic and social choice theory (ILLC, 2011).
- Seminar on Voting Theory (Stanford, Fall 2008)
- COMSOC: Computational Social Choice, a bi-annual conference on computational issues in social choice (the next one is in 2012 in Krakow, Poland).
- LGS: Logic, Games and Social Choice, a bi-annual conference focusing primarily on logic and social choice theory
- International Meeting of the Social Choice and Welfare Society, bi-annual conference on social choice theory.
- TARK: Theoretical Aspects of Rationality and Knowledge is a bi-annual conference on the interdisciplinary issues involving reasoning about rationality, knowledge and game theory.
- LOFT: Logic and the Foundations of Game and Decision Theory is a bi-annual conference which focuses, in part, on applications of formal epistemology in game and decision theory.
Back to the menu