NASSLLI 2012 June 18 - 22

Sign up here for our Mailing List:

Questions? Email us:

[email protected]

Search the site:

  Powered by Google

Social Choice Theory for Logicians

Room: UTC 4.104


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. 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.


Basic (modal) logic would be helpful, but not necessary. The course only requires some mathematical maturity (I will be going through some proofs).


See the course website.



Eric Pacuit

Email: e (DOT) j (DOT) pacuit (AT) uvt (DOT) nl


Eric Pacuit is a resident fellow at the Tilburg Institute for Logic and Philosophy of Science at Tilbrug University and an Assistant Professor in the Department of Philosophy at the University of Maryland, College Park. Eric received his Ph.D. in computer science from the The Graduate Center of the City University of New York. Previous academic positions include a postdoctoral researcher at the Institute for Logic, Language and Computation at the University of Amsterdam and in the Departments of Philosophy and Computer Science at Stanford University. Eric's primary research interests are in logic, game theory and formal epistemology. Currently, his research is focused on logics of rational agency and foundational issues in game theory and social choice theory. This research is supported by a Vidi grant from NWO called 'A Formal Analysis of Social Procedures' from 2009-2014. In addition, Eric has taught many courses on logic (especially modal logic) and formal epistemology. For more information, visit his webpage (