Tragic choices arise during the COVID-19 pandemic when the limited resources made available in acute medical settings cannot be accessed by all patients who need them. In these circumstances, healthcare rationing is unavoidable. It is important in any healthcare rationing process that the interests of the community are recognised, and that decision-making upholds these interests through a fair and consistent process of decision-making. Responding to recent calls (1) to safeguard individuals’ legal rights in decision-making in intensive care, and (2) for (...) new authoritative national guidance for decision-making, this paper seeks to clarify what consistency and fairness demand in healthcare rationing during the COVID-19 pandemic, from both a legal and ethical standpoint. The paper begins with a brief review of UK law concerning healthcare resource allocation, considering how community interests and individual rights have been marshalled in judicial deliberation about the use of limited health resources within the National Health Service (NHS). It is then argued that an important distinction needs to be drawn between procedural and outcome consistency, and that a procedurally consistent decision-making process ought to be favoured. Congruent with the position that UK courts have adopted for resource allocation decision-making in the NHS more generally, specific requirements for a procedural framework and substantive triage criteria to be applied within that framework during the COVID-19 pandemic are considered in detail. (shrink)

Consistency with the formal Church’s thesis, for short CT, and the axiom of choice, for short AC, was one of the requirements asked to be satisfied by the intensional level of a two-level foundation for constructive mathematics as proposed by Maietti and Sambin From sets and types to topology and analysis: practicable foundations for constructive mathematics, Oxford University Press, Oxford, 2005). Here we show that this is the case for the intensional level of the two-level Minimalist Foundation, for (...) short MF, completed in 2009 by the second author. The intensional level of MF consists of an intensional type theory à la Martin-Löf, called mTT. The consistency of mTT with CT and AC is obtained by showing the consistency with the formal Church’s thesis of a fragment of intensional Martin-Löf’s type theory, called \, where mTT can be easily interpreted. Then to show the consistency of \ with CT we interpret it within Feferman’s predicative theory of non-iterative fixpoints \ by extending the well known Kleene’s realizability semantics of intuitionistic arithmetics so that CT is trivially validated. More in detail the fragment \ we interpret consists of first order intensional Martin-Löf’s type theory with one universe and with explicit substitution rules in place of usual equality rules preserving type constructors -rule which is not valid in our realizability semantics). A key difficulty encountered in our interpretation was to use the right interpretation of lambda abstraction in the applicative structure of natural numbers in order to model all the equality rules of \ correctly. In particular the universe of \ is modelled by means of \-fixpoints following a technique due first to Aczel and used by Feferman and Beeson. (shrink)

Consistency of choice is a fundamental and recurring theme in decision theory, social choice theory, behavioral economics, and psychological sciences. The purpose of this paper is to study the consistency of choice independent of the particular decision model at hand. Consistency is viewed as an inherently logical concept that is fundamentally void of connotation and is thus disentangled from traditional rationality or consistency conditions imposed on decision models. The proposed formalization of consistency (...) takes two forms: internal consistency, which refers to the property that a choice model does not generate contradictory statements; and semantic consistency, which refers to the idea that a theory’s predictions are valid with respect to some observed data. In addressing semantic consistency, the relationship between theory and data is analyzed in terms of so-called duality mappings, which allow a passage between the two universes in a way that consistency is preserved. The formalization of consistency concepts relies on adapting the revealed preference theory to the context-dependent setting. The paper concludes by discussing the implications of the proposed framework and how it relates to classical revealed preference theory and other formalizations of the relationship between the theory and reality of choice. (shrink)

Over time, research programs focusing on the processes that underlie dissonance and regret diverged to the point that the present literature only occasionally draws explicit connections between regret and consistency seeking processes. One of our aims in this chapter is to reestablish the connection between regret and consistency within the context of a theory that examines two independent factors that critically interact to enhance or diminish regret. The first of these is opportunity, which includes both perceptions of past (...) opportunities to make alternative choices and future opportunities to take corrective actions, and the second is mitigation, which is the ability to justify one's actions or otherwise engage regulatory processes that allow for the diminishment of regret. We examine both opportunity and mitigation separately before describing how the two may interact to elicit differential experiences of regret. (shrink)

This paper reports the results of an experiment designed to uncover the stochastic structure of individual preferences over lotteries. Unlike previous experiments, which have presented subjects with pair-wise choices between lotteries, our design allowed subjects to choose between two lotteries or (virtually) any convex combination of the two lotteries. We interpret the mixtures of lotteries chosen by subjects as a measure of the stochastic structure of choice. We test between two alternative interpretations of stochastic choice: the random utility (...) interpretation and the deterministic preferences interpretation. The main findings of the experiment are that the typical subject prefers mixtures of lotteries rather than the extremes of a linear lottery choice set. The distribution of choices does not change between a first and second asking of the same question. We argue that this provides support for the deterministic preferences interpretation over the random utility interpretation of stochastic choice. As a subsidiary result, we find a small proportion of subjects make choices that violate transitivity, but the level of intransitive choice falls significantly over time. (shrink)

The classical theory of rational choice is built on several important internal consistency conditions. In recent years, the reasonableness of those internal consistency conditions has been questioned and criticized, and several responses to accommodate such criticisms have been proposed in the literature. This paper develops a general framework to accommodate the issues raised by the criticisms of classical rational choice theory, and examines the broad impact of these criticisms from both normative and positive points of view.

Suzumura consistency is a necessary and sufficient condition for the existence of a weak-order extension. This paper provides some remarks on collective choice rules that generate Suzumura consistent social preferences. We examine the properties of such collective choice rules by introducing a procedural condition on collective choice rules. As applications of the procedural condition, we first investigate the decisive structure of a Paretian collective choice rule, and then consider the assignment of individual rights. In our (...) analysis, the concept of semi-decisiveness works effectively. (shrink)

Kurt Gödel, mathematician and logician, was one of the most influential thinkers of the twentieth century. Gödel fled Nazi Germany, fearing for his Jewish wife and fed up with Nazi interference in the affairs of the mathematics institute at the University of Göttingen. In 1933 he settled at the Institute for Advanced Study in Princeton, where he joined the group of world-famous mathematicians who made up its original faculty. His 1940 book, better known by its short title, The Consistency (...) of the Continuum Hypothesis, is a classic of modern mathematics. The continuum hypothesis, introduced by mathematician George Cantor in 1877, states that there is no set of numbers between the integers and real numbers. It was later included as the first of mathematician David Hilbert's twenty-three unsolved math problems, famously delivered as a manifesto to the field of mathematics at the International Congress of Mathematicians in Paris in 1900. In The Consistency of the Continuum Hypothesis Gödel set forth his proof for this problem. In 1999, Time magazine ranked him higher than fellow scientists Edwin Hubble, Enrico Fermi, John Maynard Keynes, James Watson, Francis Crick, and Jonas Salk. He is most renowned for his proof in 1931 of the 'incompleteness theorem,' in which he demonstrated that there are problems that cannot be solved by any set of rules or procedures. His proof wrought fruitful havoc in mathematics, logic, and beyond. (shrink)

We examine if and to what extent choice dispositions can allow dependence on contexts and maintain consistency over time, in a dynamic environment under uncertainty. We focus on one of the context dependence properties, opportunity dependence because of being affected by anticipated regret, where the consequentialist choice framework is maintained. There are two sources of potential inconsistency: one is arrival of information, and the other is changing opportunities. First, we go over the general method of resolution of (...) potential inconsistency, by taking any kinds of inconsistency as given constraints. Second, we characterize a class of choice dispositions that are consistent to information arrival, but may be inconsistent to changing opportunities. Finally, we consider the overall requirement of dynamic consistency and show that it necessarily implies each of consistency to information arrival and independence of choice opportunities. The last result states that the two kinds of potential inconsistency cannot “compensate” each other to recover dynamic consistency overall. (shrink)

We show that for all natural numbers n, the theory “ZF + DC $_{\aleph_n}$ + $\aleph_{\omega}$ is a Rowbottom cardinal carrying a Rowbottom filter” has the same consistency strength as the theory “ZFC + There exists a measurable cardinal”. In addition, we show that the theory “ZF + $\aleph_{\omega_1}$ is an ω 2-Rowbottom cardinal carrying an ω 2-Rowbottom filter and ω 1 is regular” has the same consistency strength as the theory “ZFC + There exist ω 1 measurable (...) cardinals”. We also discuss some generalizations of these results. (shrink)

The discussion of whether people understand themselves and others by using theories of behaviour (theory theory) or by simulating mental states (simulation theory) lacks conclusive empirical evidence. Nichols et al. (1996) have proposed the Langer effect (Langer, 1975) as a critical test. From people's inability accurately to predict the difference in the subjective value of lottery tickets in choice and no‐choice conditions, they argued that people do not simulate behaviour in such situations. In a series of four experiments, (...) we consistently failed to replicate the original difference between choice and no‐choice under the conditions used by Nichols et al. We conclude that the replicability of the effect depends on an unknown combination of factors. As long as the target effect is not better understood and under better experimental control, it is difficult to use it as a yardstick against which the accuracy of simulation can be assessed. (shrink)

We examine the impact of Suzumura’s (Economica 43:381–390, 1976) consistency property when applied in the context of collective choice rules that are independent of irrelevant alternatives, neutral, and monotonic. An earlier contribution by Blau and Deb (Econometrica 45:871–879, 1977) establishes the existence of a vetoer if the collective relation is required to be complete and acyclical. The purpose of this paper is to explore the possibilities that result if completeness and acyclicity are dropped and Suzumura consistency is (...) imposed instead. A conceptually similar but logically independent version of the combined axiom that requires the collective decision mechanism to be independent, neutral, and monotonic is employed. In the case of a finite population, we obtain an alternative impossibility theorem if a collective choice rule is assumed to be non-degenerate and a modified no veto requirement is imposed instead of Blau and Deb’s (1977) condition. If the population is countably infinite, the impossibility can be avoided but it resurfaces if our new no veto property is extended to a coalitional variant. (shrink)

We establish a correspondence between the rationalizability of choice studied in the revealed preference literature and the notion of minimal belief revision captured by the AGM postulates. A choice frame consists of a set of alternatives , a collection E of subsets of (representing possible choice sets) and a function f : E ! 2 (representing choices made). A choice frame is rationalizable if there exists a total pre-order R on..

Free Choice is the principle that possibly p or q implies and is implied by possibly p and possibly q. A variety of recent attempts to validate Free Choice rely on a nonclassical semantics for disjunction, where the meaning of p or q is not a set of possible worlds. This paper begins with a battery of impossibility results, showing that some kind of nonclassical semantics for disjunction is required in order to validate Free Choice. The paper (...) then provides a positive account of Free Choice, by identifying a family of dynamic semantics for disjunction that can validate the inference. On all such theories, the meaning of p or q has two parts. First, p or q requires that our information is consistent with each of p and q. Second, p or q narrows down our information by eliminating some worlds. It turns out that this second component of or is well behaved: there is a strongest such meaning that p or q can express, consistent with validating Free Choice. The strongest such meaning is the classical one, on which p or q eliminates any world where both p and q are false. In this way, the classical meaning of disjunction turns out to be intimately related to the validity of Free Choice. (shrink)

Most research on mate choice in modern societies is based on data that may or may not reflect actual mating behavior (e.g., stated preferences, personal advertisements). In the present study, real-life matings were reported by a large representative sample of men and women (N = 1,133). These data were used to test an evolutionary model in which mate choice is hypothesized to depend on resources potentially contributed to reproduction by each sex. Consistent with the model, it was found (...) that (a) men (but not women) of higher social status acquire more mating partners, suggesting that male status is an important criterion in female choice; (b) women’s (but not men’s) number of partners decreases linearly with age, suggesting that female reproductive potential is an important criterion in male choice; and (c) women (but not men) display a significant relationship between marital dissolution and promiscuity, suggesting that female sexual exclusivity is an important criterion in male choice. These results are discussed in relation to understanding mate choice mechanisms from behavioral data. (shrink)

Starting from cardinals κ κ is measurable, we construct a model for the theory “ZF + n < ω[DCn] + ω + 1 is a measurable cardinal”. This is the maximum amount of dependent choice consistent with the measurability of ω + 1, and by a theorem of Shelah using p.c.f. theory, is the best result of this sort possible.

Models of choice over menus aim at capturing the effect of some behavioral or non-standard element of decision-making on the behavior of a single decision-maker. These models are usually compared with the standard model of choice over menus, in which the decision-maker chooses a menu whose best item is better than that of all other available ones. However, in many empirical settings such as experimental studies, choice data come from a population of decision-makers with possibly heterogeneous attitudes (...) and tastes. This heterogeneity can make the observed choices over menus stochastic. This fact calls for a stochastic characterization of models of choice over menus to be able to better compare and contrast different models empirically. In this paper, I do this task for the standard model, which would be an extension of the random utility model to the realm of choice over menus. In particular, I provide the necessary and sufficient conditions, i.e., axioms on choice data over menus for it to be consistent with a population of decision-makers each of whom behaves according to the standard model. The axioms that characterize the model are the axiom of revealed stochastic preferences over singletons and three rationality axioms. (shrink)

While Rational Choice Theory (RC) may be understood as a theory of choice, which does not necessarily reflect actual deliberative processes, rule-following behavior is definitely based on a certain form of delibera- tion. This article aims at clarifying the relationship between the two. Being guided by instrumental rules, i.e., rules reducible to the maximiza- tion principle, is perfectly consistent with the fundamental behavioral assumptions of RC. But human individuals use other forms of rules in decision making, especially tie-breaking (...) rules and coordination rules. It is argued that within RC no satisfying account of such rule-following behav- ior can be given. In particular it is impossible to determine suitable pref- erence orderings such that coordinating may be understood as maximizing relative to these orderings. Still, once there is coordination, following a coordination rule may be perfectly consistent with the basic assumptions of RC. So there might be a more complex theory of action that incorpo- rates RC as well as a satisfying theory of rule-guided behavior. (shrink)

Does the desirability of social institutions for public goods provision depend on the extent to which they include mechanisms for endogenous enforcement of cooperative behavior? We consider alternative institutions that vary the use of direct punishments to promote social cooperation. In one institution, subjects participate in a public goods experiment in which an initial stage of voluntary contribution is followed by a second stage of voluntary, costly sanctioning. Another institution consists of the voluntary contribution stage only, with no subsequent opportunity (...) to sanction. In a third stage subjects vote for which institution they prefer for future interactions: do they prefer one that does allow sanctions or one that does not allow sanctions? Our results show that even though sanctions are frequently used when available, the clear majority of individuals vote for the institution that does not allow sanctions. Thus, a distinction is required between the principles that guide the choice of institutions and the principles that apply to actions guided by institutions. Our results indicate that it is the wealth generated by the institution that determines its desirability. (shrink)

The usual procedure in the theory of social choice consists in postulating some desirable properties which an aggregation procedure should verify and derive from them the features of a corresponding social choice function and the outcomes that arise at each possible profile of preferences. In this paper we invert this line of reasoning and try to infer, up from what we call social situations the criteria verified in the implicit aggregation procedure. This inference process, which extracts intensional from (...) extensional information can be seen as an exercise in “qualitative statistics”. (shrink)

School choice has lately risen to the top of the list of potential solutions to America's educational problems, particularly for the poor and the most disadvantaged members of society. Indeed, in the last few years several states have held referendums on the use of vouchers in private and parochial schools, and more recently, the Supreme Court reviewed the constitutionality of a scholarship program that uses vouchers issued to parents. While there has been much debate over the empirical and methodological (...) aspects of school choice policies, discussions related to the effects such policies may have on the nation's moral economy and civil society have been few and far between. School Choice, a collection of essays by leading philosophers, historians, legal scholars, and theologians, redresses this situation by addressing the moral and normative side of school choice.The twelve essays, commissioned for a conference on school choice that took place at Boston College in 2001, are organized into four sections that consider the relationship of school choice to equality, moral pluralism, institutional ecology, and constitutionality. Each section consists of three essays followed by a critical response. The contributors are Patrick McKinley Brennan, Charles L. Glenn, Amy Gutmann, David Hollenbach, S. J., Meira Levinson, Sanford Levinson, Stephen Macedo, John T. McGreevy, Martha Minow, Richard J. Mouw, Joseph O'Keefe, S. J., Michael J. Perry, Nancy L. Rosenblum, Rosemary C. Salomone, Joseph P. Viteritti, Paul J. Weithman, and Alan Wolfe. (shrink)

Foundation models such as GPT-4 are fine-tuned to avoid unsafe or otherwise problematic behavior, such as helping to commit crimes or producing racist text. One approach to fine-tuning, called reinforcement learning from human feedback, learns from humans' expressed preferences over multiple outputs. Another approach is constitutional AI, in which the input from humans is a list of high-level principles. But how do we deal with potentially diverging input from humans? How can we aggregate the input into consistent data about "collective" (...) preferences or otherwise use it to make collective choices about model behavior? In this paper, we argue that the field of social choice is well positioned to address these questions, and we discuss ways forward for this agenda, drawing on discussions in a recent workshop on Social Choice for AI Ethics and Safety held in Berkeley, CA, USA in December 2023. (shrink)

Prenatal screening, consisting of maternal serum screening and nuchal translucency screening, is on the verge of expansion, both by being offered to more pregnant women and by screening for more conditions. The Society of Obstetricians and Gynaecologists of Canada and the American College of Obstetricians and Gynecologists have each recently recommended that screening be extended to all pregnant women regardless of age, disease history, or risk status. This screening is commonly justified by appeal to the value of autonomy, or women's (...) choice. In this paper, I critically examine the value of autonomy in the context of prenatal screening to determine whether it justifies the routine offer of screening and the expansion of screening services. I argue that in the vast majority of cases the option of prenatal screening does not promote or protect women's autonomy. Both a narrow conception of choice as informed consent and a broad conception of choice as relational reveal difficulties in achieving adequate standards of free informed choice. While there are reasons to worry that women's autonomy is not being protected or promoted within the limited scope of current practice, we should hesitate before normalizing it as part of standard prenatal care for all. (shrink)

Solution concepts for game play implicitly assume what information is relevant for choosing moves. Maximin and Eliminating Dominated Strategies use payoff order; mixed strategies and Harsanyi's risk dominance use payoff values. "Cooperative" strategies use previous choices, ignoring payoffs altogether. We first define the 12 symmetric 2 × 2 games as a continuous payoff space then use this space to evaluate strategies based on different types of information. Strategic success is shown to be sensitive to actual payoffs and seldom consistent for (...) all games of an ordinally defined category such as Chicken. A new hybrid strategy using both payoff and choice information is introduced and shown to produce efficient outcomes in all symmetric 2×2 games when employed by both players. It does well in evolutionary tournaments against strategies of other types, especially in the difficult distribution games including Battle-of-the-Sexes. (shrink)

This textbook provides a survey of the literature of social choice. It integrates the ethical aspects of the subject, with positive aspects of decision mechanisms that centre on the revelation of true preferences. The literature on the subject presently consists of a great many papers. This book draws them together in common notation and points out interpretations which are often missing in specialist papers. Applications in economics, electoral politics, and ethics are discussed. The book will be used by senior (...) undergraduate and graduate students of economics, political science and philosophy as a text book in the subject. (shrink)

The aims of this paper are threefold. The first aim is to provide a critique of the reform proposal of the Harvard School of Public Health for Hong Kong's health care system through privatization of the public sector services. The second aim is to argue for the duty of society to guarantee every member equal access to a basic level of health care based on the values of equity, care and free choice. The third aim is to explore some (...) suggestions about delivery structures and financial arrangements of a dual sector health care system which will better enable society to provide a basic level of health care that is sustainable and affordable, while being at the same time consistent with the values of care, equity and free choice. (shrink)

: Our paper discusses the epistemic attitudes of particle physicists on the discovery of the Higgs boson at the Large Hadron Collider. It is based on questionnaires and interviews made shortly before and shortly after the discovery in 2012. We show, to begin with, that the discovery of a Standard Model Higgs boson was less expected than is sometimes assumed. Once the new particle was shown to have properties consistent with SM expectations – albeit with significant experimental uncertainties –, there (...) was a broad agreement that ‘a’ Higgs boson had been found. Physicists adopted a two-pronged strategy. On the one hand, they treated the particle as a SM Higgs boson and tried to establish its properties with higher precision; on the other hand, they searched for any hints of physics beyond the SM. This motivates our first philosophical thesis: the Higgs discovery, being of fundamental importance and establishing a new kind of particle, represented a crucial experiment if one interprets this notion in an appropriate sense. By embedding the LHC into the tradition of previous precision experiments and the experimental strategies thus established, underdetermination and confirmational holism are kept at bay. Second, our case study suggests that criteria of theory preference should be understood as epistemic and pragmatic values that have to be weighed in factual research practice. The Higgs discovery led to a shift from pragmatic to epistemic values as regards the mechanisms of electroweak symmetry breaking. Complex criteria, such as naturalness, combine epistemic and pragmatic different values, but are coherently applied by the community. (shrink)

Habermas has argued that many of the endemic socio- economic problems of Western society are either symptoms or prod ucts of a 'lopsided' process of cultural rationalization, one that has emphasized instrumental forms of rationality over communicative. But other than presenting a rather general typology of lifeworld pathologies, Habermas has not done much to specify what these problems might be, nor has he provided any 'middle-range' analysis of the mechanisms through which they might be generated. This paper discusses some of (...) the ways in which, consistent with Haber mas's general framework, rational choice theory can be used for pre cisely this task. In this analysis, rational choice theory is not presented as a comprehensive theory of action, but is employed as a critical- diagnostic tool that allows the theorist to identify undesirable social interaction patterns that arise from a broader instrumentalization of the lifeworld. Key Words: critical theory • Habermas • instrumental rationality • market failure • rational choice theory. (shrink)

Arif Ahmed has recently argued that causal decision theory is dynamically inconsistent and that we should therefore prefer evidential decision theory. However, the principal formulation of the evidential theory, Richard Jeffrey’s Logic of Decision, has a mixed record of its own when it comes to evaluating plans consistently across time. This note probes that neglected record, establishing the dynamic consistency of evidential decision theory within a restricted class of problems but then illustrating how evidentialists can fall into sequential incoherence (...) outside of this class. Uncovering the evidentialist’s own dynamic inconsistencies reveals, contra Ahmed, that sequential choice considerations do not significantly favor the evidentialist’s theory over the causalist’s. (shrink)

Decision theorists have attempted to accommodate several violations of decision theory’s axiomatic requirements by modifying how agents’ choice options are individuated and formally represented. In recent years, prominent authors have worried that these modifications threaten to trivialize decision theory, make the theory unfalsifiable, impose overdemanding requirements on decision theorists, and hamper decision theory’s internal coherence. In this paper, I draw on leading descriptive and normative works in contemporary decision theory to address these prominent concerns. In doing so, I articulate (...) and assess several different criteria for individuating and formally representing agents’ choice options. (shrink)

This paper investigates inquisitive extensions of normal modal logic with an existential modal operator taken as primitive. The semantics of the existential modality is generalized to apply to questions, as well as statements. When the generalized existential modality is applied to a question, the result is a statement that roughly expresses that each way of resolving the question is consistent with the available information. I study the resulting logic both from a semantic and from a proof-theoretic point of view. I (...) argue that it can be used for reasoning about a general notion of ignorance, and for reasoning about choice-offering permissions and obligations. The main technical results are sound and complete axiomatizations, both for the class of all Kripke frames, and for any class of frames corresponding to a canonical normal modal logic. (shrink)

There has been considerable recent interest in the consequences of closed timelike curves (CTCs) for the dynamics of quantum mechanical systems. A vast majority of research into this area makes use of the dynamical equations developed by Deutsch, which were developed from a consistency condition that assumes that mixed quantum states uniquely describe the physical state of a system. We criticize this choice of consistency condition from an epistemic perspective, i.e., a perspective in which the quantum state (...) represents a state of knowledge about a system. We demonstrate that directly applying Deutsch’s condition when mixed states are treated as representing an observer’s knowledge of a system can conceal time travel paradoxes from the observer, rather than resolving them. To shed further light on the appropriate dynamics for quantum systems traversing CTCs, we make use of a toy epistemic theory with a strictly classical ontology due to Spekkens and show that, in contrast to the results of Deutsch, many of the traditional paradoxical effects of time travel are present. (shrink)

We consider the problem of extending a (complete) order over a set to its power set. The extension axioms we consider generate orderings over sets according to their expected utilities induced by some assignment of utilities over alternatives and probability distributions over sets. The model we propose gives a general and unified exposition of expected utility consistent extensions whilst it allows to emphasize various subtleties, the effects of which seem to be underestimated – particularly in the literature on strategy-proof social (...) choice correspondences. (shrink)

This paper focuses on tacit versus explicit uses of plural performance metrics as a primary methodological characteristic. This characteristic usefully distinguishes two schools of normative analysis and their approaches to normative interpretations of bounded rationality. Both schools of thought make normative claims about bounded rationality by comparing the performance of decision procedures using more than one performance metric. The consistency school makes tacit reference to performance metrics outside its primary axiomatic framework, but lexicographically promotes internal axiomatic consistency as (...) the primary, and in most cases sufficient, normative outcome with which to undertake welfare comparisons. The consistency school's axiomatization program, in both neoclassical and behavioral forms, pre-commits to welfare interpretations that follow a hierarchy of rationalities based on the stringency of restrictions that different axiomatizations impose on choice data. In contrast, the ecological rational.. (shrink)

This article provides a systematic analysis of social choice theory without the Pareto principle, by revisiting the method of Murakami Yasusuke. This article consists of two parts. The first part investigates the relationship between rationality of social preference and the axioms that make a collective choice rule either Paretian or anti-Paretian. In the second part, the results in the first part are applied to obtain impossibility results under various rationality requirements of social preference, such as S-consistency, quasi-transitivity, (...) semi-transitivity, the interval-order property, and acyclicity. (shrink)

The Nash axiom is a basic property of consistency in choice. This paper proposes weaker versions of the axiom and examines their logical implications. In particular, we demonstrate that weak Nash axioms are useful to understand the relationship between the Nash axiom and the path independence axiom. We provide an application of weak Nash axioms to the no-envy approach. We present a possibility result and an impossibility result.

This thesis is an empirical and theoretical exploration of the surprising finding that people often may fail to notice dramatic mismatches between what they want and what they get, a phenomenon my collaborators and I have named choice blindness. The thesis consists of four co-authored papers, dealing with different aspects of the phenomenon. Paper one presents an initial set of studies using a computerised choice procedure, and discusses the relation of choice blindness to the parent phenomenon of (...) change blindness. Paper two is the most central paper of the thesis. In this study, participants were shown pairs of pictures of female faces, and were instructed to choose which face in each pair they found most attractive. In addition, on some trials, immediately after their choice, they were asked to verbally describe the reasons for choosing the way they did. Unknown to the participants, on certain trials, a double-card ploy was used to covertly exchange one face for the other. On these trials, the outcome of the choice became the opposite of what they intended. Counting across all conditions of the experiment no more than a fourth of all such manipulated trials were detected. But not only were the participants in the experiment blind to the manipulation of their choices, they also offered introspectively derived reasons for preferring the alternative they were given instead. A second major conclusion of this paper is that normal participants may produce confabulatory reports when asked to describe the reasons behind their choices. Paper three applies this form of analysis of introspection and confabulation to a second corpus of reports collected within the choice blindness paradigm. In this paper we use word-frequency and latent semantic analysis to contrast the introspective reasons given in non-manipulated and manipulated trials, but very few differences between these two groups of reports were found. In paper four, passer-by shoppers in a local supermarket were invited to sample two different varieties of jam and tea, and to decide which alternative in each pair they preferred the most. After their choice, the participants were asked to again sample to chosen alternative and describe why that one was preferred. At this point, the content of the sample containers were secretly switched, so that the outcome of the choice became the opposite of what the participants intended. No more than a third of the manipulated trials were detected, thus demonstrating considerable levels of choice blindness for the taste and smell of two different consumer goods. (shrink)

We determine exact consistency strengths for various failures of the Singular Cardinals Hypothesis (SCH) in the setting of the Zermelo-Fraenkel axiom system ZF without the Axiom of Choice (AC). By the new notion of parallel Prikry forcing that we introduce, we obtain surjective failures of SCH using only one measurable cardinal, including a surjective failure of Shelah's pcf theorem about the size of the power set of $\aleph _{\omega}$ . Using symmetric collapses to $\aleph _{\omega}$ , $\aleph _{\omega (...) _{1}}$ , or $\aleph _{\omega _{2}}$ , we show that injective failures at $\aleph _{\omega}$ , $\aleph _{\omega _{1}}$ , or $\aleph _{\omega _{2}}$ can have relatively mild consistency strengths in terms of Mitchell orders of measurable cardinals. Injective failures of both the aforementioned theorem of Shelah and Silver's theorem that GCH cannot first fail at a singular strong limit cardinal of uncountable cofinality are also obtained. Lower bounds are shown by core model techniques and methods due to Gitik and Mitchell. (shrink)

We critically evaluate the treatment of the notion of measurement in the Consistent Histories approach to quantum mechanics. We find such a treatment unsatisfactory because it relies, often implicitly, on elements external to those provided by the formalism. In particular, we note that, in order for the formalism to be informative when dealing with measurement scenarios, one needs to assume that the appropriate choice of framework is such that apparatuses are always in states of well defined pointer positions after (...) measurements. The problem is that there is nothing in the formalism to justify this assumption. We conclude that the Consistent Histories approach, contrary to what is claimed by its proponents, fails to provide a truly satisfactory resolution for the measurement problem in quantum theory. (shrink)

Intertemporal choice involves deciding between smaller, sooner and larger, later rewards. People tend to prefer smaller rewards that are available earlier to larger rewards available later, a phenomenon referred to as temporal or delay discounting. Despite its ubiquity in human and non-human animals, temporal discounting is subject to considerable individual differences. Here, we provide a critical narrative review of this literature and make suggestions for future work. We conclude that temporal discounting is associated with key socio-economic and health-related variables. (...) Regarding personality, large-scale studies have found steeper temporal discounting to be associated with higher levels of self-reported impulsivity and extraversion; however, effect sizes are small. Temporal discounting correlates negatively with future-oriented cognitive styles and inhibitory control, again with small effect sizes. There are consistent associations between steeper temporal discounting and lower intelligence, with effect sizes exceeding those of personality or cognitive variables, although socio-demographic moderator variables may play a role. Neuroimaging evidence of brain structural and functional correlates is not yet consistent, neither with regard to areas nor directions of effects. Finally, following early candidate gene studies, recent Genome Wide Association Study (GWAS) approaches have revealed the molecular genetic architecture of temporal discounting to be more complex than initially thought. Overall, the study of individual differences in temporal discounting is a maturing field that has produced some replicable findings. Effect sizes are small-to-medium, necessitating future hypothesis-driven work that prioritizes large samples with adequate power calculations. More research is also needed regarding the neural origins of individual differences in temporal discounting as well as the mediating neural mechanisms of associations of temporal discounting with personality and cognitive variables. (shrink)

In a stimulating paper, Piccione and Rubinstein (1997) argued how a decision maker could undertake dynamically inconsistent choices when, in an extensive form decision problem, she has a particular type of imperfect recall named absentmindedness. Such memory limitation obtains whenever information sets include decision histories along the same decision path. Starting from work focusing on the absentminded driver example, and independently developed by Segal (2000) and Dimitri (1999), the main theorem of this article provides a general result of dynamically consistent (...) choices, valid for a large class of finite extensive form decision problems without nature. (shrink)

Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different. Their strength depends on a constant specification and on the available set of operations for combining different reasons. We present different consistency principles in justification logic and compare their logical strength. We propose a novel semantics for which justification logics with the explicit version of axiom D, jd⁠, are complete for arbitrary constant specifications. (...) Consistency is sometimes formulated in terms of permission. We therefore study permission in the context of justification logic, introducing a notion of free-choice permission for the first time. We then discuss the philosophical implications with regard to some deontic paradoxes. (shrink)