M z ,f any have suggested that the findings of social choice theory demonstrate that there can be no "will of the people." This has subversive implications for our intuitive concept of self-government. I explore the relation between the notion of a "social will," that of self-government, and the impossibility theorems of social choice theory. I conclude that although the concept of the social will is essential to that of self-government, the findings of social choice theory do not cast doubt (...) upon the possibility of either. Unlike many attempts to respond to the threat posed by social choice theory, my argument does not require any appeal to the problematic notion of the common good. (shrink)

The constitution of a collective judgment is analyzed from a contractarian point of view. The optimal collective judgment is defined as the one that maximizes the sum of the utility each member gets from the collective adoption of that judgment. It is argued that judgment aggregation is a different process from the aggregation of information and public deliberation. This entails that the adoption of a collective judgment should not make any rational member of the group change her individual opinion, and (...) so the collective judgment can not have any kind of epistemic superiority over the individual ones. ‡The author acknowledges Spanish Government's research projects HUM2005–01686/FISO and HUM2005-25447-E, as well as the grant PR2006-0108 which allowed a three months stay at the Helsinki Collegium for Advanced Studies, in which a big part of this paper was written. †To contact the author, please write to: Universidad Nacional de Educación a Distancia, Dpto. de Lógica, Historia y F. de la ciencia, Humanidades, Paseo de Senda del rey 7, 28040 Madrid, Spain; e-mail: jpzb@fsof.uned.es. (shrink)

Suppose a committee has to take a stand on a complex issue, where the decision presupposes answering a number of sub-questions. There is an agreement within the committee which sub-questions should be posed. All questions are of the ”yes or no?”-type and the main question is to be given the yes-answer if and only if each sub-question is answered with “yes”. Two different voting procedures can be used. On one procedure, the committee members vote on each sub-question and the voting (...) results then determine the committee’s conclusion on the main issue. This premise-based procedure (or pbp, for short) can be contrasted with the conclusion-based procedure (cbp), on which the members directly vote on the conclusion, with the vote of each member being guided by her views on the relevant sub-questions. The problem we want to examine concerns the relative advantages and disadvantages of the two procedures from the epistemic point of view. In some cases one can assume that the question before the committee has a right answer, which the committee is trying to reach. Is one of the two procedures better when it comes to tracking the truth? As it turns out, the answer to this query is not univocal: On the basis of Condorcet’s jury theorem we shall show that the premise-based procedure is clearly superior if we want to reach truth for the right reasons, i.e. without making any mistakes on the road to the conclusion. However, if the goal instead is to reach truth for whatever reasons, right or wrong, there will be special cases in which using the conclusion-based procedure turns out to be more reliable. But for the most part, the premise-based procedure will still retain its superiority. In this respect, our results disconfirm the tentative conjectures that have been put forward in Pettit and Rabinowicz (2001). (shrink)

This paper addresses a problem for theories of epistemic democracy. In a decision on a complex issue which can be decomposed into several parts, a collective can use different voting procedures: Either its members vote on each sub-question and the answers that gain majority support are used as premises for the conclusion on the main issue (premise based-procedure, pbp), or the vote is conducted on the main issue itself (conclusion-based procedure, cbp). The two procedures can lead to different results. We (...) investigate which of these procedures is better as a truth-tracker, assuming that there exists a true answer to be reached. On the basis of the Condorcet jury theorem, we show that the pbp is universally superior if the objective is to reach truth for the right reasons. If one instead is after truth for whatever reasons, right or wrong, there will be cases in which the cbp is more reliable, even though, for the most part, the pbp still is to be preferred. (shrink)

Suppose a committee or a jury confronts a complex question, the answer to which requires attending to several sub-questions. Two different voting procedures can be used. On one, the committee members vote on each sub-question and the voting results are used as premises for the committee’s conclusion on the main issue. This premise-based procedure can be contrasted with the conclusion-based approach, which requires the members to directly vote on the conclusion, with the vote of each member being guided by her (...) views on the relevant sub-questions. The two procedures are not equivalent: There may be a majority of voters supporting each of the premises, but if these majorities do not significantly overlap, there will be a majority against the conclusion. Pettit (2001) connects the choice between the two procedures with the discussion of deliberative democracy. The problem we want to examine instead concerns the relative advantages and disadvantages of the two procedures from the epistemic point of view. Which of them is better when it comes to tracking truth? As it turns out, the answer is not univocal. On the basis of Condorcet’s jury theorem, the premise-based procedure can be shown to be superior if the objective is reach truth for the right reasons, without making any mistakes on the way. However, if the goal instead is to reach truth for whatever reasons, right or wrong, there will be cases in which using the conclusion-based procedure turns out to be more reliable, even though, for the most part, the premise-based procedure will retain its superiority. (shrink)

Judgment aggregation problems are language dependent in that they may be framed in different yet equivalent ways. We formalize this dependence via the notion of translation invariance, adopted from the philosophy of science, and we argue for the normative desirability of translation invariance. We characterize the class of translation invariant aggregation functions in the canonical judgment aggregation model, which requires collective judgments to be complete. Since there are reasonable translation invariant aggregation functions, our result can be viewed as a possibility (...) theorem. At the same time, we show that translation invariance does have certain normatively undesirable consequences (e.g. failure of anonymity). We present a way of circumventing them by moving to a more general model of judgment aggregation, one that allows for incomplete collective judgments. (shrink)

Alvin Goldman has criticized the idea that, when evaluating the opinions of experts who disagree, a novice should “go by the numbers”. Although Goldman is right that this is often a bad idea, his argument involves an appeal to a principle, which I call the non-independence principle, which is not in general true. Goldman's formal argument for this principle depends on an illegitimate assumption, and the examples he uses to make it seem intuitively plausible are not convincing. The failure of (...) this principle has significant implications, not only for the issue Goldman is directly addressing, but also for the epistemology of rumors, and for our understanding of the value of epistemic independence. I conclude by using the economics literature on information cascades to highlight an important truth which Goldman's principle gestures toward, and by mounting a qualified defense of the practice of going by the numbers. (shrink)

Several recent results on the aggregation of judgments over logically connected propositions show that, under certain conditions, dictatorships are the only propositionwise aggregation functions generating fully rational (i.e., complete and consistent) collective judgments. A frequently mentioned route to avoid dictatorships is to allow incomplete collective judgments. We show that this route does not lead very far: we obtain oligarchies rather than dictatorships if instead of full rationality we merely require that collective judgments be deductively closed, arguably a minimal condition of (...) rationality, compatible even with empty judgment sets. We derive several characterizations of oligarchies and provide illustrative applications to Arrowian preference aggregation and Kasher and Rubinstein’s group identi…cation problem. (shrink)

All existing impossibility theorems on judgment aggregation require individual and collective judgment sets to be consistent and complete (in some recent results with completeness relaxed to deductive closure), arguably a demanding rationality requirement. They do not carry over to aggregation functions mapping pro…les of (merely) consistent individual judgment sets to (merely) 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. (shrink)

The new …eld of judgment aggregation aims to merge many individual sets of judgments on logically interconnected propositions into a single collective set of judgments on these propositions. Judgment aggregation has commonly been studied using classical propositional logic, with a limited expressive power and a problematic representation of conditional statements (“if P then Q”) as material conditionals. In this methodological paper, I present a simple uni…ed model of judgment aggregation in general logics. I show how many realistic decision problems can (...) be represented in it. This includes decision problems expressed in languages of classical propositional logic, predicate logic (e.g. preference aggregation problems), modal or conditional logics, and some multi-valued or fuzzy logics. I provide a list of simple tools for working with general logics, and I prove impossibility results that generalise earlier theorems. (shrink)

In the emerging literature on judgment aggregation over logically connected propositions, expert rights or liberal rights have not been investigated yet. A group making collective judgments may assign individual members or subgroups with expert knowledge on, or particularly a¤ected by, certain propositions the right to determine the collective judgment on those propositions. We identify a problem that generalizes Sen’s ‘liberal paradox’. Under plausible conditions, the assignment of rights to two or more individuals or subgroups is inconsistent with the unanimity principle, (...) whereby unanimously accepted propositions are collectively accepted. The inconsistency can be avoided if individual judgments or rights satisfy special conditions. (shrink)

In response to recent work on the aggregation of individual judgments on logically connected propositions into collective judgments, it is often asked whether judgment aggregation is a special case of Arrowian preference aggregation. We argue for the converse claim. After proving two impossibility theorems on judgment aggregation (using "systematicity" and "independence" conditions, respectively), we construct an embedding of preference aggregation into judgment aggregation and prove Arrow’s theorem (stated for strict preferences) as a corollary of our second result. Although we thereby (...) provide a new proof of Arrow’s theorem, our main aim is to identify the analogue of Arrow’s theorem in judgment aggregation, to clarify the relation between judgment and preference aggregation, and to illustrate the generality of the judgment aggregation model. JEL Classi…cation: D70, D71.. (shrink)

Standard impossibility theorems on judgment aggregation over logically connected propositions either use a controversial systematicity condition or apply only to agendas of propositions with rich logical connections. Are there any serious impossibilities without these restrictions? We prove an impossibility theorem without systematicity that applies to most standard agendas: Every judgment aggregation function (with rational inputs and outputs) satisfying a condition called unbiasedness is dictatorial (or e¤ectively dictatorial if we remove one of the agenda conditions). Our agenda conditions are tight. Applied (...) illustratively to (strict) preference aggregation represented in our model, the result implies that every unbiased social welfare function with universal domain is e¤ectively dictatorial. Keywords: judgment aggregation, logic, impossibility, May’s neutrality.. (shrink)

The aggregation of individual judgments over interrelated propositions is a newly arising …eld of social choice theory. I introduce several independence conditions on judgment aggregation rules, each of which protects against a speci…c type of manipulation by agenda setters or voters. I derive impossibility theorems whereby these independence conditions are incompatible with certain minimal requirements. Unlike earlier impossibility results, the main result here holds for any (non-trivial) agenda. However, independence conditions arguably undermine the logical structure of judgment aggregation. I therefore (...) suggest restricting independence to "premises", which leads to a generalised premise-based procedure. This procedure is proven to be possible if the premises are logically independent. JEL Classi…cation Numbers: D70, D71, D79. (shrink)

In solving judgment aggregation problems, groups often face constraints. Many decision problems can be modelled in terms the acceptance or rejection of certain propositions in a language, and constraints as propositions that the decisions should be consistent with. For example, court judgments in breach-of-contract cases should be consistent with the constraint that action and obligation are necessary and su¢ - cient for liability; judgments on how to rank several options in an order of preference with the constraint of transitivity; and (...) judgments on budget items with budgetary constraints. Often more or less demanding constraints on decisions are imaginable. For instance, in preference ranking problems, the transitivity constraint is often constrasted with the weaker acyclicity constraint. In this paper, we make constraints explicit in judgment aggregation by relativizing the rationality conditions of consistency and deductive closure to a constraint set, whose variation yields more or less strong notions of rationality. We review several general results on judgment aggregation in light of such constraints. (shrink)

The new …eld of judgment aggregation aims to …nd collective judgments on logically interconnected propositions. Recent impossibility results establish limitations on the possibility to vote independently on the propositions. I show that, fortunately, the impossibility results do not apply to a wide class of realistic agendas once propositions like “if a then b” are adequately modelled, namely as subjunctive implications rather than material implications. For these agendas, consistent and complete collective judgments can be reached through appropriate quota rules (which decide (...) propositions using acceptance thresholds). I characterise the class of these quota rules. I also prove an abstract result that characterises consistent aggregation for arbitrary agendas in a general logic. (shrink)

Condorcet's famous jury theorem reaches an optimistic conclusion on the correctness of majority decisions, based on two controversial premises about voters: they are competent and vote independently, in a technical sense. I carefully analyse these premises and show that: (i) whether a premise is justified depends on the notion of probability considered and (ii) none of the notions renders both premises simultaneously justified. Under the perhaps most interesting notions, the independence assumption should be weakened.

Which rules for aggregating judgments on logically connected propositions are manipulable and which not? In this paper, we introduce a preference-free concept of non-manipulability and contrast it with a preference-theoretic concept of strategy-proofness. We characterize all non-manipulable and all strategy-proof judgment aggregation rules and prove an impossibility theorem similar to the Gibbard-Satterthwaite theorem. We also discuss weaker forms of nonmanipulability and strategy-proofness. Comparing two frequently discussed aggregation rules, we show that “conclusion-based voting” is less vulnerable to manipulation than “premisebased voting”, (...) which is strategy-proof only for “reason-oriented”individuals. Surprisingly, for “outcome-oriented”individuals, the two rules are strategically equivalent, generating identical judgments in equilibrium. Our results introduce game-theoretic considerations into judgment aggregation and have implications for debates on deliberative democracy. (shrink)

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, nondictatorship 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). (shrink)

We investigate judgment aggregation by assuming that some formulas of the agenda are singled out as premisses, and the Independence condition (formula-wise aggregation) holds for them, though perhaps not for others. Whether premiss-based aggregation thus de…ned is non-degenerate depends on how premisses are logically connected, both among themselves and with other formulas. We identify necessary and su¢ cient conditions for dictatorship or oligarchy on the premisses, and investigate when these results extend to the whole agenda. Our theorems recover or strengthen (...) several existing ones and are formulated for in…nite populations, an innovation of this paper. JEL identi…cation numbers: D70, D71. (shrink)

In recent years, various computational models have been developed for studying the dynamics of belief formation in a population of epistemically interacting agents that try to determine the numerical value of a given parameter. Whereas in those models, agents’ belief states consist of single numerical beliefs, the present paper describes a model that equips agents with richer belief states containing many beliefs that, moreover, are logically interconnected. Correspondingly, the truth the agents are after is a theory (a set of sentences (...) of a given language) rather than a numerical value. The agents epistemically interact with each other and also receive evidence in varying degrees of informativeness about the truth. We use computer simulations to study how fast and accurately such populations as wholes are able to approach the truth under differing combinations of settings of the key parameters of the model, such as the degree of informativeness of the evidence and the weight the agents give to the evidence. (shrink)

The doctrinal paradox shows that aggregating individual judgments by taking a majority vote does not always yield a consistent set of collective judgments. Philip Pettit, Luc Bovens, and Wlodek Rabinowicz have recently argued for the epistemic superiority of an aggregation procedure that always yields a consistent set of judgments. This paper identifies several additional epistemic advantages of their consistency maintaining procedure. However, this paper also shows that there are some circumstances where the majority vote procedure is epistemically superior. The epistemic (...) value of maintaining consistency does not always outweigh the epistemic value of making true judgments. (shrink)

: We know that we can learn much from the reports of multiple competent, independent, unbiased observers. There are also things we can learn from the reports of competent but biased observers. Specifically, when reports go against the grain of an agent's known biases, we can be relatively confident in the veracity of those reports. Triangulating on the truth via that mechanism requires a multiplicity of observers with distinct biases, each of whose reports might be one-way decisive in that fashion. (...) It also presupposes that all observers share the same fundamental epistemic standards. (shrink)

We know that we can learn much from the reports of multiple competent, independent, unbiased observers. There are also things we can learn from the reports of competent but biased observers. Specifically, when reports go against the grain of an agent’s known biases, we can be relatively confident in the veracity of those reports. Triangulating on the truth via that mechanism requires a multiplicity of observers with distinct biases, each of whose reports might be one-way decisive in that fashion. It (...) also presupposes that all observers share the same fundamental epistemic standards. (shrink)

The epistemological analysis offered in this paper reveals that a combination of pieces of evidence, none of them sufficient by itself to warrant a causal conclusion to the legally required degree of proof, may do so jointly. The legal analysis offered here, interlocking with this, reveals that Daubert’s requirement that courts screen each item of scientific expert testimony for reliability can actually impede the process of arriving at the conclusion most warranted by the evidence proffered.

Special issue. With contributions by Rogier De Langhe and Matthias Greiff, Igor Douven and Alexander Riegler, Stephan Hartmann and Jan Sprenger, Carl Wagner, Paul Weirich, and Jesús Zamora Bonilla.

The aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on the same propositions has recently drawn much attention. Seemingly reasonable aggregation procedures, such as propositionwise majority voting, cannot ensure an equally consistent collective conclusion. The literature on judgment aggregation refers to such a problem as the \textit{discursive dilemma}. In this paper we assume that the decision which the group is trying to reach is factually right or wrong. Hence, we address the question of how good (...) the various approaches are at selecting the right conclusion. We focus on two approaches: distance-based procedures and a Bayesian analysis. They correspond to group-internal and group-external decision-making, respectively. We compare those methods in a probabilistic model, demonstrate the robustness of our results over various generalizations and discuss their applicability in different situations. The findings vindicate (i) that in judgment aggregation problems, reasons should carry higher weight than conclusions and (ii) that considering members of an advisory board to be highly competent is a better strategy than to underestimate their advice.". (shrink)

The aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on those propositions has recently drawn much attention. Seemingly reasonable aggregation procedures, such as propositionwise majority voting, cannot ensure an equally consistent collective conclusion. The literature on judgment aggregation refers to that problem as the discursive dilemma. In this paper, we motivate that many groups do not only want to reach a factually right conclusion, but also want to correctly evaluate the reasons for that conclusion. In (...) other words, we address the problem of tracking the true situation instead of merely selecting the right outcome. We set up a probabilistic model analogous to Bovens and Rabinowicz (2006) and compare several aggregation procedures by means of theoretical results, numerical simulations and practical considerations. Among them are the premise-based, the situation-based and the distance-based procedure. Our findings confirm the conjecture in Hartmann, Pigozzi and Sprenger (2008) that the premise-based procedure is a crude, but reliable and sometimes even optimal form of judgment aggregation. (shrink)

The aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on those propositions has recently drawn much attention. Seemingly reasonable aggregation procedures, such as propositionwise majority voting, cannot ensure an equally consistent collective conclusion. In this paper, we motivate that quite often, we do not only want to make a factually right decision, but also to correctly evaluate the reasons for that decision. In other words, we address the problem of tracking the truth. We set up (...) a probabilistic model that generalizes the analysis of Bovens and Rabinowicz (2006) and use it to compare several aggregation procedures. Demanding some reasonable adequacy constraints, we demonstrate that a reasons- or premise-based aggregation procedure tracks the truth better than any other procedure. However, we also illuminate that such a procedure is not in all circumstances easy to implement, leaving actual decision-makers with a tradeoff problem. (shrink)

I argue for an epistemic conception of voting, a conception on which the purpose of the ballot is at least in some cases to identify which of several policy proposals will best promote the public good. To support this view I first briefly investigate several notions of the kind of public good that public policy should promote. Then I examine the probability logic of voting as embodied in two very robust versions of the Condorcet Jury Theorem and some related results. (...) These theorems show that if the number of voters or legislators is sufficiently large and the average of their individual propensities to select the better of two policy proposals is a little above random chance, and if each person votes his or her own best judgment (rather than in alliance with a block or faction), then the majority is extremely likely to select the better alternative. Here ‘better alternative’ means that policy or law that will best promote the public good. I also explicate a Convincing Majorities Theorem, which shows the extent to which the majority vote should provide evidence that the better policy has been selected. Finally, I show how to extend all of these results to judgments among multiple alternatives through the kind of sequential balloting typical of the legislative amendment process. (shrink)

The square of opposition (as part of a lattice) is used as a natural way to represent different and opposite ways of who makes decisions, and in what way, in/for a group or a society. Majority logic is characterized by multiple logical squares (one for each possible majority), with the “discursive dilemma” as a consequence. Three-valued logics of majority decisions with discursive dilemma undecided, of veto, consensus, and sequential voting are analyzed from the semantic point of view. For instance, the (...) paraconsistent and paracomplete logics M3, M3veto and C3 are described. The distinction of designated and non-designated values is not used, and instead, the consequence relation is defined as a preservation of the minimum truth-value of the implying set of sentences. The consequence and opposition relations of the logics described are compared, and an ordering of the logics with respect to their opposition relations is established. (shrink)

Can collectives be wise? The thesis that they can has recently received a lot of attention. It has been argued that, in many judgmental or decision-making tasks, suitably organized groups can outperform their individual members. In particular, it has been suggested that groups are good at meeting what I call the correspondence challenge (as in correspondence with the facts): By pooling information that is dispersed among the individual members, a group can arrive at judgments that accurately track some independent truths (...) or make decisions that maximize an independent objective function (for a popular discussion, see Surowiecki 2004). (shrink)

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 (e.g., only in the monotonic case) 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), Dietrich and List (2007a) and Dokow and Holzman (2010a). (shrink)

The two most influential traditions of contemporary theorizing about democracy, social choice theory and deliberative democracy, are generally thought to be at loggerheads, in that the former demonstrates the impossibility, instability or meaninglessness of the rational collective outcomes sought by the latter. We argue that the two traditions can be reconciled. After expounding the central Arrow and Gibbard-Satterthwaite impossibility results, we reassess their implications, identifying the conditions under which meaningful democratic decision making is possible. We argue that deliberation can promote (...) these conditions, and hence that social choice theory suggests not that democratic decision making is impossible, but rather that democracy must have a deliberative aspect. (shrink)

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, nondictatorship 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). (shrink)

This paper provides an introductory review of the theory of judgment aggregation. It introduces the paradoxes of majority voting that originally motivated the field, explains several key results on the impossibility of propositionwise judgment aggregation, presents a pedagogical proof of one of those results, discusses escape routes from the impossibility and relates judgment aggregation to some other salient aggregation problems, such as preference aggregation, abstract aggregation and probability aggregation. The present illustrative rather than exhaustive review is intended to give readers (...) who are new to the field of judgment aggregation a sense of this rapidly growing research area. (shrink)

The aim of this article is to introduce the theory of judgment aggregation, a growing interdisciplinary research area. The theory addresses the following question: How can a group of individuals make consistent collective judgments on a given set of propositions on the basis of the group members' individual judgments on them? I begin by explaining the observation that initially sparked the interest in judgment aggregation, the so-called "doctinal" and "discursive paradoxes". I then introduce the basic formal model of judgment aggregation, (...) which allows me to present some illustrative variants of a generic impossibility result. I subsequently turn to the question of how this impossibility result can be avoided, going through several possible escape routes. Finally, I relate the theory of judgment aggregation to other branches of aggregation theory. Rather than offering a comprehensive survey of the theory of judgment aggregation, I hope to introduce the theory in a succinct and pedagogical way, providing an illustrative rather than exhaustive coverage of some of its key ideas and results. (shrink)

Suppose the members of a group (e.g., committee, jury, expert panel) each form a judgment on which worlds in a given set are possible, subject to the constraint that at least one world is possible but not all are. The group seeks to aggregate these individual judgments into a collective judgment, subject to the same constraint. I show that no judgment aggregation rule can solve this problem in accordance with three conditions: “unanimity,” “independence” and “non-dictatorship,” Although the result is a (...) variant of an existing theorem on “group identification” (Kasher and Rubinstein, Logique et Analyse 160:385–395, 1997), the aggregation of judgments on which worlds are possible (or permissible, desirable, etc.) appears not to have been studied yet. The result challenges us to take a stance on which of its conditions to relax. (shrink)

The Ostrogorski paradox and the discursive dilemma are seemingly unrelated paradoxes of aggregation. The former is discussed in traditional social choice theory, while the latter is at the core of the new literature on judgment aggregation. Both paradoxes arise when, in a group, each individual consistently makes a judgment, or expresses a preference, (in the form of yes or no) over specific propositions, and the collective outcome is in some respect inconsistent. While the result is logically inconsistent in the case (...) of the discursive paradox, it is not stable with respect to the level of aggregation in the case of the Ostrogorski paradox. In the following I argue that, despite these differences, the two problems have a similar structure. My conclusion will be twofold: on the one hand, the similarities between the paradoxes support the claim that these problems should be tackled using the same aggregation procedure; on the other hand, applying the same procedure to these paradoxes will help clarify the strengths and weaknesses of the aggregation method itself. More specifically, I will show that an operator defined in artificial intelligence to merge belief bases can deal with both paradoxes. (shrink)

Economics and Philosophy 23(3) (in press).

Journal of Theoretical Politics 19(4) (in press).

We show that, when a group takes independent majority votes on interconnected propositions, the outcome is consistent once the pro…le of individual judgment sets respects appropriate structural conditions. We introduce several such conditions on pro…les, based on ordering the propositions or ordering the individuals, and we clarify the relations between these conditions. By restricting the conditions to appropriate subagendas, we obtain local conditions that are less demanding but still guarantee consistent majority judgments. By applying the conditions to agendas representing preference (...) aggregation problems, we show parallels of some conditions to existing social-choice-theoretic conditions, speci…cally to order restriction and intermediateness, restricted to triples of alternatives in the case of our local conditions. (shrink)

Group decisions must often obey exogenous constraints. While in a preference aggregation problem constraints are modelled by restricting the set of feasible alternatives, this paper discusses the modelling of constraints when aggregating individual yes/no judgments on interconnected propositions. For example, court judgments in breach-of-contract cases should respect the constraint that action and obligation are necessary and sufficient for liability, and judgments on budget items should respect budgetary constraints. In this paper, we make constraints in judgment aggregation explicit by relativizing the (...) rationality conditions of consistency and deductive closure to a constraint set, whose variation yields more or less strong notions of rationality. This approach of modelling constraints explicitly contrasts with that of building constraints as axioms into the logic, which turns compliance with constraints into a matter of logical consistency and thereby conflates requirements of ordinary logical consistency (such as not to affirm both a proposition and its negation) and requirements dictated by the environment (such as budgetary constraints). We present some general impossibility results on constrained judgment aggregation; they are immediate corollaries of known results on (unconstrained) judgment aggregation. (shrink)

This introduces the symposium on judgment aggregation. The theory of judgment aggregation asks how several individuals' judgments on some logically connected propositions can be aggregated into consistent collective judgments. The aim of this introduction 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 impossibility 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. (shrink)

in P. Anand, C. Puppe and P. Pattaniak (eds.), Oxford Handbook of Rational and Social Choice, Oxford (Oxford University Press) (forthcoming).

A consensus in a scientific community is often used as a resource for making informed ‎public-policy decisions and deciding between rival expert testimonies in legal trials. This ‎paper contains a social-epistemic analysis of the high-profile Bendectin drug controversy, ‎which was decided in the courtroom inter alia by deference to an emerging scientific ‎consensus about the safety of Bendectin. Drawing on Miller’s theory of knowledge based ‎consensus, I argue that the consensus in this case was not knowledge based, hence courts’ ‎deference (...) to it was not epistemically justified. I draw sceptical lessons from this analysis ‎regarding the value of scientific consensus as a desirable and reliable means of resolving ‎scientific controversies in public life.‎. (shrink)

Scientific consensus is widely deferred to in public debates as a social indicator of the existence of knowledge. However, it is far from clear that such deference to consensus is always justified. The existence of agreement in a community of researchers is a contingent fact, and researchers may reach a consensus for all kinds of reasons, such as fighting a common foe or sharing a common bias. Scientific consensus, by itself, does not necessarily indicate the existence of shared knowledge among (...) the members of the consensus community. I address the question of under what conditions it is likely that a consensus is in fact knowledge based. I argue that a consensus is likely to be knowledge based when knowledge is the best explanation of the consensus, and I identify three conditions—social calibration, apparent consilience of evidence, and social diversity, for knowledge being the best explanation of a consensus. (shrink)

Judgment aggregation theory, which concerns the translation of individual judgments on logical propositions into consistent group judgments, has shown that group consistency generally cannot be guaranteed if each proposition is treated independently from the others. Developing the right method of abandoning independence is thus a high-priority goal. However, little work has been done in this area outside of a few simple approaches. To fill the gap, we compare four methods based on distance metrics between judgment sets. The methods generalize the (...) premise-based and sequential priority approaches to judgment aggregation, as well as distance-based preference aggregation. They each guarantee group consistency and implement a range of distinct functions with different properties, broadening the available tools for social choice. A central result is that only one of these methods (not previously considered in the literature) satisfies three attractive properties for all reasonable metrics. (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)

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 (the premises) it may however give a different outcome than majority voting applied to another set of propositions (the conclusion). Starting from this so-called doctrinal paradox, the paper surveys the literature on judgment aggregation (and (...) its relation to preference 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)

The aggregation of individual judgments on logically interconnected propositions into a collective decision on the same propositions is called judgment aggregation. Literature in social choice and political theory has claimed that judgment aggregation raises serious concerns. For example, consider a set of premises and a conclusion where the latter is logically equivalent to the former. When majority voting is applied to some propositions (the premises) it may give a different outcome than majority voting applied to another set of propositions (the (...) conclusion). This problem is known as the discursive dilemma (or paradox). The discursive dilemma is a serious problem since it is not clear whether a collective outcome exists in these cases, and if it does, what it is like. Moreover, the two suggested escape-routes from the paradox—the so-called premise-based procedure and the conclusion-based procedure—are not, as I will show, satisfactory methods for group decision-making. In this paper I introduce a new aggregation procedure inspired by an operator defined in artificial intelligence in order to merge belief bases. The result is that we do not need to worry about paradoxical outcomes, since these arise only when inconsistent collective judgments are not ruled out from the set of possible solutions. (shrink)

The Ostrogorski paradox and the discursive dilemma are seemingly unrelated paradoxes of aggregation. The former is discussed in traditional social choice theory, while the latter is at the core of the new literature on judgment aggregation. Both paradoxes arise when, in a group, each individual consistently makes a judgment, or expresses a preference, (in the form of yes or no) over specific propositions, and the collective outcome is in some respect inconsistent. While the result is logically inconsistent in the case (...) of the discursive paradox, it is not stable with respect to the level of aggregation in the case of the Ostrogorski paradox. In the following I argue that, despite these differences, the two problems have a similar structure. My conclusion will be twofold: on the one hand, the similarities between the paradoxes support the claim that these problems should be tackled using the same aggregation procedure; on the other hand, applying the same procedure to these paradoxes will help clarify the strengths and weaknesses of the aggregation method itself. More specifically, I will show that an operator defined in artificial intelligence to merge belief bases can deal with both paradoxes. (shrink)

ment on the same propositions, and is plagued by impossibility re- 2. What is the role of independence in judgment aggregation sults. In this paper we study the central notion of independence in..

It has often been recommended that the differing probability distributions of a group of experts should be reconciled in such a way as to preserve each instance of independence common to all of their distributions. When probability pooling is subject to a universal domain condition, along with state-wise aggregation, there are severe limitations on implementing this recommendation. In particular, when the individuals are epistemic peers whose probability assessments are to be accorded equal weight, universal preservation of independence is, with a (...) few exceptions, impossible. Under more reasonable restrictions on pooling, however, there is a natural method of preserving the independence of any fixed finite family of countable partitions, and hence of any fixed finite family of discrete random variables. (shrink)

This dissertation is a contribution to formal and computational philosophy. -/- In the first part, we show that by exploiting the parallels between large, yet finite lotteries on the one hand and countably infinite lotteries on the other, we gain insights in the foundations of probability theory as well as in epistemology. Case 1: Infinite lotteries. We discuss how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. The solution boils down to the introduction (...) of infinitesimal probability values, which can be achieved using non-standard analysis. Our solution can be generalized to uncountable sample spaces, giving rise to a Non-Archimedean Probability (NAP) theory. Case 2: Large but finite lotteries. We propose application of the language of relative analysis (a type of non-standard analysis) to formulate a new model for rational belief, called Stratified Belief. This contextualist model seems well-suited to deal with a concept of beliefs based on probabilities ‘sufficiently close to unity’. -/- The second part presents a case study in social epistemology. We model a group of agents who update their opinions by averaging the opinions of other agents. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. The probability of ending up in an inconsistent belief state turns out to be always smaller than 2%. (shrink)

We present a model for studying communities of epistemically interacting agents who update their belief states by averaging (in a specified way) the belief states of other agents in the community. The agents in our model have a rich belief state, involving multiple independent issues which are interrelated in such a way that they form a theory of the world. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to (...) updating (in the given way). To that end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. It is shown that, under the assumptions of our model, an agent always has a probability of less than 2% of ending up in an inconsistent belief state. Moreover, this probability can be made arbitrarily small by increasing the number of independent issues the agents have to judge or by increasing the group size. A real-world situation to which this model applies is a group of experts participating in a Delphi-study. (shrink)

A necessary condition for a group being taken as a rational agent is that its choices and judgements are ‘logically contestable’, but this can lead to problems of aggregation, as Arrow impossibility theorem or the discursive dilemma. This paper proposes a contractarian or constitutional approach: the relevant thing is what aggregation mechanisms would be preferred by the members of the group. Two distinctions need to be made: first, judgement aggregation is not aggregation of decisions, and judgement aggregation needs be distinguished (...) from the aggregation of information: we assume that every member of the group has already taken into account the opinions of the other members, by means of a process of public deliberation, but they may end having different opinions; we also assume that the members are rational, so that they have no reasons to accept further changes in their individual opinions. So, from the epistemic point of view, the collective judgment is not a 'better' opinion than those of the individual members. The collective judgement is better seen as a kind of compromise, the outcome of a ‘bargain’, so to say. Basically, we assume that individuals will have an interest in choosing a specific aggregation function by taking into account how are they affected by the collective actions carried out by the group, and grounded on the chosen collective judgement. (shrink)