In a recent article I compared the problem of theory choice, in which scientists must choose between competing theories, with the problem of social choice, in which society must choose between competing social alternatives. I argued that the formal machinery of social choice theory can be used to shed light on the problem of theory choice in science, an argument that has been criticized by Michael Morreau and Jacob Stegenga. This article replies to Morreau’s and Stegenga’s criticisms.

Social choice theory is the study of collective decision processes and procedures. It is not a single theory, but a cluster of models and results concerning the aggregation of individual inputs (e.g., votes, preferences, judgments, welfare) into collective outputs (e.g., collective decisions, preferences, judgments, welfare). Central questions are: How can a group of individuals choose a winning outcome (e.g., policy, electoral candidate) from a given set of options? What are the properties of different voting systems? When is a voting system (...) democratic? How can a collective (e.g., electorate, legislature, collegial court, expert panel, or committee) arrive at coherent collective preferences or judgments on some issues, on the basis of its members' individual preferences or judgments? How can we rank different social alternatives in an order of social welfare? Social choice theorists study these questions not just by looking at examples, but by developing general models and proving theorems. (shrink)

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give the latter (...) its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

Majority cycling and related social choice paradoxes are often thought to threaten the meaningfulness of democracy. But deliberation can prevent majority cycles – not by inducing unanimity, which is unrealistic, but by bringing preferences closer to single-peakedness. We present the first empirical test of this hypothesis, using data from Deliberative Polls. Comparing preferences before and after deliberation, we find increases in proximity to single-peakedness. The increases are greater for lower versus higher salience issues and for individuals who seem to have (...) deliberated more versus less effectively. They are not merely a byproduct of increased substantive agreement. Our results both refine and support the idea that deliberation, by increasing proximity to single-peakedness, provides an escape from the problem of majority cycling. (shrink)

In judgment aggregation, unlike preference aggregation, not much is known about domain restrictions that guarantee consistent majority outcomes. We introduce several conditions on individual judgments su¢ - cient for consistent majority judgments. Some are based on global orders of propositions or individuals, others on local orders, still others not on orders at all. Some generalize classic social-choice-theoretic domain conditions, others have no counterpart. Our most general condition generalizes Sen’s triplewise value-restriction, itself the most general classic condition. We also prove a (...) new characterization theorem: for a large class of domains, if there exists any aggregation function satisfying some democratic conditions, then majority voting is the unique such function. Taken together, our results provide new support for the robustness of majority rule. (shrink)

All existing impossibility theorems on judgment aggregation require individual and collective judgment sets to be consistent and complete, arguably a demanding rationality requirement. They do not carry over to aggregation functions mapping profiles of consistent individual judgment sets to consistent collective ones. We prove that, whenever the agenda of propositions under consideration exhibits mild interconnections, any such aggregation function that is "neutral" between the acceptance and rejection of each proposition is dictatorial. We relate this theorem to the literature.

Public reason liberalism takes as its starting point the deep and irreconcilable diversity we find characterizing liberal societies. This deep and irreconcilable diversity creates problems for social order. One method for adjudicating these conflicts is through the use of rights. This paper is about the ability of such rights to adjudicate disputes when perspectival disagreements—or disagreements over how to categorize objects in the world—obtain. We present both formal possibility and impossibility results for rights structures under varying degrees of perspectival diversity. (...) We show that though perspectival diversity appears to be a troubling problem for the prospect of stable social order, if rights are defined properly then disagreements can likely be resolved in a consistent manner, achieving social cooperation rather than conflict. (shrink)

In a recent paper Samir Okasha has suggested an application of Arrow’s impossibility theorem to theory choice. When epistemic virtues are interpreted as ‘voters’ in charge of ranking competing theories, and there are more than two theories at stake, the final ordering is bound to coincide with the one proposed by one of the voters, provided a number of seemingly reasonable conditions are in place. In a similar spirit, Jacob Stegenga has shown that Arrow’s theorem applies to the amalgamation of (...) evidence; the ‘voters’ here are the different sources of evidence. As with Okasha’s proposal, it is not clear how to avoid Arrow’s pessimistic conclusion.In this paper we develop a novel argument that purports to show that, in typical examples, Arrow’s result does not obtain when dealing with evidence amalgamation. The reason is that we cannot escape the well-known Duhem problem: the evidence actually confirms complex conjunctions that include various auxiliary hypotheses. We argue that confirmational holism induces us to restrict the domain of a reasonable amalgamation function, thus violating one of Arrow’s conditions. The upshot is that we are now able to see the Duhem problem under a different, positive light – namely, as a phenomenon that makes the aggregation of the evidence possible in the first place, when there are at least three options on the table. (shrink)

Arrow’s impossibility result not only had a profound influence on welfare economics, but was, as this paper shows, also widely discussed in philosophy of science and in the engineering design literature.

In preference aggregation a set of individuals express preferences over a set of alternatives, and these preferences have to be aggregated into a collective preference. When preferences are represented as orders, aggregation procedures are called social welfare functions. Classical results in social choice theory state that it is impossible to aggregate the preferences of a set of individuals under different natural sets of axiomatic conditions. We define a first-order language for social welfare functions and we give a complete axiomatisation for (...) this class, without having the number of individuals or alternatives specified in the language. We are able to express classical axiomatic requirements in our first-order language, giving formal axioms for three classical theorems of preference aggregation by Arrow, by Sen, and by Kirman and Sondermann. We explore to what extent such theorems can be formally derived from our axiomatisations, obtaining positive results for Sen’s Theorem and the Kirman-Sondermann Theorem. For the case of Arrow’s Theorem, which does not apply in the case of infinite societies, we have to resort to fixing the number of individuals with an additional axiom. In the long run, we hope that our approach to formalisation can serve as the basis for a fully automated proof of classical and new theorems in social choice theory. (shrink)

In this paper we explore the relation between three areas: judgment aggregation, belief merging and social choice theory. Judgment aggregation studies how to aggregate individual judgments on logically interconnected propositions into a collective decision on the same propositions. When majority voting is applied to some propositions it may however give a different outcome than majority voting applied to another set of propositions. Starting from this so-called doctrinal paradox, the paper surveys the literature on judgment aggregation, and shows that the application (...) of a well known belief merging operator can dissolve the paradox. Finally, the use of distances is shown to establish a link between belief merging and preference aggregation in social choice theory. (shrink)

We consider two no-show paradoxes, in which a voter obtains a preferable outcome by abstaining from a vote. One arises when the casting of a ballot that ranks a candidate in first place causes that candidate to lose the election, superseded by a lower-ranked candidate. The other arises when a ballot that ranks a candidate in last place causes that candidate to win, superseding a higher-ranked candidate. We show that when there are at least four candidates and when voters may (...) express indifference, every voting rule satisfying Condorcet’s principle must generate both of these paradoxes. (shrink)

In this paper I investigate the properties of social welfare functions defined on domains where the preferences of one agent remain fixed. Such a domain is a degenerate case of those investigated, and proved Arrow consistent, by Sakai and Shimoji :435–445, 2006). Thus, they admit functions from them to a social preference that satisfy Arrow’s conditions of Weak Pareto, Independence of Irrelevant Alternatives, and Non-dictatorship. However, I prove that according to any function that satisfies these conditions on such a domain, (...) for any triple of alternatives, if the agent with the fixed preferences does not determine the social preference on any pair of them, then some other agent determines the social preference on the entire triple. (shrink)