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)

According to a theorem recently proved in the theory of logical aggregation, any nonconstant social judgment function that satisfies independence of irrelevant alternatives (IIA) is dictatorial. We show that the strong and not very plausible IIA condition can be replaced with a minimal independence assumption plus a Pareto-like condition. This new version of the impossibility theorem likens it to Arrow’s and arguably enhances its paradoxical value.

Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of WAML in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation and show that each basic WAML system Kn lacks Craig Interpolation.

This work contributes to the theory of judgement aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgement aggregation to cope with non-classical logics, we discuss in particular results for the case of Intuitionistic Logic, the Lambek calculus, Linear Logic and Relevant Logics. The motivation for studying judgement aggregation in non-classical logics is that they offer a number of modelling choices to represent agents’ reasoning in aggregation problems. By studying judgement (...) aggregation in logics that are weaker than classical logic, we investigate whether some well-known impossibility results, that were tailored for classical logic, still apply to those weak systems. (shrink)

The aggregation of individual judgments over interrelated propositions is a newly arising field of social choice theory. I introduce several independence conditions on judgment aggregation rules, each of which protects against a specific 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. (shrink)

Suppose that the members of a group each hold a rational set of judgments on some interconnected questions, and imagine that the group itself has to form a collective, rational set of judgments on those questions. How should it go about dealing with this task? We argue that the question raised is subject to a difficulty that has recently been noticed in discussion of the doctrinal paradox in jurisprudence. And we show that there is a general impossibility theorem that that (...) difficulty illustrates. Our paper describes this impossibility result and provides an exploration of its significance. The result naturally invites comparison with Kenneth Arrow's famous theorem (Arrow, 1963 and 1984; Sen, 1970) and we elaborate that comparison in a companion paper (List and Pettit, 2002). The paper is in four sections. The first section documents the need for various groups to aggregate its members' judgments; the second presents the discursive paradox; the third gives an informal statement of the more general impossibility result; the formal proof is presented in an appendix. The fourth section, finally, discusses some escape routes from that impossibility. (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 identification problem. (shrink)

In the framework of judgment aggregation, we assume that some formulas of the agenda are singled out as premisses, and that both Independence (formula-wise aggregation) and Unanimity Preservation hold for them. Whether premiss-based aggregation thus defined is compatible with conclusion-based aggregation, as defined by Unanimity Preservation on the non-premisses, depends on how the premisses are logically connected, both among themselves and with other formulas. We state necessary and sufficient conditions under which the combination of both approaches (...) leads to dictatorship (resp. oligarchy), either just on the premisses or on the whole agenda. This framework is inspired by the doctrinal paradox of legal theory and arguably relevant to this field as well as political science and political economy. When the set of premisses coincides with the whole agenda, a limiting case of our assumptions, we obtain several existing results in judgment aggregation theory. (shrink)

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 non-manipulability and strategy-proofness. Comparing two frequently discussed aggregation rules, we show that “conclusion-based voting” is less vulnerable to manipulation than (...) “premise-based 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)

The widely discussed "discursive dilemma" shows that majority voting in a group of individuals on logically connected propositions may produce irrational collective judgments. We generalize majority voting by considering quota rules, which accept each proposition if and only if the number of individuals accepting it exceeds a given threshold, where different thresholds may be used for different propositions. After characterizing quota rules, we prove necessary and sufficient conditions on the required thresholds for various collective rationality requirements. We also consider sequential (...) quota rules, which ensure collective rationality by adjudicating propositions sequentially and letting earlier judgments constrain later ones. Sequential rules may be path-dependent and strategically manipulable. We characterize path-independence and prove its essential equivalence to strategy-proofness. Our results shed light on the rationality of simple-, super-, and sub-majoritarian decision-making. (shrink)

The ``doctrinal paradox'' or ``discursive dilemma'' shows that propositionwise majority voting over the judgments held by multiple individuals on some interconnected propositions can lead to inconsistent collective judgments on these propositions. List and Pettit (2002) have proved that this paradox illustrates a more general impossibility theorem showing that there exists no aggregation procedure that generally produces consistent collective judgments and satisfies certain minimal conditions. Although the paradox and the theorem concern the aggregation of judgments rather than preferences, they (...) invite comparison with two established results on the aggregation of preferences: the Condorcet paradox and Arrow's impossibility theorem. We may ask whether the new impossibility theorem is a special case of Arrow's theorem, or whether there are interesting disanalogies between the two results. In this paper, we compare the two theorems, and show that they are not straightforward corollaries of each other. We further suggest that, while the framework of preference aggregation can be mapped into the framework of judgment aggregation, there exists no obvious reverse mapping. Finally, we address one particular minimal condition that is used in both theorems – an independence condition – and suggest that this condition points towards a unifying property underlying both impossibility results. (shrink)

We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determination problem); (2) deciding whether a given agent can influence the outcome of a judgment aggregation procedure in her favour by reporting insincere judgments (the strategic manipulation problem); and (3) deciding whether a given judgment aggregation scenario is guaranteed to result in a logically consistent outcome, independently from what the judgments supplied by the (...) individuals are (the problem of the safety of the agenda). We provide results both for specific aggregation procedures (the quota rules, the premisebased procedure, and a distance-based procedure) and for classes of aggregation procedures characterised in terms of fundamental axioms. (shrink)

The new field 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 unified 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)

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)

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)

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 requiring systematicity that applies to most standard agendas: Every judgment aggregation function (with rational inputs and outputs) satisfying a condition called unbiasedness is dictatorial (or effectively dictatorial if we remove one of the agenda conditions). Our agenda (...) conditions are tight. When applied illustratively to (strict) preference aggregation represented in our model, the result implies that every unbiased social welfare function with universal domain is effectively dictatorial. (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)

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

Can we design a perfect democratic decision procedure? Condorcet famously observed that majority rule, our paradigmatic democratic procedure, has some desirable properties, but sometimes produces inconsistent outcomes. Revisiting Condorcet’s insights in light of recent work on the aggregation of judgments, I show that there is a conflict between three initially plausible requirements of democracy: “robustness to pluralism”, “basic majoritarianism”, and “collective rationality”. For all but the simplest collective decision problems, no decision procedure meets these three requirements at once; at (...) most two can be met together. This “democratic trilemma” raises the question of which requirement to give up. Since different answers correspond to different views about what matters most in a democracy, the trilemma suggests a map of the “logical space” in which different conceptions of democracy are located. It also sharpens our thinking about other impossibility problems of social choice and how to avoid them, by capturing a core structure many of these problems have in common. More broadly, it raises the idea of “cartography of logical space” in relation to contested political concepts. (shrink)

In the emerging literature on judgment aggregation over logically connected proposi- tions, expert rights or liberal rights have not been investigated yet. A group making collective judgments may assign individual members or subgroups with expert know- ledge on, or particularly affected 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)

We present a number of modal logics to reason about group norms. As a preliminary step, we discuss the ontological status of the group to which the norms are applied, by adapting the classification made by Christian List of collective attitudes into aggregated, common, and corporate attitudes. Accordingly, we shall introduce modality to capture aggregated, common, and corporate group norms. We investigate then the principles for reasoning about those types of modalities. Finally, we discuss the relationship between group norms and (...) types of collective responsibility. (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)

We propose a logic to reason about data collected by a num- ber of measurement systems. The semantic of this logic is grounded on the epistemic theory of measurement that gives a central role to measure- ment devices and calibration. In this perspective, the lack of evidences (in the available data) for the truth or falsehood of a proposition requires the introduction of a third truth-value (the undetermined). Moreover, the data collected by a given source are here represented by means (...) of a possible world, which provide a contextual view on the objects in the domain. We approach (possibly) conflicting data coming from different sources in a social choice theoretic fashion: we investigate viable opera- tors to aggregate data and we represent them in our logic by means of suitable (minimal) modal operators. (shrink)

We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The proposed logics for modelling collective attitudes are based on a substructural propositional logic that allows for circumventing inconsistent outcomes. Individual and collective propositional attitudes, such as beliefs, desires, obligations, are then modelled by means of (...) minimal modalities to ensure a number of basic principles. In this way, a viable consistent modelling of collective attitudes is obtained. (shrink)

Desires matter. How are we to understand the intentionality of desire? According to the two classical views, desire is either a positive evaluation or a disposition to act: to desire a state is to positively evaluate it or to be disposed to act to realize it. This Ph.D. Dissertation examines these conceptions of desire and proposes a deontic alternative inspired by Meinong. On this view, desiring is representing a state of affairs as what ought to be or, if one prefers, (...) as what should be. Desire involves a deontic manner of representing: a norm of the ought-to-be type features in desire’s intentional mode, as opposed to content. The dissertation is structured in three parts. In order to defend this conception, I formulate three main desiderata for a promising theory of the intentionality of desire in the introduction (§0). The first concerns desire’s direction of fit, i.e. the intuition that the world should conform to our desires. The second concerns the death of desire principle, i.e. the intuition that one cannot desire what one represents as actual. The last pertains to desire’s role in psychological explanations, i.e. the intuition that desires can explain some mental states and be explained by other mental states. The first part examines the main conceptions of desire in light of these desiderata. I argue that the classical pictures of desire do not adequately meet our desiderata. The first chapter is devoted to the evaluative conception (§1), while the second examines the motivational approach (§2). Following these criticisms, I then present the deontic view of desire (§3). In the second part, I defend this conception with the help of three arguments. The main idea is that appealing to norms of the ought-to-be type can satisfy our chief desiderata: the world should conform to norms (world-to-mind direction of fit, §4), norms are grounded on values and in turn ground obligations (explanation, §5), and norms are about non-actual states of affairs (death of desire principle, §6). In the last part, I develop the deontic view to draw a cartography of the various types of desire. Some desires are correct, while others are inappropriate. This distinction is explained by the deontic conception, as it matches that between states of affairs that ought to obtain and states that should not obtain (§7). Two study cases are examined: caprice and the impermissibility of desire aggregation. Intuitively, hopes, wishes, or urges are types of desire. The next chapter presents a typology inspired by the deontic view and the type of norms there are (§8). The last chapter discusses the main objections to the deontic approach (§9). In conclusion, I show the relevance of the deontic view for several debates in philosophy of mind and ethics. Desires are crucial because they are the ‘eye’ of what should be. (shrink)

The impossibility results in judgement aggregation show a clash between fair aggregation procedures and rational collective outcomes. In this paper, we are interested in analysing the notion of rational outcome by proposing a proof-theoretical understanding of collective rationality. In particular, we use the analysis of proofs and inferences provided by linear logic in order to define a fine-grained notion of group reasoning that allows for studying collective rationality with respect to a number of logics. We analyse the well-known (...) paradoxes in judgement aggregation and we pinpoint the reasoning steps that trigger the inconsistencies. Moreover, we extend the map of possibility and impossibility results in judgement aggregation by discussing the case of substructural logics. In particular, we show that there exist fragments of linear logic for which general possibility results can be obtained. (shrink)

Human language, hominin tool production modes, and multimodal communications systems of primates and other animals are currently well-studied for how they display compositionality or combinatoriality. In all cases, the former is defined as a kind of hierarchical nesting and the latter as a lack thereof. In this article, I extend research on combinatoriality and compositionality further to investigations of everyday primate skills. Daily locomotion modes as well as behaviors associated with subsistence practices, hygiene, or body modification rely on the hierarchical (...) nesting of different behavioral and cognitive actions into complex skills. I introduce a scheme which uses hierarchical organization to differentiate combinatorial from compositional skills. Combinatorial skills are defined either as aggregational or linearly hierarchical depending on whether the skill occurs momentarily in space or unfolds sequentially over time. Compositional skills are defined either as nested or interactionally hierarchical depending on whether the skill results in new constructs or in new interactions between existing constructs. The methodology I propose combines epistemological hierarchy theory with data from primatological field research and experimental and comparative psychological research and provides a means to integrate current constructionist and extended views on cognition and action with older research on behavioral logics in psychology and operational chain thinking in anthropology. The approach furthermore synchronizes with ongoing research on teleonomy, intentionality, and creativity. -/- . (shrink)

Faced with the choice between saving one person and saving two others, what should we do? It seems intuitively plausible that we ought to save the two, and many forms of consequentialists offer a straightforward rationale for the intuition by appealing to interpersonal aggregation. But still many other philosophers attempt to provide a justification for the duty to save the greater number without combining utilities or claims of separate individuals. I argue against one such attempt proposed by Iwao Hirose. (...) Despite being consequentialist, his argument is aggregation-free since it relies on a non-aggregative value judgement method, instead of interpersonal aggregation, to establish that (other things being equal) a state of affairs is better when more people survive therein. I do not take issue with its consequentialist element; rather, I claim that there is no good reason to adopt the method in question, and thus no good reason to be moved by his argument overall. What we are in search of is not merely a logically possible method that can produce the conclusion that we already want, but one that we have good reason to adopt. Hirose's argument elegantly demonstrates how it could possibly be true that it is right to save the greater number; but it fails to show that we have reason to believe so - even when we do not combine the interests of different individuals. (shrink)

This work is a attempt to describe various braches of mathematics and the analogies betwee them. Namely: 1) Symbolic Analogic 2) Lateral Algebraic Expressions 3) Calculus of Infin- ity Tensors Energy Number Synthesis 4) Perturbations in Waves of Calculus Structures (Group Theory of Calculus) 5) Algorithmic Formation of Symbols (Encoding Algorithms) The analogies between each of the branches (and most certainly other branches) of mathematics form, ”logic vectors.” Forming vector statements of logical analogies and semantic connections between the di↵erentiated (...) branches of math- ematics is useful. It’s useful, because it gives us a linguistic notation from which we can derive other insights. These combined insights from the logical vector space connections yield a combination of Numeric Energy and the logic space. Thus, I have derived and notated many of the most useful tangent ideas from which even more correlations and connections ca be drawn. Using AI, these branches can be used to form even more connections through training of lan- guage engines on the derived models. Through the vector logic space and the discovery of new sheaf (Limbertwig), vast combinations of novel, mathematical statements are derived. This paves the way for an AGI that is not rigid, but flex- ible, like a Limbertwig. The Limbertwig sheaf is open, meaning it can receive other mathematical logic vectors with di↵erent designated meanings (of infi- nite or finite indicated elements). Furthermore, the articulation of these syntax forms evolves language away from imperative statements into a mathematically emotive space. Indeed, shown within, we see how the supramanifold of logic is shared with the supramanifold of space-time mathematically. Developing clean mathematical spaces can help meditation, thought pro- cess, acknowledgment of ideas spoken into that cognitive-spacetime and in turn, methods by which paradoxes can be resolved linguistically. This toolkit should be useful to all in the sciences as well as those bridging the humantities to mathematics. Using our memories as a toolkit to aggregate these ideas breaks down bound- aries between them in a new, exciting way. Merging philosophy and Quantum Mechanics together through the lens of symbolic analogies gives the tools to unravel this mystery of all mysteries. Mathematics thus exists as a bridge al- beit a complex one between the two disciplines, giving life to a composite art of problem-solving. Furthermore, mathematics yields to millions of other applications that are potentially limited only by our imagination. From massive data sets used for predictive analytics to emerging fields in medicine, mathematics is an energy and force at the center of possibilities. The power of mathematics to help manage life exists in its ability to shape and model the world in which we live and interact with one another. In conclusion, mathematics is a powerful tool that creates bridges and con- nections between many disciplines and serves as a powerful form of analytical data consumption. It provides language-rich bridges from which to assemble vast fields of theoretical investigations and create groundbreaking innovations. As we approach new horizons in the technology timeline, mathematics will con- tinue to be a powerful driver of creativity and progress. (shrink)

The topics approached in the 52 papers included in this book are: neutrosophic sets; neutrosophic logic; generalized neutrosophic set; neutrosophic rough set; multigranulation neutrosophic rough set (MNRS); neutrosophic cubic sets; triangular fuzzy neutrosophic sets (TFNSs); probabilistic single-valued (interval) neutrosophic hesitant fuzzy set; neutro-homomorphism; neutrosophic computation; quantum computation; neutrosophic association rule; data mining; big data; oracle Turing machines; recursive enumerability; oracle computation; interval number; dependent degree; possibility degree; power aggregation operators; multi-criteria group decision-making (MCGDM); expert set; soft sets; LA-semihypergroups; single (...) valued trapezoidal neutrosophic number; inclusion relation; Q-linguistic neutrosophic variable set; vector similarity measure; fundamental neutro-homomorphism theorem; neutro-isomorphism theorem; quasi neutrosophic triplet loop; quasi neutrosophic triplet group; BE-algebra; cloud model; Maclaurin symmetric mean; pseudo-BCI algebra; hesitant fuzzy set; photovoltaic plan; decision-making trial and evaluation laboratory (DEMATEL); Choquet integral; fuzzy measure; clustering algorithm; and many more. (shrink)

In this paper, I investigate the relationship between preference and judgment aggregation, using the notion of ranking judgment introduced in List and Pettit. Ranking judgments were introduced in order to state the logical connections between the impossibility theorem of aggregating sets of judgments and Arrow’s theorem. I present a proof of the theorem concerning ranking judgments as a corollary of Arrow’s theorem, extending the translation between preferences and judgments defined in List and Pettit to the conditions on the (...) aggregation procedure. (shrink)

This paper explores two non-standard supermajority rules in the context of judgment aggregation over multiple logically connected issues. These rules set the supermajority threshold in a local, context sensitive way—partly as a function of the input profile of opinions. To motivate the interest of these rules, I prove two results. First, I characterize each rule in terms of a condition I call ‘Block Preservation’. Block preservation says that if a majority of group members accept a judgment set, then so (...) should the group. Second, I show that one of these rules is, in a precise sense, a judgment aggregation analogue of a rule for connecting qualitative and quantitative belief that has been recently defended by Hannes Leitgeb. The structural analogy is due to the fact that Leitgeb sets thresholds for qualitative beliefs in a local, context sensitive way—partly as a function of the given credence function. (shrink)

The topics approached in this collection of papers are: neutrosophic sets; neutrosophic logic; generalized neutrosophic set; neutrosophic rough set; multigranulation neutrosophic rough set (MNRS); neutrosophic cubic sets; triangular fuzzy neutrosophic sets (TFNSs); probabilistic single-valued (interval) neutrosophic hesitant fuzzy set; neutro-homomorphism; neutrosophic computation; quantum computation; neutrosophic association rule; data mining; big data; oracle Turing machines; recursive enumerability; oracle computation; interval number; dependent degree; possibility degree; power aggregation operators; multi-criteria group decision-making (MCGDM); expert set; soft sets; LA-semihypergroups; single valued trapezoidal neutrosophic (...) number; inclusion relation; Q-linguistic neutrosophic variable set; vector similarity measure; fundamental neutro-homomorphism theorem; neutro-isomorphism theorem; quasi neutrosophic triplet loop; quasi neutrosophic triplet group; BE-algebra; cloud model; fuzzy measure; clustering algorithm; and many more. (shrink)

According to group-agent realism, treating groups as agents with their own intentional states, irreducible to those of the group members, helps us explain and predict the groups’ behavior. This paper challenges this view. When groups judge logically interconnected propositions, group members often have incentives to misrepresent their beliefs of propositions they care less about in order to increase the probability of their groups adopting their view of propositions they consider more important. Aggregating such untruthful judgments may lead to the group (...) forming false beliefs. Treating groups as agents will then not help us explain or predict their behavior. (shrink)

While a large social-choice-theoretic literature discusses the aggregation of individual judgments into collective ones, there is much less formal work on the transformation of judgments in group communication. I develop a model of judgment transformation and prove a baseline impossibility theorem: Any judgment transformation function satisfying some initially plausible conditions is the identity function, under which no opinion change occurs. I identify escape routes from this impossibility and argue that the kind of group communication envisaged by deliberative democats must (...) be "holistic": It must focus on webs of connected propositions, not on one proposition at a time, which echoes the Duhem-Quine "holism thesis" on scientific theory testing. My approach provides a map of the logical space in which different possible group communication processes are located. (shrink)

When is it legitimate for a government to ‘nudge’ its citizens, in the sense described by Thaler and Sunstein (2008)? In their original work on the topic, Thaler and Sunstein developed the _‘as judged by themselves’ (or AJBT) test_ to answer this question (Thaler and Sunstein 2008, p. 5). In a recent paper, Paul and Sunstein (2019) raised a concern about this test: it often seems to give the wrong answer in cases in which we are nudged to make a (...) decision that leads to what Paul calls a _personally transformative experience_, that is, one that results in our values changing (Paul 2014). In those cases, the nudgee will judge the nudge to be legitimate after it has taken place, but only because their values have changed as a result of the nudge. In this paper, I take up the challenge of finding an alternative test. I draw on my _aggregate utility account_ of how to choose in the face of what Ullmann-Margalit (2006) calls _big decisions_, that is, decisions that lead to these personally transformative experiences (Pettigrew 2019, Chapters 6 and 7). (shrink)

ABSTRACT The philosophical tradition approaches to morals have their grounds predominantly on metaphysical and theological concepts and theories. Among the traditional ethics concepts, the most prominent is the Divine Command Theory (DCT). As per the DCT, God gives moral foundations to the humankind by its creation and through Revelation. Morality and Divinity are inseparable since the most remote civilization. These concepts submerge in a theological framework and are largely accepted by most followers of the three Abrahamic traditions: Judaism, Christianity, and (...) Islam: the greatest part of the human population. Holding faith and Revelation for its grounds, the Divine Command Theories are not strictly subject to the demonstration. The opponents to the Divine Command conception of morals, grounded in the impossibility of demonstration of its metaphysical and religious assumptions, have tried for many centuries (albeit unsuccessfully) to devalue its importance. They held the argument that it does not show material evidence and logical coherence and, for this reason, cannot be taken into account for scientific nor philosophical purposes. It is just a belief and, as so, should be understood. Besides these extreme oppositions, many other concepts contravene the Divine Command theories, in one or another way, in part or in full. Many philosophers and social scientists, from the classic Greek philosophy up to the present date, for instance, sustain that morality is only a construct, and thus culturally relative and culturally determined. However, this brings many other discussions and imposes the challenge to determine what is the meaning of culture, which elements of culture are morally determinant, and finally, what are the boundaries of such relativity. Moral determinists claim that everything related to human behavior, including morality, is determined, once free will does not exist. More recently, modern thinkers argued that there is a strict science of morality. However, the scientific method alone, despite explaining several facts and evidence, cannot enlighten the entire content and full meaning of ethics. Morals’ understanding requires a broader perception, and an agreement among philosophers, which they have never achieved. All of these questions have many different configurations depending on each philosophical strand, and start complex analysis and endless debates, as long as many of them are reciprocally conflictive. The universe and the atmosphere involving this thesis are the dominions of all these conceptual conflicts, observed from an objective and evolutionary standpoint. Irrespective of this circumstance and its intrinsic importance, however, these questions are far distant from the methodological approach of an analytical discussion on objective morals, what is, indeed, the aim and scope of this work. We should briefly revisit these prominent traditional theories because this thesis shelters a comparative study, and its assumptions at least differ profoundly from all traditional theories. Therefore, it becomes necessary offering direct and specific elements of comparison to the reader, for the right criticism, dispensing interruptive researches. However, even revisiting the traditional theories, for this comparative and critical exposure purpose, they will be kept by the side of our main concerns, as “aliena materia.” Irrespective of the validity of any or all of the elements of this discussion, and their meaning as the philosophical universe of this thesis, the purpose of this work is demonstrating and justifying the existence and meaning of prehistoric moral archetypes arisen directly from the very first social needs and efforts for survival. These archetypes are the definition of the essential foundation of ethics, its aggregation to the collective unconscious and corresponding logic organization and transmission to evolutionary stages of the human genome and different relations space-time, irrespective of any contemporary experience of the individuals. The system defined by these archetypes composes an evolutionary human social model. Is this a metaethical position? Yes, it is. Moreover, as in any metaethical reasoning, we should look carefully for the best and coherent routes, as the Analytical Philosophy offers them. Thus, this work should reasonably demonstrate that morals are not a cultural product of the civilized men or modern societies and that despite being subject to several cultural relative aggregations and subtractions, its essential foundations are archetypal and have never structurally changed. This reasoning induces that morality is an original attribute of the “homo sapiens”; it is not a property and nor an accident: it integrates the human essence and belongs to the realm of the ontological human identity. The human phenomena is a continuing process, playing its role between random determination and free will, and we need to question how morality began and how did it come to us in the present. (shrink)

Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...) are we theoreticians epistemically justified in holding that there are such entities? This would hardly seem sufficient. To be epistemically justified, the ontology to which we theoreticians are committed must pass strict standards: the entities must be of the sort required by our best comprehensive theory of the world. The thesis of this paper is that fine-grained type-free intensional entities are like this. If the thesis is right, these entities have a special objective status perhaps not possessed by some of the other ontological categories associated with special syntactic constructions in natural language. In fact, it is plausible to hold that fine-grained type-free intensional entities provide the proper minimal framework for constructing logical and linguistic theories. In this paper my strategy will be to survey the competing conceptions of fine-grained type-free intensionality and to present arguments in support of one of them. Following this narrowing down process, I will go on to the indicated epistemological considerations. (shrink)

In this article, I firstly discuss why a prioritarian clause can rescue the utilitarian doctrine from the risk of exacerbating inequality in the distribution of resources in those cases in which utility of income does not decline at the margin. Nonetheless, when in the presence of adaptive preferences, classic prioritarianism is more likely than utilitarianism to increase the inequality of resources under all circumstances, independently of the diminishing trend of utility. Hence, I propose to shift the informational focus of prioritarianism (...) from welfare to either social income or capabilities in order to safeguard those who are worse off. Following this, I argue that we may have reasons to limit the aggregative logic of priority-amended utilitarianism through one or more sufficiency thresholds, and that we can partially defuse the negative-thesis objection that is usually levelled against sufficientarianism, provided we interpret the threshold(s) as valid only as long as everyone is led above it. (shrink)

Recent work in democratic theory has seriously questioned the dominant pluralist model of self-government and recommended the adoption of a ‘deliberative’ conception of constitutional democracy. With this shift in basic political theory, the objection to judicial review, often voiced in jurisprudential theory, as an anti-democratic instance of paternalism merits another look. This paper argues that the significant differences between four recent theories of constitutional review—put forward by Ely, Perry, Dworkin, and Habermas—are best understood as arising from different positions taken on (...) two cross-cutting distinctions that have been inherited from Locke and Rousseau: democratic processes as aggregative versus deliberative, and democratic legitimacy as substantive versus procedural. A reconstruction and critical evaluation of the four theories of judicial review, with special emphasis on their underlying theories of constitutional democracy, yields a set of criteria for adequate accounts of democratic processes, democratic legitimacy, and their relation to judicial review. I argue that the best understanding of constitutional review is yielded by Habermas’s theory because it combines a conception of popular sovereignty in terms of the collective process of citizens’ deliberative attempt to institutionalize the general will through law, with a resolutely proceduralist conception of democratic legitimacy. However, I also argue that some of the specific proposals Habermas makes concerning the institutionalization of constitutional review in an independent, non-accountable judiciary and the scope of duties for such a body need to be modified in the light of his overriding commitments to participatory deliberative processes and procedural legitimacy. (shrink)

A challenge faced by defenders of the precautionary principle is to clarify when the evidence that a harmful event might occur suffices to regard this prospect as a real possibility. Plausible versions of the principle must articulate some epistemic threshold, orde minimisrequirement, which specifies when precautionary measures are justified. Critics have argued that formulating such a threshold is problematic in the context of the precautionary principle. First, this is because the precautionary principle appears to be ambiguous about the distinction between (...) risk and uncertainty: should the principle merely be invoked when evidential probabilities are absent, or also when probabilities have low epistemic credentials? Secondly, defenders of the precautionary principle face an aggregation puzzle: in judging whether or not thede minimisrequirement has been met, how should first-order evidential probabilities and their second-order epistemic standing be aggregated? This article argues that the ambiguity can be resolved, and the epistemological puzzle can be solved. Focusing on decisions in the context of climate uncertainty, I advance a version of the precautionary principle that serves as a plausible decision rule, to be adopted in situations where its main alternative—cost–benefit analysis—does not deliver. (shrink)

Among the possible solutions to the paradoxes of collective preferences, single-peakedness is significant because it has been associated to a suggestive conceptual interpretation: a single-peaked preference profile entails that, although individuals may disagree on which option is the best, they conceptualize the choice along a shared unique dimension, i.e. they agree on the rationale of the collective decision. In this article, we discuss the relationship between the structural property of singlepeakedness and its suggested interpretation as uni-dimensionality of a social choice. (...) In particular, we offer a formalization of the relationship between single-peakedness and its conceptual counterpart, we discuss their logical relations, and we question whether single-peakedness provides a rationale for collective choices. (shrink)

It is not by thinking that we create worlds. It is by understanding the world that we learn to think. Cosmovision is a term that should mean a set of foundations from which emerges a systemic understanding of the Universe, its components as life, the world we live in, nature, human phenomena, and their relationships. It is, therefore, a field of analytical philosophy fed by the sciences, whose objective is this aggregated and epistemologically sustainable knowledge about everything that we are (...) and contain, that surrounds us, and that relates to us in any way. It is something as old as human thought, and, in addition to using elements of scientific cosmology, it encompasses everything in philosophy and science that refers to the universe and life. A cosmovision is not a set of ideas, hypotheses, and assumptions but a system based on observation, analysis, evidence, and demonstration. No cosmovision intends to define, establish, or propose but only to understand, analyse, and interpret. Each of us builds and transports his cosmovision throughout life, without establishing forms, as a background for our thinking and behaviour. Linguistically, the term “cosmovision” would derive from the German, equivalent to the concept of “ Weltanschauung,” as used by several philosophers. However, this linguistic relationship is not applicable because it contradicts what we propose as a cosmovision. This German word refers to a pre-logical or proto- experimental vision of reality, with an intuitive context and far from critical knowledge still non-existent at the time of its formulation. Undoubtedly, cosmovisions, in the sense in which we understand them, house and use these proto-experimental or pre-logical elements that include history, the collective unconscious, and all the archetypes we carry. However, in the concept that we apply here, the cosmovision goes far beyond this content, firstly by constantly submitting it to present critical thinking, and finally by making the analytic experience ( and not the thought itself or intuition) its actual universe. António Lopes expose the breadth of this content: -/- "Cosmovisions are not the product of thought. They do not spring from the simple desire to know. The apprehension of reality is an important moment in its configuration, but, nevertheless, it is only one. It comes from the vital conduct, from the experience of life's evaluation, and from the structure of our psychic totality. The elevation of life to consciousness in the knowledge of reality, in the valuation, and in the volitional reality is the slow and arduous work that humanity has done in the development of the conceptions of life. (W. Dilthey, 1992 [1911]: 120)”(1) -/- In this work, we seek to outline a cosmovision based on the realities that science offers today. We do not propose, at any time, to do science; or theorise philosophy, but we will always seek to be supported by them or, at least, protected by them from the cognitive distortions that we usually carry. ________________________________________________ (1) Lopes , Antonio – “ Weltanschauung (Cosmovision)” (2009 ) in Carlos Ceia's E-Dictionary of Literary Terms. -/- . (shrink)

The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering and other domains where information from several distinct sources needs to be integrated in a coherent manner.We propose to view ontology merging as a problem of social choice, i.e. as a problem of aggregating the input of a set of individuals into an adequate collective decision. That is, we propose to view ontology merging as ontology aggregation. As a first step in this direction, (...) we formulate several desirable properties for ontology aggregators, we identify the incompatibility of some of these properties, and we define and analyse several simple aggregation procedures. Our approach is closely related to work in judgment aggregation, but with the crucial difference that we adopt an open world assumption, by distinguishing between facts not included in an agent’s ontology and facts explicitly negated in an agent’s ontology. (shrink)

(First paragraphs.) The idea that our language somehow influences our thought can be found in philosophical and scientific traditions of different continents and with different roots and objectives. Yet, beyond the mere theoretical, explorations of the idea are relatively scarce, and are mostly limited to relations between very concrete conceptual categories and subjective experiencing and remembering – to some kind of ‘psychologies of folk-ontology’. Thought as process, reasoning or ‘thinking’, and the role of more complex or abstract concepts in (such) (...) thought tend to be mostly ignored in psychology and philosophy. Conceptual and intellectual history, on the other hand, cannot be accused of such neglect, but the common lack of a comparative perspective in those fields precludes any generalized inference. Furthermore, while a comparative study on the role of complex or abstract concepts in thought as process and its products (the aggregate ‘thought’ of schools, ages, and regions) could result in a considerable enrichment of our understanding of the relationships between language and thought, it would not necessarily be recognized as such because of a fundamental difference in the nature of the concepts involved, affecting the boundary of ‘language’ in the pair ‘language and thought’. More concretely, while the concepts of the ‘psychologies of folk-ontology’ are rather concrete categories of ‘things’ or aspects of experienced reality (hence, ‘folk-ontology’), the abstract concepts of (comparative) conceptual history, such as ‘society’ or ‘reason’, are categories of ideas. Consequently, conceptual history is inseparably tied to the history of ideas, and there is no strict boundary line between concepts, theories, ideas, and aggregate thought in general. It could, therefore, be argued that a comparative conceptual history would be a study of the influence of ideas on thought, rather than of language on thought. That argument, however, would either void language of content, or make the dubious claim that folk-ontology is a fundamentally different type of content than theoretical content. The ‘psychologies of folk-ontology’ study the influence of folk-ontological categories on folk-ontological thought (experiencing and remembering), and a comparative conceptual history would study the influence of theoretical categories (or conceptualized ideas) on theoretical thought (thinking, reasoning, etc.), and there does not seem to be a good reason to exclude either type of categories from ‘language’. Perhaps it should be argued instead that the ambiguous term ‘language’ in the pair ‘language and thought’ would better be replaced with ‘concepts’ or ‘categories’. (shrink)

A good metaphysical account of logical form, must make clear why logical form is logical. However, this task has proved to be very elusive. Here, I analyze different attempts to meet this challenge and defend an inferential externalism where logical form is grounded on external logical relations as our most promising option.

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, (...) violate the laws of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the (...) logic of knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism (...) deserves revitalization. Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

The article is centered on the question of how best to understand the logical pluralism/logical monism debate. A number of suggestions are brought up and rejected on the ground that they re...