In 1991 Mark Nelson argued that if time is infinitely long towards the future, then under certain easily met conditions traditional utilitarianism is unable to discriminate among actions. For under these conditions, each action produces the same infinite amount of utility, and thus it seems that utilitarianism must judge all actions permissible, judge all actions impermissible, or remain completely silent. In response to this criticism of utilitarianism, I argued that utilitarianism had the resources for dealing with at least some (...) cases of infinite utility. More specifically, I defended the following principle as being part of the "spirit" of traditional (total) utilitarianism: -/- PMU*: An action a1 has better consequences than an action a2 if and only if there is a time t such that for any later time t' the cumulative amount of utility produced by a1 up to t' is greater than that produced by action a2 up to t'. -/- For the usual finite cases, this principle agrees exactly with the standard approach of comparing totals. For infinite cases, however, it can distinguish among two actions each of which produces an infinite amount of utility. It says, for example, that an action that produces 2 units of utility at each time has better consequences than an action that produces 1 unit of utility at each time -- even though they both produce the same infinite amount of utility. Of course, cases where one action produces more utility than a second at each time are going to be rather rare. PMU* is not limited to such cases, however; it also has bite in cases such as the following: -/- Time a1: 1, 1, 1, 1, 2, 2, 2, 2, 2, ... a2: 3, 3, 3, 3, 1, 1, 1, 1, 1, ... -/- For although the cumulative utility of a1 up to and including the fourth time is only 4 utiles and a2's is 12, a1 starts catching up after that, ties a2 in the 12th time, and stays ahead after that. Thus, PMU* judges a1 as having better consequences than a2. I claimed that PMU* better captured the "spirit" of traditional utilitarianism than the usual sum total view -- on the grounds that almost anyone inclined to defend traditional utilitarianism would, upon reflection, want to hold, for example, that 2 utiles at every time is indeed better than 1 utile at each time. Two responses to my view have since been given in this journal. Luc Van Liederkerke has argued that PMU* violates an anonymity (neutrality, impartiality) condition that is central to utilitarianism. And James Cain has argued that PMU* is not person-centered, and that being so is central to utilitarianism. Here I will reply to the criticisms. Basically, I will acknowledge that each is right about an important point, but deny that this establishes that the core idea underlying PMU* is less plausible than the standard sum-ranking versions of utilitarianism. (shrink)

Suppose that time is infinitely long towards the future, and that each feasible action produces a finite amount of utility at each time. Then, under appropriate conditions, each action produces an infinite amount of utility. Does this mean that utilitarianism lacks the resources to discriminate among such actions? Since each action produces the same infinite amount of utility, it seems that utilitarianism must judge all actions permissible, judge all actions impermissible, or remain completely silent. If the (...) future is infinite, that is, the prospects for utilitarianism look bleak. (shrink)

The note addresses the problem of how utilitarianism and other finitely additive theories of value should evaluate infinitely long utility streams. We use the axiomatic approach and show that finite anonymity does not apply in an infinite framework. A stronger anonymity demand (fixed step anonymity) is proposed and motivated. Finally, we construct an ordering criterion that combines fixed step anonymity and strong monotonicity.

This essay gives necessary and sufficient conditions for recovering expected utility from choice behavior in several popular models of uncertainty. In particular, these techniques handle a finite state model; a model for which the choice space consists of probability densities and the expected utility representation requires bounded, measurable utility; and a model for which the choice space consists of Borel probability measures and the expected utility representation requires bounded, continuous utility. The key result is (...) the identification of the continuity condition necessary for the revelation of linear utility. (shrink)

The present theory leads to a set of subjective weights such that the utility of an uncertain alternative (gamble) is partitioned into three terms involving those weights—a conventional subjectively weighted utility function over pure consequences, a subjectively weighted value function over events, and a subjectively weighted function of the subjective weights. Under several assumptions, this becomes one of several standard utility representations, plus a weighted value function over events, plus an entropy term of the weights. In the (...) finitely additive case, the latter is the Shannon entropy; in all other cases it is entropy of degree not 1. The primary mathematical tool is the theory of inset entropy. (shrink)

Standard theories of expected utility require that preferences are complete, and/or Archimedean. We present in this paper a theory of decision under uncertainty for both incomplete and non-Archimedean preferences. Without continuity assumptions, incomplete preferences on a lottery space reduce to an order-extension problem. It is well known that incomplete preferences can be extended to complete preferences in the full generality, but this result does not necessarily hold for incomplete preferences which satisfy the independence axiom, since it may obviously happen (...) that the extension does not satisfy the independence axiom. We show, for incomplete preferences on a mixture space, that an extension which satisfies the independence axiom exists. We find necessary and sufficient conditions for a preorder on a finite lottery space to be representable by a family of lexicographic von Neumann–Morgenstern Expected Utility functions. (shrink)

We start by considering the Alternate Strike (AS) scheme, a real-life arbitration scheme where two parties select an arbitrator by alternately crossing off at each round one name from a given panel of arbitrators. We find out that the AS scheme is not invariant to “bad” alternatives. We then consider another alternating-move scheme, the Voting by Alternating Offers and Vetoes (VAOV) scheme, which is invariant to bad alternatives. We fully characterize the subgame perfect equilibrium outcome sets of these above two (...) schemes in terms of the rankings of the parties over the alternatives only. We also identify some of the typical equilibria of these above two schemes. We then analyze two additional alternating-move schemes in which players’ current proposals have to either honor or enhance their previous proposals. We show that the first scheme’s equilibrium outcome set coincides with that of the AS scheme, and the equilibrium outcome set of the second scheme coincides with that of the VAOV scheme. Finally, it turns out that all schemes’ equilibrium outcome sets converge to the Equal Area solution’s outcome of cooperative bargaining problem, if the alternatives are distributed uniformly over the comprehensive utility possibility set and as the number of alternatives tends to infinity. Journal of Economic Literature Classification Number: C72. (shrink)

We investigate risk attitudes when the underlying domain of payoffs is finite and the payoffs are, in general, not numerical. In such cases, the traditional notions of absolute risk attitudes, that are designed for convex domains of numerical payoffs, are not applicable. We introduce comparative notions of weak and strong risk attitudes that remain applicable. We examine how they are characterized within the rank-dependent utility model, thus including expected utility as a special case. In particular, we characterize (...) strong comparative risk aversion under rank-dependent utility. This is our main result. From this and other findings, we draw two novel conclusions. First, under expected utility, weak and strong comparative risk aversion are characterized by the same condition over finite domains. By contrast, such is not the case under non-expected utility. Second, under expected utility, weak comparative risk aversion is characterized by the same condition when the utility functions have finite range and when they have convex range. By contrast, such is not the case under non-expected utility. Thus, considering comparative risk aversion over finite domains leads to a better understanding of the divide between expected and non-expected utility, more generally, the structural properties of the main models of decision-making under risk. (shrink)

McGarvey (Econometrica, 21(4), 608–610, 1953) has shown that any irreflexive and anti-symmetric relation can be obtained as a relation induced by majority rule. We address the analogous issue for dominance relations of finite cooperative games with non-transferable utility (coalitional NTU games). We find any irreflexive relation over a finite set can be obtained as the dominance relation of some finite coalitional NTU game. We also show that any such dominance relation is induced by a non-cooperative game (...) through β-effectivity. Dominance relations obtainable through α-effectivity, however, have to comply with a more restrictive condition, which we refer to as the edge-mapping property. (shrink)

This paper formulates and axiomatizes utility models for denumerable time streams that make no commitment in regard to discounting future outcomes. The models address decision under certainty and decision under risk. Independence assumptions in both contexts lead to additive or multiplicative utilities over time periods that allow unambiguous comparisons of the relative importance of different periods. The models accommodate all patterns of future valuation. This discount-neutral feature is attained by restricting preference comparisons to outcome streams or probability distributions on (...) outcome streams that differ in at most a finite number of periods. (shrink)

Causal decision theory produces decision instability in cases such as Death in Damascus where a decision itself provides evidence concerning the utility of options. Several authors have proposed ways of handling this instability. William Harper (1985 and 1986) advances one of the most elegant proposals. He recommends maximizing causal expected utility among the options that are causally ratifiable. Unfortunately, Harper's proposal imposes certain restrictions; for instance, the restriction that mixed strategies are freely available. To obtain a completely general (...) method of handling decision instability, I step outside the confines of pure causal decision theory. I introduce a new kind of backtracking expected utility and propose maximizing it among the options that are causally ratifiable. In other words, I propose a hierarchical maximization of (1) conditional causal expected utility and (2) the new backtracking expected utility. I support this proposal with some intuitive considerations concerning the distinction between optimality and conditional optimality. And I prove that the proposal yields a solution in every finite decision problem. (shrink)

The present paper gives a topological solution to representability problems related to multi-utility, in the field of Decision Theory. Necessary and sufficient topologies for the existence of a semicontinuous and finite Richter–Peleg multi-utility for a preorder are studied. It is well known that, given a preorder on a topological space, if there is a lower semicontinuous Richter–Peleg multi-utility, then the topology of the space must be finer than the Upper topology. However, this condition fails to be (...) sufficient. Instead of search for properties that must be satisfied by the preorder, we study finer topologies which are necessary or/and sufficient for the existence of semicontinuous representations. We prove that Scott topology must be contained in the topology of the space in case there exists a finite lower semicontinuous Richter–Peleg multi-utility. However, the existence of this representation cannot be guaranteed. A sufficient condition is given by means of Alexandroff’s topology, for that, we prove that more order implies less Alexandroff’s topology, as well as the converse. Finally, the paper is implemented with a topological study of the maximal elements. (shrink)

This paper analyzes a model of sequential parimutuel betting described as a two-horse race with a finite number of noise bettors and a finite number of strategic and symmetrically informed bettors. For generic objective probabilities that the favorite wins the race, a unique subgame perfect equilibrium is characterized. Additionally, two explanations for the favorite–longshot bias—according to which favorites win more often than the market's estimate of their winning chances imply—are offered. It is shown that this robust anomalous empirical (...) regularity might be due to the presence of transaction costs and/or to strategic bettors' subjective attitude to probabilities. (shrink)

We extend de Finetti’s (1974) theory of coherence to apply also to unbounded random variables. We show that for random variables with mandated infinite prevision, such as for the St. Petersburg gamble, coherence precludes indifference between equivalent random quantities. That is, we demonstrate when the prevision of the difference between two such equivalent random variables must be positive. This result conflicts with the usual approach to theories of Subjective Expected Utility, where preference is defined over lotteries. In addition, we (...) explore similar results for unbounded variables when their previsions, though finite, exceed their expected values, as is permitted within de Finetti’s theory. In such cases, the decision maker’s coherent preferences over random quantities is not even a function of probability and utility. One upshot of these findings is to explain further the differences between Savage’s theory (1954), which requires bounded utility for non-simple acts, and de Finetti’s theory, which does not. And it raises a question whether there is a theory that fits between these two. (shrink)

Maxmin Expected Utility was first axiomatized by Gilboa and Schmeidler in an Anscombe–Aumann setup Anscombe and Aumann which includes exogenous probabilities. The model was later axiomatized in a purely subjective setup, where no exogenous probabilities are assumed. The purpose of this note is to show that in all these axiomatizations, the only assumptions that are needed are the basic ones that are used to extract a cardinal utility function, together with the two typical Maxmin assumptions, Uncertainty Aversion and (...) Certainty Independence, applied only to 0.5:0.5 mixtures. For the purely subjective characterizations, this means that assumptions involving an unbounded number of variables can be replaced with assumptions that involve only a finite number thereof. (shrink)

Cerreia-Vioglio et al. :341–375, 2011) have proposed a very general axiomatisation of preferences in the presence of ambiguity, viz. Monotonic Bernoullian Archimedean preference orderings. This paper investigates the problem of Arrovian aggregation of such preferences—and proves dictatorial impossibility results for both finite and infinite populations. Applications for the special case of aggregating expected-utility preferences are given. A novel proof methodology for special aggregation problems, based on model theory, is employed.

Background:The management of challenging behaviours in inpatient with intellectual disability and/or autism spectrum disorders can lead to an escalation of control measures. In these complex situations where patients have an intellectual disability/autism spectrum disorder accompanied by a psychiatric comorbidity, the experiences of caregivers related to the crisis management have rarely been studied.Purpose:This study examined the moral experiences of caregivers related to challenging behaviours’ management and alternatives to control measures.Research design:Using Charles Taylor’s hermeneutic framework, a 2-month focused ethnography with a participatory (...) approach was used.Participants and research context:Sixteen caregivers were interviewed in a Canadian mental health setting for adults with intellectual disability/autism spectrum disorder and psychiatric comorbidity.Ethical considerations:The research was conducted in compliance with the Declaration of Helsinki and local Research Ethics Board approval. Written informed consent was collected systematically from participants.Findings:By accounting for caregivers’ moral experiences, this study sheds light on a neglected dimension of the care relationship: the vulnerability of the caregiver. We highlight the main barriers and facilitators to alternatives to control measures. First, a caregiver’s vulnerability was characterised by the overall impact of challenging behaviours and the moral distress associated with the use of control measures and exclusion mechanisms of intellectual disability/autism spectrum disorder patients. Second, a strong ambiguity between care and control measures and a lack of inclusive approaches were identified as the two main barriers to challenging behaviour management. Third, the involvement, both professional and personal, of caregivers was deemed necessary to implement alternatives to control measures.Discussion:A conflict of values opposes two conceptions of autonomy: a rational autonomy, which is counterproductive to the reduction of control measures, versus a relational autonomy based on shared vulnerability.Conclusion:The recognition of caregiver’s vulnerability is a benchmark to create alternative approaches, which defuse the logic of control and promote an ethics of care within which caregivers’ self-concern can be understood as fostering mutual respect. (shrink)

Pascal’s Wager involves expected utilities. In this chapter, we examine the Wager in light of two main features of expected utility theory: utilities and probabilities. We discuss infinite and finite utilities, and zero, infinitesimal, extremely low, imprecise, and undefined probabilities. These have all come up in recent literature regarding Pascal’s Wager. We consider the problems each creates and suggest prospects for the Wager in light of these problems.

One resolution of the St. Petersburg paradox recognizes that a gamble carries a risk sensitive to the gamble's stakes. If aversion to risk increases sufficiently fast as stakes go up, the St. Petersburg gamble has a finite utility.

Although expected utility theory has proven a fruitful and elegant theory in the finite realm, attempts to generalize it to infinite values have resulted in many paradoxes. In this paper, we argue that the use of John Conway's surreal numbers shall provide a firm mathematical foundation for transfinite decision theory. To that end, we prove a surreal representation theorem and show that our surreal decision theory respects dominance reasoning even in the case of infinite values. We then bring (...) our theory to bear on one of the more venerable decision problems in the literature: Pascal's Wager. Analyzing the wager showcases our theory's virtues and advantages. To that end, we analyze two objections against the wager: Mixed Strategies and Many Gods. After formulating the two objections in the framework of surreal utilities and probabilities, our theory correctly predicts that (1) the pure Pascalian strategy beats all mixed strategies, and (2) what one should do in a Pascalian decision problem depends on what one's credence function is like. Our analysis therefore suggests that although Pascal's Wager is mathematically coherent, it does not deliver what it purports to, a rationally compelling argument that people should lead a religious life regardless of how confident they are in theism and its alternatives. (shrink)

By recourse to the fundamentals of preference orderings and their numerical representations through linear utility, we address certain questions raised in Nover and Hájek 2004, Hájek and Nover 2006, and Colyvan 2006. In brief, the Pasadena and Altadena games are well-defined and can be assigned any finite utility values while remaining consistent with preferences between those games having well-defined finite expected value. This is also true for the St Petersburg game. Furthermore, the dominance claimed for the (...) Altadena game over the Pasadena game, and that would have been claimed for the St Petersburg game over the Altadena, can be contradicted without fear of inconsistency with the axioms of utility theory. However, insistence upon dominance can be made to yield a contradiction of the Archimedean axiom of utility theory. CiteULike Connotea Del.icio.us What's this? (shrink)

Classical utilitarianism attempts to reduce the moral significance of the individual to something more basic: the value of the individual is seen as fully grounded in considerations of utility maximization. This paper criticizes this aspect of utilitarianism and tries to do so through an appeal to considerations that would be acceptable to one who embraces utilitarianism. First, an example is developed in which (1) a pair of mutually exclusive actions each yield infinite utility; (2) neither action can be (...) said to yield more utility than the other, and (3) one of the actions is clearly preferable. This provides a case in which the moral significance of the individual cannot be fully reduced to considerations of utility maximizing features of the action. A second example, developed along the lines of the first example, involves only finite utilities. (shrink)

We introduce a ranking of multidimensional alternatives, including uncertain prospects as a particular case, when these objects can be given a matrix form. This ranking is separable in terms of rows and columns, and continuous and monotonic in the basic quantities. Owing to the theory of additive separability developed here, we derive very precise numerical representations over a large class of domains (i.e., typically notof the Cartesian product form). We apply these representationsto (1)streams of commodity baskets through time, (2)uncertain social (...) prospects, (3)uncertain individual prospects. Concerning(1), we propose a finite horizon variant of Koopmans’s (1960) axiomatization of infinite discounted utility sums. The main results concern(2). We push the classic comparison between the exanteand expostsocial welfare criteria one step further by avoiding any expected utility assumptions, and as a consequence obtain what appears to be the strongest existing form of Harsanyi’s (1955) Aggregation Theorem. Concerning(3), we derive a subjective probability for Anscombe and Aumann’s (1963) finite case by merely assuming that there are two epistemically independent sources of uncertainty. (shrink)

We consider a version of so called T x W logic for historical necessity in the sense of R.H. Thomason (1984), which is somewhat special in three respects: (i) it is explicitly based on two-dimensional modal logic in the sense of Segerberg (1973); (ii) for reasons of applicability to interesting fields of philosophical logic, it conceives of time as being discrete and finite in the sense of having a beginning and an end; and (iii) it utilizes the technique of (...) systematic frame constants in order to handle the problem of irreflexivity in tense logics, well known since Gabbay (1981). Axiomatizations are given for two infinite hierarchies of two-dimensional modal tense logics, one without and one with the characteristic operators for historical necessity and possibility. Strong and weak completeness results are obtained for both hierarchies as well as a result to the effect that two approaches to their semantics are equivalent, much in the spirit of Di Maio and Zanardo (1996) and von Kutschera (1997). (shrink)

We introduce a St. Petersburg-like game, which we call the ‘Pasadena game’, in which we toss a coin until it lands heads for the first time. Your pay-offs grow without bound, and alternate in sign (rewards alternate with penalties). The expectation of the game is a conditionally convergent series. As such, its terms can be rearranged to yield any sum whatsoever, including positive infinity and negative infinity. Thus, we can apparently make the game seem as desirable or undesirable as we (...) want, simply by reordering the pay-off table, yet the game remains unchanged throughout. Formally speaking, the expectation does not exist; but we contend that this presents a serious problem for decision theory, since it goes silent when we want it to speak. We argue that the Pasadena game is more paradoxical than the St. Petersburg game in several respects. We give a brief review of the relevant mathematics of infinite series. We then consider and rebut a number of replies to our paradox: that there is a privileged ordering to the expectation series; that decision theory should be restricted to finite state spaces; and that it should be restricted to bounded utility functions. We conclude that the paradox remains live. (shrink)

In his classic book “the Foundations of Statistics” Savage developed a formal system of rational decision making. The system is based on (i) a set of possible states of the world, (ii) a set of consequences, (iii) a set of acts, which are functions from states to consequences, and (iv) a preference relation over the acts, which represents the preferences of an idealized rational agent. The goal and the culmination of the enterprise is a representation theorem: Any preference relation that (...) satisfies certain arguably acceptable postulates determines a (finitely additive) probability distribution over the states and a utility assignment to the consequences, such that the preferences among acts are determined by their expected utilities. Additional problematic assumptions are however required in Savage's proofs. First, there is a Boolean algebra of events (sets of states) which determines the richness of the set of acts. The probabilities are assigned to members of this algebra. Savage's proof requires that this be a σ-algebra (i.e., closed under infinite countable unions and intersections), which makes for an extremely rich preference relation. On Savage's view we should not require subjective probabilities to be σ-additive. He therefore finds the insistence on a σ-algebra peculiar and is unhappy with it. But he sees no way of avoiding it. Second, the assignment of utilities requires the constant act assumption: for every consequence there is a constant act, which produces that consequence in every state. This assumption is known to be highly counterintuitive. The present work contains two mathematical results. The first, and the more difficult one, shows that the σ-algebra assumption can be dropped. The second states that, as long as utilities are assigned to finite gambles only, the constant act assumption can be replaced by the more plausible and much weaker assumption that there are at least two non-equivalent constant acts. The second result also employs a novel way of deriving utilities in Savage-style systems -- without appealing to von Neumann-Morgenstern lotteries. The paper discusses the notion of “idealized agent" that underlies Savage's approach, and argues that the simplified system, which is adequate for all the actual purposes for which the system is designed, involves a more realistic notion of an idealized agent. (shrink)

Let X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{X }$$\end{document} be a set of outcomes, and let I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{I }$$\end{document} be an infinite indexing set. This paper shows that any separable, permutation-invariant preference order \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$$$\end{document} on XI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{X }^\mathcal{I }$$\end{document} admits an additive representation. That is: there exists a linearly ordered abelian group R\documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{R }$$\end{document} and a ‘utility function’ u:X⟶R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$u:\mathcal{X }{{\longrightarrow }}\mathcal{R }$$\end{document} such that, for any x,y∈XI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{x},\mathbf{y}\in \mathcal{X }^\mathcal{I }$$\end{document} which differ in only finitely many coordinates, we have x≽y\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{x}\succcurlyeq \mathbf{y}$$\end{document} if and only if ∑i∈Iu-u≥0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sum _{i\in \mathcal{I }} \left[u-u\right]\ge 0$$\end{document}. Importantly, and unlike almost all previous work on additive representations, this result does not require any Archimedean or continuity condition. If \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$$$\end{document} also satisfies a weak continuity condition, then the paper shows that, for anyx,y∈XI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{x},\mathbf{y}\in \mathcal{X }^\mathcal{I }$$\end{document}, we have x≽y\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{x}\succcurlyeq \mathbf{y}$$\end{document} if and only if ∗∑i∈Iu≥∗∑i∈Iu\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${}^*\!\sum _{i\in \mathcal{I }} u\ge {}^*\!\sum _{i\in \mathcal{I }}u$$\end{document}. Here, ∗∑i∈Iu\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${}^*\!\sum _{i\in \mathcal{I }} u$$\end{document} represents a nonstandard sum, taking values in a linearly ordered abelian group ∗R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${}^*\!\mathcal{R }$$\end{document}, which is an ultrapower extension of R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{R }$$\end{document}. The paper also discusses several applications of these results, including infinite-horizon intertemporal choice, choice under uncertainty, variable-population social choice and games with infinite strategy spaces. (shrink)

The two envelopes problem has generated a significant number of publications (I have benefitted from reading many of them, only some of which I cite; see the epilogue for a historical note). Part of my purpose here is to provide a review of previous results (with somewhat simpler demonstrations). In addition, I hope to clear up what I see as some misconceptions concerning the problem. Within a countably additive probability framework, the problem illustrates a breakdown of dominance with respect to (...) infinite partitions in circumstances of infinite expected utility. Within a probability framework that is only finitely additive, there are failures of dominance with respect to infinite partitions in circumstances of bounded utility with finitely many consequences (see the epilogue). (shrink)

This paper examines the existence of strategic solutions to finite normal form games under the assumption that strategy choices can be described as choices among lotteries where players have security- and potential level preferences over lotteries (e.g., Cohen, Theory and Decision, 33, 101–104, 1992, Gilboa, Journal of Mathematical Psychology, 32, 405–420, 1988, Jaffray, Theory and Decision, 24, 169–200, 1988). Since security- and potential level preferences require discontinuous utility representations, standard existence results for Nash equilibria in mixed strategies (Nash, (...) Proceedings of the National Academy of Sciences, 36, 48–49, 1950a, Non-Cooperative Games, Ph.D. Dissertation, Princeton University Press, 1950b) or for equilibria in beliefs (Crawford, Journal of Economic Theory, 50, 127–154, 1990) do not apply. As a key insight this paper proves that non-existence of equilibria in beliefs, and therefore non-existence of Nash equilibria in mixed strategies, is possible in finite games with security- and potential level players. But, as this paper also shows, rationalizable strategies (Bernheim, Econometrica, 52, 1007–1028, 1984, Moulin, Mathematical Social Sciences, 7, 83–102, 1984, Pearce, Econometrica, 52, 1029–1050, 1984) exist for such games. Rationalizability rather than equilibrium in beliefs therefore appears to be a more favorable solution concept for games with security- and potential level players. (shrink)

This paper utilizes Scott domains (continuous lattices) to provide a mathematical model for the use of idealized and approximately true data in the testing of scientific theories. Key episodes from the history of science can be understood in terms of this model as attempts to demonstrate that theories are monotonic, that is, yield better predictions when fed better or more realistic data. However, as we show, monotonicity and truth of theories are independent notions. A formal description is given of the (...) pragmatic virtues of theories which are monotonic. We also introduce the stronger concept of continuity and show how it relates to the finite nature of scientific computations. Finally, we show that the space of theories also has the structure of a Scott domain. This result provides an analysis of how one theory can be said to approximate another. (shrink)

Various decision theories share a troubling implication. They imply that, for any finite amount of value, it would be better to wager it all for a vanishingly small probability of some greater value. Counterintuitive as it might be, this fanaticism has seemingly compelling independent arguments in its favour. In this paper, I consider perhaps the most prima facie compelling such argument: an Egyptology argument (an analogue of the Egyptology argument from population ethics). I show that, despite recent objections from (...) Russell (2023) and Goodsell (2021), the argument’s premises can be justified and defended, and the argument itself remains compelling. (shrink)

This paper is about the alethic aspect of epistemic rationality. The most common approaches to this aspect are either normative (what a reasoner ought to/may believe?) or evaluative (how rational is a reasoner?), where the evaluative approaches are usually comparative (one reasoner is assessed compared to another). These approaches often present problems with blindspots. For example, ought a reasoner to believe a currently true blindspot? Is she permitted to? Consequently, these approaches often fail in describing a situation of alethic maximality, (...) where a reasoner fulfills all the alethic norms and could be used as a standard of rationality (as they are, in fact, used in some of these approaches). I propose a function α, which accepts a set of beliefs as inputand returns a numeric alethic value. Then I use this function to define a notion of alethic maximality that is satisfiable by finite reasoners (reasoners with cognitive limitations) and does not present problems with blindspots. Function α may also be used in alethic norms and evaluation methods (comparative and non-comparative) that may be applied to finite reasoners and do not present problems with blindspots. A result of this investigation isthat the project of providing purely alethic norms is defective. The use of function α also sheds light on important epistemological issues, such as the lottery and the preface paradoxes, and the principles of clutter avoidance and reflection. (shrink)

This chapter contains sections titled: Spirit, Metaphysics, and the “Unconditioned” Spirit as Positivity Alienation Rational Insight, Utility, and Freedom The Moral Worldview as the Culmination of the Positivity and Negativity of Spirit.

A strongly independent preorder on a possibly in finite dimensional convex set that satisfi es two of the following conditions must satisfy the third: (i) the Archimedean continuity condition; (ii) mixture continuity; and (iii) comparability under the preorder is an equivalence relation. In addition, if the preorder is nontrivial (has nonempty asymmetric part) and satisfi es two of the following conditions, it must satisfy the third: (i') a modest strengthening of the Archimedean condition; (ii') mixture continuity; and (iii') completeness. (...) Applications to decision making under conditions of risk and uncertainty are provided. (shrink)

Should we remain neutral between our interests and those of future generations? Or are we ethically permitted or even required to depart from neutrality and engage in some measure of intergenerational discounting? This Article addresses the problem of intergenerational discounting by drawing on two different intellectual traditions: the social welfare function (“SWF”) tradition in welfare economics, and scholarship on “prioritarianism” in moral philosophy. Unlike utilitarians, prioritarians are sensitive to the distribution of well-being. They give greater weight to well-being changes affecting (...) worse-off individuals. Prioritarianism can be captured, formally, through an SWF which sums a concave transformation of individual utility, rather than simply summing unweighted utilities in utilitarian fashion. The Article considers the appropriate structure of a prioritarian SWF in intergenerational cases. The simplest case involves a fixed and finite intertemporal population. In that case, I argue, policymakers can and should maintain full neutrality between present and future generations. No discount factor should be attached to the utility of future individuals. Neutrality becomes trickier when we depart from this simple case, meaning: (1) “non-identity” problems, where current choices change the identity of future individuals; (2) population-size variation, where current choices affect not merely the identity of future individuals, but the size of the world’s future population (this case raises the specter of what Derek Parfit terms “the repugnant conclusion,” i.e., that dramatic reductions in the average level of individual well-being might be compensated for by increases in population size); or (3) an infinite population. The Article grapples with the difficult question of outfitting a prioritarian SWF to handle non-identity problems, population-size variation, and infinite populations. It tentatively suggests that a measure of neutrality can be maintained even in these cases. (shrink)

In a fair finite lottery with n tickets, the probability assigned to each ticket winning is 1/n and no other answer. That is, 1/n is unique. Now, consider a fair lottery over the natural numbers. What probability is assigned to each ticket winning in this lottery? Well, this probability value must be smaller than 1/n for all natural numbers n. If probabilities are real-valued, then there is only one answer: 0, as 0 is the only real and non-negative value (...) that is smaller than 1/n for all natural numbers n. However, this answer seems counter-intuitive, as it violates Regularity: for all possible events A that are assigned a probability, A is assigned a positive probability. It is possible for ticket i to win in the second lottery. So, the set {i} should be assigned a positive probability and not 0. Consequently, in order to satisfy Regularity, probabilities must be allowed to take on `non-real' values, e.g. a positive infinitesimal x that is smaller than 1/n for all natural numbers n. So, what regular probability is assigned to {i} in the second lottery? This probability value must be positive but smaller than 1/n for all natural numbers n. Given the definition of x, x is a correct answer. But x isn't unique, because every other positive infinitesimal is a correct answer as well and there are uncountably many positive infinitesimals. After all, every positive infinitesimal is strictly between 0 and 1/n for all natural numbers n. Nothing about a fair lottery over the natural numbers uniquely determines x as the correct answer and nothing about the lottery rules out other positive infinitesimals as a correct answer as well. What probability to assign to {i} is underdetermined. -/- In this thesis, I explore this difference between fair finite lotteries and fair infinite lotteries. The constraints governing the former uniquely determine the probabilities assigned to events in those lotteries, but this isn't true for the latter lotteries, when Regularity is a constraint on probabilities. Now, although there are uncountably many correct probability values that can be assigned to {i} in the second lottery, there are some applications of probability theory, for which at least one correct probability value must be chosen in order to accomplish that application, e.g. calculation of expected utilities. In this thesis, I spell out sufficient conditions for when a choice like that is problematic. These conditions apply to precise probabilities, imprecise probabilities, and qualitative probabilities. So, I will consider Benci et al. (2018)'s and Pruss (2021)'s suggestion of allowing probabilities to be imprecise, as well as resorting to qualitative probabilities, to overcome the choice problem. I will argue that both don't solve the problem. Furthermore, there's a hitherto unnoticed difficulty in deriving imprecise probabilities by supervaluating over precise `non-real' probability values. To avoid this difficulty, precise probability values should be real-valued. Thus, Regularity cannot be a constraint on probabilities. But as it turns out, dropping Regularity as a constraint and requiring precise probabilities to be real-valued solve the choice problem. (shrink)

Games such as the St. Petersburg game present serious problems for decision theory.1 The St. Petersburg game invokes an unbounded utility function to produce an infinite expectation for playing the game. The problem is usually presented as a clash between decision theory and intuition: most people are not prepared to pay a large finite sum to buy into this game, yet this is precisely what decision theory suggests we ought to do. But there is another problem associated with (...) the St. Petersburg game. The problem is that standard decision theory counsels us to be indifferent between any two actions that have infinite expected utility. So, for example, consider the decision problem of whether to play the St. Petersburg game or a game where every payoff is $1 higher. Let’s call this second game the Petrograd game (it’s the same as St. Petersburg but with a bit of twentieth century inflation). Standard decision theory is indifferent between these two options. Indeed, it might be argued that any intuition that the Petrograd game is better than the St. Petersburg game is a result of misguided and na¨ıve intuitions about infinity.2 But this argument against the intuition in question is misguided. The Petrograd game is clearly better than the St. Petersburg game. And what is more, there is no confusion about infinity involved in thinking this. When the series of coin tosses comes to an end (and it comes to an end with probability 1), no matter how many tails precede the first head, the payoff for the Petrograd game is one dollar higher than the St. Petersburg game. Whatever the outcome, you are better off playing the Petrograd game. Infinity has nothing to do with it. Indeed, a straightforward application of dominance reasoning backs up this line of reasoning.3 Standard decision theory. (shrink)

Suppose two players wish to divide a finite set of indivisible items, over which each distributes a specified number of points. Assuming the utility of a player’s bundle is the sum of the points it assigns to the items it contains, we analyze what divisions are fair. We show that if there is an envy-free (EF) allocation of the items, two other desirable properties—Pareto-optimality (PO) and Maximinality (MM)—can also be satisfied, rendering these three properties compatible. But there may (...) be no EF division, in which case some division must satisfy a modification of Bentham’s (1789/2017) “greatest satisfaction of the greatest number” property, called maximum Nash welfare (MNW), that satisfies PO. However, an MNF division may be neither MM nor EFX, which is a weaker form of EF. We conjecture that there is always an EFX allocation that satisfies MM, ensuring that an allocation is maximin, precisely the property that Rawls (1971/1999) championed. We discuss four broader philosophical implications of our more technical analysis. (shrink)

Ramsey famously pronounced that discounting “future enjoyments” would be ethically indefensible. Suppes enunciated an equity criterion implying that all individuals’ welfare should be treated equally. By contrast, Arrow accepted, perhaps rather reluctantly, the logical force of Koopmans’ argument that no satisfactory preference ordering on a sufficiently unrestricted domain of infinite utility streams satisfies equal treatment. In this paper, we first derive an equitable utilitarian objective based on a version of the Vickrey–Harsanyi original position, extended to allow a variable and (...) uncertain population with no finite bound. Following the work of Chichilnisky and others on sustainability, slightly weakening the conditions of Koopmans and co-authors allows intergenerational equity to be satisfied. In fact, assuming that the expected total number of individuals who ever live is finite, and that each individual’s utility is bounded both above and below, there is a coherent equitable objective based on expected total utility. Moreover, it implies the “extinction discounting rule” advocated by, inter alia, the Stern Review on climate change. (shrink)

In this paper, I take Philip Rossi’s robust interpretation of critique as an interpretive guide for thinking generally about how to interpret Kant’s texts. I reflect first upon what might appear to be a minor technical issue: how best to translate the term Fähigheit when Kant utilizes it in reference to the human experience of pleasure and displeasure. Reflection upon this technical issue will, however, end up being a case study in how important it is when we are interpreting Kant’s (...) texts to have Rossi’s focus on human finitude in the background. The terrain for these reflections on human finitude will be the realm of feelings of pleasure and displeasure. And the result will be that, counter to recent interpreters, like Elizondo, who have suggested that Kant could welcome a thoroughly active conception of rational feeling, we must instead, as guided by Kant’s commitment to human finitude, remember that every feeling for Kant—even the most rational of feelings, like the moral feeling of respect, or the pleasure he notes that we take in the proper functioning of one’s virtuous rational self—must be understood within the purview and constraints of the finite and sensibly-affected human being. I hope, then, that this brief reflection can be taken as one small piece of that larger story Rossi so aptly describes in his book, the story which answers the question of “What is critique?” in a way that insists upon but also simultaneously celebrates the centrality of finitude in human existence. (shrink)

Inspired by Pohlers' local predicativity approach to Pure Proof Theory and Howard's ordinal analysis of bar recursion of type zero we present a short, technically smooth and constructive strong normalization proof for Gödel's system T of primitive recursive functionals of finite types by constructing an ε 0 -recursive function [] 0 : T → ω so that a reduces to b implies [a] $_0 > [b]_0$ . The construction of [] 0 is based on a careful analysis of the (...) Howard-Schütte treatment of Gödel's T and utilizes the collapsing function ψ: ε 0 → ω which has been developed by the author for a local predicativity style proof-theoretic analysis of PA. The construction of [] 0 is also crucially based on ideas developed in the 1995 paper "A proof of strongly uniform termination for Gödel's T by the method of local predicativity" by the author. The results on complexity bounds for the fragments of T which are obtained in this paper strengthen considerably the results of the 1995 paper. Indeed, for given n let T n be the subsystem of T in which the recursors have type level less than or equal to n+2. (By definition, case distinction functionals for every type are also contained in T n .) As a corollary of the main theorem of this paper we obtain (reobtain?) optimal bounds for the T n -derivation lengths in terms of ω n+2 -descent recursive functions. The derivation lengths of type one functionals from T n (hence also their computational complexities) are classified optimally in terms of $ -descent recursive functions. In particular we obtain (reobtain?) that the derivation lengths function of a type one functional a ∈ T 0 is primitive recursive, thus any type one functional a in T 0 defines a primitive recursive function. Similarly we also obtain (reobtain?) a full classification of T 1 in terms of multiple recursion. As proof-theoretic corollaries we reobtain the classification of the IΣ n+1 -provably recursive functions. Taking advantage from our finitistic and constructive treatment of the terms of Gödel's T we reobtain additionally (without employing continuous cut elimination techniques) that PRA + PRWO ( $\varepsilon_0) \vdash \Pi^0_2$ - Refl(PA) and PRA + PRWO ( $\omega_{n+2}) \vdash \Pi^0_2$ - Refl(I Σ n+1 ), hence PRA + PRWO( $\epsilon_0) \vdash$ Con(PA) and PRA + PRWO( $\omega_{n+2}) \vdash$ Con(IΣ n+1 ). For programmatic reasons we outline in the introduction a vision of how to apply a certain type of infinitary methods to questions of finitary mathematics and recursion theory. We also indicate some connections between ordinals, term rewriting, recursion theory and computational complexity. (shrink)

This paper addresses the issue of finite versus countable additivity in Bayesian probability and decision theory -- in particular, Savage's theory of subjective expected utility and personal probability. I show that Savage's reason for not requiring countable additivity in his theory is inconclusive. The assessment leads to an analysis of various highly idealised assumptions commonly adopted in Bayesian theory, where I argue that a healthy dose of, what I call, conceptual realism is often helpful in understanding the interpretational (...) value of sophisticated mathematical structures employed in applied sciences like decision theory. In the last part, I introduce countable additivity into Savage's theory and explore some technical properties in relation to other axioms of the system. (shrink)