Independent social choice correspondences

A fixed agenda social choice correspondence on outcome set X maps each profile of individual preferences into a nonempty subset of X. If satisfies an analogue of Arrow's independence of irrelevant alternatives condition, then either the range of contains exactly two alternatives, or else there is at most one individual whose preferences have any bearing on . This is the case even if is not defined for any proper subset of X.     

Predictive superiority of the beta-characteristic function in cooperative non-sidepayment N-person games

This article reports an experimental study of decision-making outcomes in cooperative non-sidepayment games. The objective of this test was to determine which characteristic function, V (S) or V (S), provides the most accurate basis for payoff predictions from solution concepts. The experiment tested three solution concepts (core, stable set, imputation set) in the context of 5-person, 2-strategy non-sidepayment games. Predictions from each of the three solution concepts were computed on the basis of both V (S) and V (S), making a total of six predictive theories under test. Consistent with earlier studies (Michener et al., 1984a; Michener et al., 1985), two basic findings emerged. First, the data show that for each of the solutions tested, the prediction from any solution concept computed from V(S) was more accurate than the prediction from the same solution concept computed from V (S). Second, the -core was the most accurate of the six theories tested. Overall, these results support the view that V (S) is superior to V (S) as a basis for payoff predictions in cooperative non-sidepayment games.     

The general relevance of the impossibility teorem in smooth social choice

A complete classification theorem for voting processes on a smooth choice spaceW of dimensionw is presented. Any voting process is classified by two integersv ^* () andw(), in terms of the existence or otherwise of the optima set, IO(), and the cycle set IC().In dimension belowv ^* () the cycle set is always empty, and in dimension abovew() the optima set is nearly always empty while the cycle set is open dense and path con nected. In the latter case agenda manipulation results in any outcome.For admissible (compact, convex) choice spaces, the two sets are related by the general equilibrium result that IO() union IC() is non-empty. This in turn implies existence of optima in low dimensions. The equilibrium theorem is used to examine voting games with an infinite electorate, and the nature ofstructure induced equilibria, induced by jurisdictional restrictions.This material is based on work supported by a Nuffield Foundation grant.     

The behavioral function: An inquiry into the relation between behavior and utility

The idea that an individual's behavior is a function of its utility or Value represents a very common and fundamental assumption in the study of human conduct. In this paper it will be attempted to determine the nature of this function more precisely. Adopting a probabilistic conception of human action, it appears that an exponential function perfectly satisfies the empirical as well as formal conditions which it seems necessary to impose upon it initially. Empirical research into behavioral change lends additional support to the function thus constructed.     

Correlated strategies as Institutions

Two institutions that are often implicit or overlooked in noncooperative games are the assumption of Nash behavior to solve a game, and the ability to correlate strategies. We consider two behavioral paradoxes; one in which maximin behavior rules out all Nash equilibria (Chicken), and another in which minimax supergame behavior leads to an inefficient outcome in comparison to the unique stage game equilibrium (asymmetric Deadlock). Nash outcomes are achieved in both paradoxes by allowing for correlated strategies, even when individual behavior remains minimax or maximin. However, the interpretation of correlation as a public institution differs for each case.     

Decision-making under ignorance with implications for social choice

A new investigation is launched into the problem of decision-making in the face of complete ignorance, and linked to the problem of social choice. In the first section the author introduces a set of properties which might characterize a criterion for decision-making under complete ignorance. Two of these properties are novel: independence of non-discriminating states, and weak pessimism. The second section provides a new characterization of the so-called principle of insufficient reason. In the third part, lexicographic maximin and maximax criteria are characterized. Finally, the author's results are linked to the problem of social choice.     

Rational choice and economic behavior

This paper discusses several concepts that can be used to provide a foundation for a unified, theory of rational, economic behavior. First, decision-making is defined to be a process that takes place with reference to both subjective and objective time, that distinguishes between plans and actions, between information and states and that explicitly incorporates the collection and processing of information. This conception of decision making is then related to several important aspects of behavioral economics, the dependence of values on experience, the use of behavioral rules, the occurrence of multiple goals and environmental feedback.Our conclusions are (1) the non-transitivity of observed or revealed preferences is a characteristic of learning and hence is to be expected of rational decision-makers; (2) the learning of values through experience suggests the sensibleness of short time horizons and the making of choices according to flexible utility; (3) certain rules of thumb used to allow for risk are closely related to principles of Safety-First and can also be based directly on the hypothesis that the feeling of risk (the probability of disaster) is identified with extreme departures from recently executed decisions. (4) The maximization of a hierarchy of goals, or of a lexicographical utility function, is closely related to the search for feasibility and the practice of satisficing. (5) When the dim perception of environmental feedback and the effect of learning on values are acknowledged the intertemporal optimality of planned decision trajectories is seen to be a characteristic of subjective not objective time. This explains why decision making is so often best characterized by rolling plans. In short, we find that economic man - like any other - is an existential being whose plans are based on hopes and fears and whose every act involves a leap of faith.This paper is based on a talk presented at the Conference, New Beginnings in Economics, Akron, Ohio, March 15, 1969. Work on this paper was supported by a grant from the National Science Foundation.     

On inference from inconsistent premisses

The main object of this paper is to provide the logical machinery needed for a viable basis for talking of the consequences, the content, or of equivalences between inconsistent sets of premisses.With reference to its maximal consistent subsets (m.c.s.), two kinds of consequences of a propositional set S are defined. A proposition P is a weak consequence (W-consequence) of S if it is a logical consequence of at least one m.c.s. of S, and P is an inevitable consequence (I-consequence) of S if it is a logical consequence of all the m.c.s. of S. The set of W-consequences of a set S it determines (up to logical equivalence) its m.c.s. (This enables us to define a normal form for every set such that any two sets having the same W-consequences have the same normal form.) The W-consequences and I-consequences will not do to define the content of a set S. The first is too broad, may include propositions mutually inconsistent, the second is too narrow. A via media between these concepts is accordingly defined: P is a P-consequence of S, where P is some preference criterion yielding some of the m.c.s. of S as preferred to others, and P is a consequence of all of the P-preferred m.c.s. of S. The bulk of the paper is devoted to discussion of various preference criteria, and also surveys the application of this machinery in diverse contexts - for example, in connection with the processing of mutually inconsistent reports.     

On the foundations of mean-variance analyses

Let (, ) and (, ) be mean-standard deviation pairs of two probability distributions on the real line. Mean-variance analyses presume that the preferred distribution depends solely on these pairs, with primary preference given to larger mean and smaller variance. This presumption, in conjunction with the assumption that one distribution is better than a second distribution if the mass of the first is completely to the right of the mass of the second, implies that (, ) is preferred to (, ) if and only if either > or ( = and < ), provided that the set of distributions is sufficiently rich. The latter provision fails if the outcomes of all distributions lie in a finite interval, but then it is still possible to arrive at more liberal dominance conclusions between (, ) and (, ).This research was supported by the Office of Naval Research.     

A systems concept of society: Beyond individualism and holism

Three rival views of the nature of society are sketched: individualism, holism, and systemism. The ontological and methodological components of these doctrines are formulated and analyzed. Individualism is found wanting for making no room for social relations or emergent properties; holism, for refusing to analyze both of them and for losing sight of the individual.A systems view is then sketched, and it is essentially this: A society is a system of interrelated individuals sharing an environment. This commonsensical idea is formalized as follows: A society is representable as an ordered triple Composition of , Environment of , Structure of , where the structure of is the collection of relations (in particular connections) among components of . Included in the structure of any are the relations of work and of managing which are regarded as typical of human society in contrast to animal societies.Other concepts formalized in the paper are those of subsystem (in particular social subsystem), resultant property, and emergent or gestalt property. The notion of subsystem is used to build the notion of an F-sector of a society, defined as the set of all social subsystems performing a certain function F (e.g. the set of all schools). In turn, an F-institution is defined as the family of all F-sectors. Being abstractions, institutions should not be attributed a life and a mind of their own. But, since an institution is analyzable in terms of concrete totalities (namely social subsystems), it does not comply with the individualist requirement either.It is also shown that the systems view is inherent in any mathematical model in social science, since any such schema is essentially a set of individuals endowed with a certain structure. And it is stressed that the systems view combines the desirable features of both individualism and holism.     

Separating marginal utility and probabilistic risk aversion

This paper is motivated by the search for one cardinal utility for decisions under risk, welfare evaluations, and other contexts. This cardinal utility should have meaningprior to risk, with risk depending on cardinal utility, not the other way around. The rank-dependent utility model can reconcile such a view on utility with the position that risk attitude consists of more than marginal utility, by providing a separate risk component: a probabilistic risk attitude towards probability mixtures of lotteries, modeled through a transformation for cumulative probabilities. While this separation of risk attitude into two independent components is the characteristic feature of rank-dependent utility, it had not yet been axiomatized. Doing that is the purpose of this paper. Therefore, in the second part, the paper extends Yaari's axiomatization to nonlinear utility, and provides separate axiomatizations for increasing/decreasing marginal utility and for optimistic/pessimistic probability transformations. This is generalized to interpersonal comparability. It is also shown that two elementary and often-discussed properties — quasi-convexity (aversion) of preferences with respect to probability mixtures, and convexity (pessimism) of the probability transformation — are equivalent.     

Consensus By Identifying Extremists

Given a finite state space and common priors, common knowledge of the identity of an agent with the minimal (or maximal) expectation of a random variable implies consensus, i.e., common knowledge of common expectations. This extremist statistic induces consensus when repeatedly announced, and yet, with n agents, requires at most log₂ n bits to broadcast.     

Five legitimate definitions of correlated equilibrium in games with incomplete information

Aumann's (1987) theorem shows that correlated equilibrium is an expression of Bayesian rationality. We extend this result to games with incomplete information.First, we rely on Harsanyi's (1967) model and represent the underlying multiperson decision problem as a fixed game with imperfect information. We survey four definitions of correlated equilibrium which have appeared in the literature. We show that these definitions are not equivalent to each other. We prove that one of them fits Aumann's framework; the agents normal form correlated equilibrium is an expression of Bayesian rationality in games with incomplete information.We also follow a universal Bayesian approach based on Mertens and Zamir's (1985) construction of the universal beliefs space. Hierarchies of beliefs over independent variables (states of nature) and dependent variables (actions) are then constructed simultaneously. We establish that the universal set of Bayesian solutions satisfies another extension of Aumann's theorem.We get the following corollary: once the types of the players are not fixed by the model, the various definitions of correlated equilibrium previously considered are equivalent.     

Testing Descriptive Utility Theories: Violations of Stochastic Dominance and Cumulative Independence

Choices between gambles show systematic violations of stochastic dominance. For example, most people choose ($6, .05; $91, .03; $99, .92) over ($6, .02; $8, .03; $99, .95), violating dominance. Choices also violate two cumulative independence conditions: (1) If S = (z, r; x, p; y, q) R = (z, r; x, p; y, q) then S = (x, r; y, p + q) R = (x, r + p; y, q). (2) If S = (x, p; y, q; z, r) R = (x, p; y, q; z, r) then S = (x, p + q; y, r) R = (x, p; y, q + r), where 0 < z < x < x < y < y < y < z.Violations contradict any utility theory satisfying transivity, outcome monotonicity, coalescing, and comonotonic independence. Because rank-and sign-dependent utility theories, including cumulative prospect theory (CPT), satisfy these properties, they cannot explain these results.However, the configural weight model of Birnbaum and McIntosh (1996) predicted the observed violations of stochastic dominance, cumulative independence, and branch independence. This model assumes the utility of a gamble is a weighted average of outcomes\' utilities, where each configural weight is a function of the rank order of the outcome\'s value among distinct values and that outcome\'s probability. The configural weight, TAX model with the same number of parameters as CPT fit the data of most individuals better than the model of CPT.     

Timing contradictions in von Neumann and Morgenstern's axioms and in savage's ‘sure-thing’ proof

At the point of choice, let N be the delay in learning the outcome. Then von Neumann and Morgenstern's postulates contradictorily imply that N = 0 and N > 0. As a consequence, Savage's sure-thing proof, which has bestowed on expected utility theory most of its normative appeal, depends on inconsistent assumptions. Further, the validity of Savage's proof cannot be retrieved by minimizing N > 0, by making the delay a mere moment or so. The historical origins of these contradictions are traced to (i) von Neumann and Morgenstern inadvertently limiting their risk model to the certain period, that is the period after gamblers learn the outcome(s), and (ii) Savage's use of the sure-thing principle for analysing atemporally but also quite formally compound gambles [Savage, 1954, p. 23].     

A sound interpretation of minimality properties of common belief in minimal semantics

A soundness proof for an axiomatization of common belief in minimal neighbourhood semantics is provided, thereby leaving aside all assumptions of monotonicity in agents reasoning. Minimality properties of common belief are thus emphasized, in contrast to the more usual fixed point properties. The proof relies on the existence of transfinite fixed points of sequences of neighbourhood systems even when they are not closed under supersets. Obvious shortcoming of the note is the lack of a completeness proof.     

A Microeconometric Test of Alternative Stochastic Theories of Risky Choice

The random preference, Fechner (or white noise), and constant error (or tremble) models of stochastic choice under risk are compared. Various combinations of these approaches are used with expected utility and rank-dependent theory. The resulting models are estimated in a random effects framework using experimental data from two samples of 46 subjects who each faced 90 pairwise choice problems. The best fitting model uses the random preference approach with a tremble mechanism, in conjunction with rank-dependent theory. As subjects gain experience, trembles become less frequent and there is less deviation from behaviour consistent with expected utility theory.     

Intransitive cycles: Rational choice or random error? An answer based on estimation of error rates with experimental data

The paper presents results from two new experiments designed to test between the rational choice hypothesis and the random error hypothesis for intransitive choice. Error probabilities and population shares for transitive and intransitive preference types are estimated from data collected in the first experiment. An unrestricted model (which treats intransitive patterns as true patterns) performs no better than a model that is restricted to transitive patterns. Analysis of the conditional distributions of choice patterns, using data from the second experiment, confirms more directly the main results of the first experiment: that observed intransitive choice patterns are due to random error.     

Implications of behavioral consistency in dynamic choice under uncertainty

This paper considers two fundamental aspects of the analysis of dynamic choices under risk: the issue of the dynamic consistency of the strategies of a non EU maximizer, and the issue that an individual whose preferences are nonlinear in probabilities may choose a strategy which is in some appropriate sense dominated by other strategies. A proposed way of dealing with these problems, due to Karni and Safra and called behavioral consistency, is described. The implications of this notion of behavioral consistency are explored, and it is shown that while the Karni and Safra approach obtains dynamically consistent behavior under nonlinear preferences, it may imply the choice of dominated strategies even in very simple decision trees.     

A strategic foundation for the cooperator's advantage

Orbell and Dawes develop a non-game theoretic heuristic that yields a cooperator's advantage by allowing players to project their own cooperate-defect choices onto potential partners (1991, p. 515). With appropriate parameter values their heuristic yields a cooperative environment, but the cooperation depends, simply, on optimism about others' behavior (1991, p. 526). In earlier work, Dawes (1989) established a statistical foundation for such optimism. In this paper, I adapt some of the concerns of Dawes (1989) and develop a game theoretic model based on a modification of the Harsanyi structure of games with incomplete information (1967–1968). I show that the commonly made conjecture that strategic play is incompatible with cooperation and the cooperator's advantage is false.