Suppose several individuals (e.g., experts on a panel) each assign probabilities to some events. How can these individual probability assignments be aggregated into a single collective probability assignment? This article reviews several proposed solutions to this problem. We focus on three salient proposals: linear pooling (the weighted or unweighted linear averaging of probabilities), geometric pooling (the weighted or unweighted geometric averaging of probabilities), and multiplicative pooling (where probabilities are multiplied rather than averaged). We present axiomatic characterisations of each class of (...) pooling functions (most of them classic, but one new) and argue that linear pooling can be justified procedurally, but not epistemically, while the other two pooling methods can be justified epistemically. The choice between them, in turn, depends on whether the individuals' probability assignments are based on shared information or on private information. We conclude by mentioning a number of other pooling methods. (shrink)

Decision-making typically requires judgments about causal relations: we need to know the causal effects of our actions and the causal relevance of various environmental factors. We investigate how several individuals' causal judgments can be aggregated into collective causal judgments. First, we consider the aggregation of causal judgments via the aggregation of probabilistic judgments, and identify the limitations of this approach. We then explore the possibility of aggregating causal judgments independently of probabilistic ones. Formally, we introduce the problem of causal-network aggregation. (...) Finally, we revisit the aggregation of probabilistic judgments when this is constrained by prior aggregation of qualitative causal judgments. (shrink)

Pettit (2006) argues that deferring to majority testimony is not generally rational: it may lead to inconsistent beliefs. He suggests that “another ... approach will do better”: deferring to supermajority testimony. But this approach may also lead to inconsistencies. In this paper, I describe conditions under which deference to supermajority testimony ensures consistency, and conditions under which it does not. I also introduce the concept of “consistency of degree k”, which is weaker than full consistency by ruling out only “blatant” (...) inconsistencies in an agent’s beliefs while permitting less blatant ones, and show that, while super-majoritarian deference often fails to ensure full consistency, it is a route to consistency in this weaker sense. (shrink)

The aim of this exploratory paper is to review an under-appreciated parallel between group agency and artificial intelligence. As both phenomena involve non-human goal-directed agents that can make a difference to the social world, they raise some similar moral and regulatory challenges, which require us to rethink some of our anthropocentric moral assumptions. Are humans always responsible for those entities’ actions, or could the entities bear responsibility themselves? Could the entities engage in normative reasoning? Could they even have rights and (...) a moral status? I will tentatively defend the (increasingly widely held) view that, under certain conditions, artificial intelligent systems, like corporate entities, might qualify as responsible moral agents and as holders of limited rights and legal personhood. I will further suggest that regulators should permit the use of autonomous artificial systems in high-stakes settings only if they are engineered to function as moral (not just intentional) agents and/or there is some liability-transfer arrangement in place. I will finally raise the possibility that if artificial systems ever became phenomenally conscious, there might be a case for extending a stronger moral status to them, but argue that, as of now, this remains very hypothetical. (shrink)

What is the relationship between degrees of belief and binary beliefs? Can the latter be expressed as a function of the former—a so-called “belief-binarization rule”—without running into difficulties such as the lottery paradox? We show that this problem can be usefully analyzed from the perspective of judgment-aggregation theory. Although some formal similarities between belief binarization and judgment aggregation have been noted before, the connection between the two problems has not yet been studied in full generality. In this paper, we seek (...) to fill this gap. The paper is organized around a baseline impossibility theorem, which we use to map out the space of possible solutions to the belief-binarization problem. Our theorem shows that, except in limiting cases, there exists no belief-binarization rule satisfying four initially plausible desiderata. Surprisingly, this result is a direct corollary of the judgment-aggregation variant of Arrow’s classic impossibility theorem in social choice theory. (shrink)

Many think that sentences about what metaphysically explains what are true iff there exist grounding relations. This suggests that sceptics about grounding should be error theorists about metaphysical explanation. We think there is a better option: a theory of metaphysical explanation which offers truth conditions for claims about what metaphysically explains what that are not couched in terms of grounding relations, but are instead couched in terms of, inter alia, psychological facts. We do not argue that our account is superior (...) to grounding-based accounts. Rather, we offer it to those already ill-disposed towards grounding. (shrink)

The paper discusses the notion of reasoning with comparative moral judgements (i.e judgements of the form “act a is morally superior to act b”) from the point of view of several meta-ethical positions. Using a simple formal result, it is argued that only a version of moral cognitivism that is committed to the claim that moral beliefs come in degrees can give a normatively plausible account of such reasoning. Some implications of accepting such a version of moral cognitivism are discussed.

The majority rule has caught much attention in recent debate about the aggregation of judgments. But its role in finding the truth is limited. A majority of expert judgments is not necessarily authoritative, even if all experts are equally competent, if they make their judgments independently of each other, and if all the judgments are based on the same source of (good) evidence. In this paper I demonstrate this limitation by presenting a simple counterexample and a related general result. I (...) pave the way for this argument by introducing a Bayesian model of evidence and expert judgment in order to give a precise account of the basic problem. (shrink)

In robustness analysis, hypotheses are supported to the extent that a result proves robust, and a result is robust to the extent that we detect it in diverse ways. But what precise sense of diversity is at work here? In this paper, I show that the formal explications of evidential diversity most often appealed to in work on robustness – which all draw in one way or another on probabilistic independence – fail to shed light on the notion of diversity (...) relevant to robustness analysis. I close by briefly outlining a promising alternative approach inspired by Horwich’s (1982) eliminative account of evidential diversity. (shrink)

The paper defends the thesis that institutional virtue is properly modeled as a ‘‘consensual’’ property, along the lines of the Lehrer–Wagner model of consensus (LWC). In a first step, I argue that institutional virtue is not exhausted by duty-fulfilling, since institutions, contrary to natural individuals, are designed to fulfill duties. To avoid the charge of vacuity, virtue, if attributed to institutions, must be able to motivate supererogatory action. In a second step, I argue against dis- continuity of institutional virtue with (...) individual virtue. Two main arguments for discontinuity of collective properties display serious shortcomings when applied to virtues of institutions. Given that motivation for supererogatory action is neither inferred from statutory duties nor accommodates a right of reprobation, modeling institutional virtue on collective rationality or explaining it in terms of joint com-mitment both prove problematic. In a third step, I argue that LWC has the explanatory potential to account for institutional virtue. Due to its main features,iteration and evaluation, it provides a non-trivial analysis of continuity and thereby satisfies basic constraints on the notion of genuine institutional virtue. (shrink)

Judgment aggregation studies how individual opinions on a given set of propositions can be aggregated to form a consistent group judgment on the same propositions. Despite the simplicity of the problem, seemingly natural aggregation procedures fail to return consistent collective outcomes, leading to what is now known as the doctrinal paradox. The first occurrences of the paradox were discovered in the legal realm. However, the interest of judgment aggregation is much broader and extends to political philosophy, epistemology, social choice theory, (...) and computer science. The aim of this paper is to provide a concise survey of the discipline and to outline some of the most pressing questions and future lines of research. (shrink)

Topics in Cognitive Science, Volume 14, Issue 3, Page 602-620, July 2022.

We analyse the incentives of individuals to misrepresent their truthful judgments when engaged in collective decision-making. Our focus is on scenarios in which individuals reason about the incentives of others before choosing which judgments to report themselves. To this end, we introduce a formal model of strategic behaviour in logic-based judgment aggregation that accounts for such higher-level reasoning as well as the fact that individuals may only have partial information about the truthful judgments and preferences of their peers. We find (...) that every aggregation rule must belong to exactly one of three possible categories: it is either (i) immune to strategic manipulation for every level of reasoning, or (ii) manipulable for every level of reasoning, or (iii) immune to manipulation only for everykth level of reasoning, for some natural number kgreater than 1. (shrink)

Development of decision-support and intelligent agent systems necessitates mathematical descriptions of uncertainty and fuzziness in order to model vagueness. This paper seeks to present an outline of Peirce’s triadic logic as a practical new way to model vagueness in the context of artificial intelligence. Charles Sanders Peirce was an American scientist–philosopher and a great logician whose triadic logic is a culmination of the study of semiotics and the mathematical study of anti-Cantorean model of continuity and infinitesimals. After presenting Peircean semiotics (...) within AI perspective, a mathematical formulation of a Peircean triadic set is given in relationship with classical and fuzzy sets. Using basic logical operators, all possible respective implication operators, bi-equivalence operators, valid rules of inference, and associative, distributive and commutative logical properties are derived and verified through the truth function approach. In order to suggest practical directions, aggregation operators for Peirce’s triadic logic have been formulated. A mathematical formulation of a medical diagnostic problem and ER diagram of a library management system using Peirce’s triadic relation show potential for further applications of the proposed triadic set and triadic logic. Alongside, a classical AI game—The Wumpus World—is implemented to show practical efficacy in comparison with binary implementation. Besides giving some preliminary formulations for trichotomous set theory and definition of finite automaton, development of hybrid architectures for intelligent agents and evolutionary computations are discussed as potential practical avenues for Peirce’s triadic logic. (shrink)

In the biomedical context, policy makers face a large amount of potentially discordant evidence from different sources. This prompts the question of how this evidence should be aggregated in the interests of best-informed policy recommendations. The starting point of our discussion is Hunter and Williams’ recent work on an automated aggregation method for medical evidence. Our negative claim is that it is far from clear what the relevant criteria for evaluating an evidence aggregator of this sort are. What is the (...) appropriate balance between explicitly coded algorithms and implicit reasoning involved, for instance, in the packaging of input evidence? In short: What is the optimal degree of ‘automation’? On the positive side: We propose the ability to perform an adequate robustness analysis as the focal criterion, primarily because it directs efforts to what is most important, namely, the structure of the algorithm and the appropriate extent of automation. Moreover, where there are resource constraints on the aggregation process, one must also consider what balance between volume of evidence and accuracy in the treatment of individual evidence best facilitates inference. There is no prerogative to aggregate the total evidence available if this would in fact reduce overall accuracy. (shrink)

To investigate the relationship between logical reasoning and majority voting, we introduce logic with groups Lg in the style of Gentzen’s sequent calculus, where every sequent is indexed by a group of individuals. We also introduce the set-theoretical semantics of Lg, where every formula is interpreted as a certain closed set of groups whose members accept that formula. We present the cut-elimination theorem, and the soundness and semantic completeness theorems of Lg. Then, introducing an inference rule representing majority voting to (...) Lg, we introduce logic with majority voting Lv. Formalizing the discursive paradox in judgment aggregation theory, we show that Lv is inconsistent. Based on the premise-based and conclusion-based approaches to avoid the paradox, we introduce logic with majority voting for axioms Lva, where majority voting is applied only to non-logical axioms as premises to construct a proof in Lg, and logic with majority voting for conclusions Lvc, where majority voting is applied only to the conclusion of a proof in Lg. We show that both Lva and Lvc are syntactically complete and consistent, and we construct collective judgments based on the provability in Lva and Lvc, respectively. Then, we discuss how these systems avoid the discursive paradox. (shrink)

Dung’s argumentation frameworks have been applied for over twenty years to the analysis of argument justification. This representation focuses on arguments and the attacks among them, abstracting away from other features like the internal structure of arguments, the nature of utterers, the specifics of the attack relation, etc. The model is highly attractive because it reduces most of the complexities involved in argumentation processes. It can be applied to different settings, like the argument evaluation of an individual agent or the (...) case of dialectic disputes between two agents (pro and con), or even in multi-agent collective argumentation. The latter case involves agents with possibly different arguments and/or opinions on how to evaluate them, leading to the possibility of considering multiple sets of arguments and attack relations. Two basic questions can be asked here, namely ‘what to aggregate’ and ‘how to aggregate’. The former concerns what kinds of entities do the agents intend to choose (arguments, attacks, assessments, etc.), while the second one focuses on which aggregation mechanisms yield rational choices (voting on arguments, merging procedures to obtain a common argumentation framework, deliberation processes, etc.). In particular, the question about the rationality of a collective argument choice relates this topic to Social Choice and Judgment Aggregation theories, while its associated strategic issues relate it to Game Theory. The research efforts on the disparate problems elicited by collective argumentation have generated a considerable corpus of literature that deserves an orderly evaluation. This survey is intended as a contribution to that end. (shrink)

BackgroundPublic involvement activities are promoted as measures for ensuring good governance in challenging fields, such as biomedical research and innovation. Proponents of public involvement activities include individual researchers as well as non-governmental and governmental organizations. However, the concept of ‘public’ in public involvement deserves more attention by researchers because it is not purely theoretical: it has important practical functions in the guidance, evaluation and translation of public involvement activities.DiscussionThis article focuses on collective agency as one property a public as a (...) small group of participants in a public involvement activity could exhibit. It introduces a prominent theoretical approach to collective agents as one specific kind of social entities and demonstrates how this approach can be applied to current practice in public involvement activities. A brief discussion of different types of representation as they are used in the existing literature on this topic is also included because representation and collective agency can be closely related to each other. Suggestions and ideas that are derived from this reasoning include the proposal to use a ‘validity check’ for the generation of collective agents as a regular element of certain types of public involvement activities, the consequences of combining collective agency and representativeness as a further property a public could exhibit, and standards for reporting the content of public involvement activities in scientific publications.SummaryThis article discusses the importance of the concept of ‘public’ in public involvement activities, with a focus on biomedical research and innovation. It introduces various practically relevant ideas that are based on a theoretical analysis of collective agency as an important property a public can possess. (shrink)

A normative Bayesian theory of deliberation and judgement requires a procedure for merging the evidence of a collection of agents. In order to provide such a procedure, one needs to ask what the evidence is that grounds Bayesian probabilities. After finding fault with several views on the nature of evidence (the views that evidence is knowledge; that evidence is whatever is fully believed; that evidence is observationally set credence; that evidence is information), it is argued that evidence is whatever is (...) rationally taken for granted. This view is shown to have consequences for an account of merging evidence, and it is argued that standard axioms for merging need to be altered somewhat. (shrink)

Judgment aggregation studies how to aggregate individual judgments on logically correlated propositions into collective judgments. Different logics can be used in judgment aggregation, for which Dietrich and Mongin have proposed a generalized model based on general logics. Despite its generality, however, all nonmonotonic logics are excluded from this model. This paper argues for using nonmonotonic logic in judgment aggregation. Then it generalizes Dietrich and Mongin’s model to incorporate a large class of nonmonotonic logics. This generalization broadens the theoretical boundaries of (...) judgment aggregation by proving that, even if these nonmonotonic logics are employed, certain typical impossibility results still hold. (shrink)

Since the publication of Ekins’ The Nature of Legislative Intent, significant attention has been paid to common attitude models of legislative intention, that is, models that require unanimity among its group members. A common interpretation of Ekins is that these common attitudes are to be preferred over aggregated attitudes. I argue that any feasible theory of legislative attitudes will require non-trivial aggregation (ie. not based on unanimity rules alone). Two arguments are put forward in this regard: first, that non-trivial aggregation (...) better explains uncooperative legislative behaviour and second, that mathematical problems with aggregation apply to common attitudes as well since they involve trivial aggregation. These arguments generalise to theories of common attitudes other than Ekins’. (shrink)

My focus is on aggregation of individual value rankings of alternatives to a collective value ranking. This is compared with aggregation o individual prefrences to a collective preference. While in an individual preference ranking the alternatives are ordered in accordance with one’s preferences, the order in a value ranking expresses one’s comparative evaluation of the alternatives, from the best to the worst. I suggest that, despite their formal similarity as rankings, this difference in the nature of individual inputs in two (...) aggregation scenarios has important implications: The kind of procedure that looks fine for aggregation of judgments is inappropriate for aggregation of preferences. The procedure I have in mind consists in similarity maximization, or – more precisely – in minimization of the average distance from individual inputs. When applied to judgment aggregation, this procedure can also be approached from the epistemic perspective: the questions are posed concerning its advantages as a truth-tracker. From that perspective, what matters is not only the probability of the outcome of the procedure being true, but also the expected verisimilitude of the outcome: its expected distance from truth. (shrink)

Group judgements are often – implicitly or explicitly – influenced by their members’ individual expertise. However, given that expertise is seldom recognized fully and that some distortions may occur (bias, correlation, etc.), it is not clear that differential weighting is an epistemically advantageous strategy with respect to straight averaging. Our paper characterizes a wide set of conditions under which differential weighting outperforms straight averaging and embeds the results into the multidisciplinary group decision-making literature.

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 (...) new to the field of judgment aggregation a sense of this rapidly growing research area. (shrink)

According to Sosa, knowledge is apt belief, where a belief is apt when accurate because adroit. Sosa :465–475, 2010; Judgment and agency, Oxford University Press, Oxford, 2015) adds to his triple-A analysis of knowledge, a triple-S analysis of competence, where a complete competence combines its seat, shape and situation. Much of Sosa’s influential work assumes that epistemic agents are individuals who acquire knowledge when they hit the truth through exercising their own individual skills in appropriate shapes and situations. This paper (...) explores an extension of Sosa’s framework to a social setting in which groups constitute epistemic agents over and above their individual members. The claim is that groups can be ascribed knowledge in virtue of hitting the truth through exercising their competences in appropriate shapes and situations. While knowledge at the collective level may diverge from knowledge at the individual level, the competences of groups are nothing over and above the combined competences of their members. The ensuing view thus has implications for the debate over reduction and supervenience in collective epistemology. (shrink)

Sports tournaments provide a procedure for producing a champion and ranking the contestants based on game results. As such, tournaments mirror aggregation methods in social choice theory, where diverse individual preferences are put together to form an overall social preference. This connection allows us a novel way of conceptualizing sports tournaments, their results, and significance. I argue that there are genuine intransitive dominance relationships in sports, that social choice theory provides a framework for understanding rankings in such situations and that (...) these considerations provide a new reason to endorse championship pluralism. (shrink)

:Preference-aggregation problems arise in various contexts. One such context, little explored by social choice theorists, is metaethical. ‘Ideal-advisor’ accounts, which have played a major role in metaethics, propose that moral facts are constituted by the idealized preferences of a community of advisors. Such accounts give rise to a preference-aggregation problem: namely, aggregating the advisors’ moral preferences. Do we have reason to believe that the advisors, albeit idealized, can still diverge in their rankings of a given set of alternatives? If so, (...) what are the moral facts when the advisors do diverge? These questions are investigated here using the tools of Arrovian social choice theory. (shrink)

In this paper, we investigate the problem of truth approximation via belief merging, i.e., we ask whether, and under what conditions, a group of inquirers merging together their beliefs makes progress toward the truth about the underlying domain. We answer this question by proving some formal results on how belief merging operators perform with respect to the task of truth approximation, construed as increasing verisimilitude or truthlikeness. Our results shed new light on the issue of how rational (dis)agreement affects the (...) inquirers’ quest for truth. In particular, they vindicate the intuition that scientific inquiry, and rational discussion in general, benefits from some heterogeneity in opinion and interaction among different viewpoints. The links between our approach and related analyses of truth tracking, judgment aggregation, and opinion dynamics, are also highlighted. (shrink)

When scientists are asked to give expert advice on risk-related questions, such as the authorization of medical drugs, deliberation often does not eliminate all disagreements. I propose to model these remaining discrepancies as differences in risk assessments and/or in risk acceptability thresholds. The normative question I consider, then, is how the individual expert views should best be aggregated. I discuss what “best” could mean, with an eye to some robustness considerations. I argue that the majority rule, which is currently often (...) used in expert panels, has significant drawbacks. (shrink)

Group beliefs in social networks are often construed as arising from individual beliefs through processes of update and aggregation. In this paper, we explore an alternative ‘arational’ perspective. More specifically, we focus on group attitudes as neutral tendencies toward alignment of opinions driven by influence patterns among agents modeled in a Markov dynamics. In addition, we investigate logical patterns in the resulting potential group beliefs or, in more neutral arational terminology: collective opinion structures.

When a group of agents attempts to reach an agreement on certain issues, it is usually desirable that the resulting consensus be as close as possible to the original judgments of the individuals. However, when these judgments are logically connected to further beliefs, the notion of closeness should also take into account to what extent the individuals would have to revise their entire belief set to reach an agreement. In this work, we present a model for generation of agreement with (...) respect to a given agenda which allows individual epistemic entrenchment to influence the value of the consensus. While the postulates for the transformation function and their construction resemble those of AGM belief revision, the notion of an agenda is adapted from the theory of judgment aggregation. This allows our model to connect both frameworks. (shrink)

In this study, we propose a new direction of research on the axiomatic analysis of approval voting, which is a common democratic decision method. Its novelty is to examine an infinite population setting, which includes an application to intergenerational problems. In particular, we assume that the set of the population is countably infinite. We provide several extensions of the method of approval voting for this setting. As our main result, axiomatic characterizations of the extensions are offered by revealing a direct (...) link between approval voting and the Borda rule. The characterized methods are natural extensions of the standard approval voting method for the finite-population case and are regarded as minimum requirements for other possible infinite-population extensions, which are reasonably democratic. (shrink)

Scientists are often asked to advise political institutions on pressing risk-related questions, like climate change or the authorization of medical drugs. Given that deliberation will often not eliminate all disagreements between scientists, how should their risk assessments be aggregated? I argue that this problem is distinct from two familiar and well-studied problems in the literature: judgment aggregation and probability aggregation. I introduce a novel decision-theoretic model where risk assessments are compared with acceptability thresholds. Majority voting is then defended by means (...) of robustness considerations. (shrink)