Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy

The paper provides an analysis of the voting method known as delegable proxy voting, or liquid democracy. The analysis first positions liquid democracy within the theory of binary aggregation. It then focuses on two issues of the system: the occurrence of delegation cycles; and the effect of delegations on individual rationality when voting on logically interdependent propositions. It finally points to proposals on how the system may be modified in order to address the above issues

Liquid Democracy: An Analysis in Binary Aggregation and Diffusion

The paper proposes an analysis of liquid democracy (or, delegable proxy voting) from the perspective of binary aggregation and of binary diffusion models. We show how liquid democracy on binary issues can be embedded into the framework of binary aggregation with abstentions, enabling the transfer of known results about the latter---such as impossibility theorems---to the former. This embedding also sheds light on the relation between delegation cycles in liquid democracy and the probability of collective abstentions, as well as the issue of individual rationality in a delegable proxy voting setting. We then show how liquid democracy on binary issues can be modeled and analyzed also as a specific process of dynamics of binary opinions on networks. These processes---called Boolean DeGroot processes---are a special case of the DeGroot stochastic model of opinion diffusion. We establish the convergence conditions of such processes and show they provide some novel insights on how the effects of delegation cycles and individual rationality could be mitigated within liquid democracy. The study is a first attempt to provide theoretical foundations to the delgable proxy features of the liquid democracy voting system. Our analysis suggests recommendations on how the system may be modified to make it more resilient with respect to the handling of delegation cycles and of inconsistent majorities

Social epistemology

International audienceSocial epistemology studies knowledge in social contexts. Knowledge is 'social' when its holder communicates with or learns from others (Epistemology in groups), or when its holder is a group as a whole, literally or metaphorically (Epistemology of groups). Group knowledge can emerge explicitly, through aggregation procedures like voting, or implicitly, through institutions like deliberation or prediction markets. In the truth-tracking paradigm, group beliefs aim at truth, and group decisions at 'correctness', in virtue of external facts that are empirical or normative, real or constructed, universal or relativistic, etc. Procedures and institutions are evaluated by epistemic performance: Are they truth-conducive? Do groups become 'wiser' than their members? We review several procedures and institutions, discussing epistemic successes and failures. Jury theorems provide formal arguments for epistemic success. Some jury theorems misleadingly conclude that 'huge groups are infallible', an artifact of inappropriate premises. Others have defensible premises, and still conclude that groups outperform individuals, without being infallible

Social Epistemology

International audienceSocial epistemology studies knowledge in social contexts. Knowledge is 'social' when its holder communicates with or learns from others (Epistemology in groups), or when its holder is a group as a whole, literally or metaphorically (Epistemology of groups). Group knowledge can emerge explicitly, through aggregation procedures like voting, or implicitly, through institutions like deliberation or prediction markets. In the truth-tracking paradigm, group beliefs aim at truth, and group decisions at 'correctness', in virtue of external facts that are empirical or normative, real or constructed, universal or relativistic, etc. Procedures and institutions are evaluated by epistemic performance: Are they truth-conducive? Do groups become 'wiser' than their members? We review several procedures and institutions, discussing epistemic successes and failures. Jury theorems provide formal arguments for epistemic success. Some jury theorems misleadingly conclude that 'huge groups are infallible', an artifact of inappropriate premises. Others have defensible premises, and still conclude that groups outperform individuals, without being infallible

Judgment Aggregation with Abstentions under Voters' Hierarchy

International audienceSimilar to Arrow’s impossibility theorem for preference aggregation, judgment aggregation has also an intrinsic impossibility for generating consistent group judgment from individual judgments. Removing some of the pre-assumed conditions would mitigate the problem but may still lead to too restrictive solutions. It was proved that if completeness is removed but other plausible conditions are kept, the only possible aggregation functions are oligarchic, which means that the group judgment is purely determined by a certain subset of participating judges. Instead of further challenging the other conditions, this paper investigates how the judgment from each individual judge affects the group judgment in an oligarchic environment. We explore a set of intuitively demanded conditions under abstentions and design a feasible judgment aggregation rule based on the agents’ hierarchy. We show this proposed aggregation rule satisfies the desirable conditions. More importantly, this rule is oligarchic with respect to a subset of agenda instead of the whole agenda due to its literal-based characteristics

The Present and Future of Judgement Aggregation Theory. A Law and Economics Perspective

This chapter briefly reviews the present state of judgment aggregation theory and tentatively suggests a future direction for that theory. In the review, we start by emphasizing the difference between the doctrinal paradox and the discursive dilemma, two idealized examples which classically serve to motivate the theory, and then proceed to reconstruct it as a brand of logical theory, unlike in some other interpretations, using a single impossibility theorem as a key to its technical development. In the prospective part, having mentioned existing applications to social choice theory and computer science, which we do not discuss here, we consider a potential application to law and economics. This would be based on a deeper exploration of the doctrinal paradox and its relevance to the functioning of collegiate courts. On this topic, legal theorists have provided empirical observations and theoretical hints that judgment aggregation theorists would be in a position to clarify and further elaborate. As a general message, the chapter means to suggest that the future of judgment aggregation theory lies with its applications rather than its internal theoretical development

Propositionwise judgment aggregation

In the theory of judgment aggregation, it is known for which agendas of propositions it is possible to aggregate individual judgments into collective ones in accordance with the Arrow-inspired requirements of universal domain, collective rationality, unanimity preservation, non-dictatorship and propositionwise independence. But it is only partially known for which agendas it is possible to respect additional requirements, notably non-oligarchy, anonymity, no individual veto power, or implication preservation. We fully characterize the agendas for which there are such possibilities, thereby answering the most salient open questions about propositionwise judgment aggregation. Our results build on earlier results by Nehring and Puppe (2002), Nehring (2006) and Dietrich and List (2007a).mathematical economics;

Introduction to Judgment Aggregation

This introduces the symposium on judgment aggregation. The theory of judgment ag­gregation asks how several individuals' judgments on some logically connected propo­sitions can be aggregated into consistent collective judgments. The aim of this intro­duction is to show how ideas from the familiar theory of preference aggregation can be extended to this more general case. We first translate a proof of Arrow's impos­sibility theorem into the new setting, so as to motivate some of the central concepts and conditions leading to analogous impossibilities, as discussed in the symposium. We then consider each of four possible escape-routes explored in the symposium.Judgment aggregation, Arrow's theorem, Escape routes