An allocation rule is ‘consistent’ if the recommendation it makes for each problem ‘agrees’ with the recommendation it makes for each associated reduced problem, obtained by imagining some agents leaving with their assignments. Some authors have described the consistency principle as a ‘fairness principle’. Others have written that it is not about fairness, that it should be seen as an ‘operational principle’. We dispute the particular fairness interpretations that have been offered for consistency, but develop a different and important fairness (...) foundation for the principle, arguing that it can be seen as the result of adding ‘some’ efficiency to a ‘post-application’ and efficiency-free expression of solidarity in response to population changes. We also challenge the interpretations of consistency as an operational principle that have been given, and here identify a sense in which such an interpretation can be supported. We review and assess the other interpretations of the principle, as ‘robustness’, ‘coherence’ and ‘reinforcement’. (shrink)

In this paper, I argue for a new normative theory of rational choice under risk, namely expected comparative utility (ECU) theory. I first show that for any choice option, a, and for any state of the world, G, the measure of the choiceworthiness of a in G is the comparative utility (CU) of a in G—that is, the difference in utility, in G, between a and whichever alternative to a carries the greatest utility in G. On the basis of this (...) principle, I then argue that for any agent, S, faced with any decision under risk, S should rank his or her decision options (in terms of how choiceworthy they are) according to their comparative expected comparative utility (CECU) and should choose whichever option carries the greatest CECU. For any option, a, a’s CECU is the difference between its ECU and that of whichever alternative to a carries the greatest ECU, where a’s ECU is a probability‐weighted sum of a’s CUs across the various possible states of the world. I lastly demonstrate that in some ordinary decisions under risk, ECU theory delivers different verdicts from those of standard decision theory. (shrink)

In this paper, I argue for a new normative theory of rational choice under risk, namely expected comparative utility (ECU) theory. I first show that for any choice option, a, and for any state of the world, G, the measure of the choiceworthiness of a in G is the comparative utility (CU) of a in G—that is, the difference in utility, in G, between a and whichever alternative to a carries the greatest utility in G. On the basis of this (...) principle, I then argue that for any agent, S, faced with any decision under risk, S should rank his or her decision options (in terms of how choiceworthy they are) according to their comparative expected comparative utility (CECU) and should choose whichever option carries the greatest CECU. For any option, a, a's CECU is the difference between its ECU and that of whichever alternative to a carries the greatest ECU, where a's ECU is a probability-weighted sum of a's CUs across the various possible states of the world. I lastly demonstrate that in some ordinary decisions under risk, ECU theory delivers different verdicts from those of standard decision theory. (shrink)

The Internet and social media have opened niches for political exploitation of human dispositions to hyper-alarmed states that amplify perceived threats relative to their objective probabilities of occurrence. Researchers should aim to observe the dynamic “ramping up” of security threat mechanisms under controlled experimental conditions. Such research necessarily begins from a clear model of standard baseline states, and should involve adding treatments to established experimental protocols developed by experimental economists. We review these protocols, which allow for joint estimation of risk (...) preferences and subjective beliefs about probabilities and their distributions. Results we have obtained on such estimates, from populations in various countries, are gathered for comparison. Most people show moderate risk aversion in non-alarmed states. We also find universal heterogeneity in risk preference structures, with substantial sub-samples weighting probabilities in such a way as to display “probability pessimism”, while others make risky choices in accordance with expected utility theory. (shrink)

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental states (...) of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

A theory of rational choice is a theory of how an agent should, rationally, go about deciding what actions to perform at any given time. For example, I may want to decide whether to go to a movie this evening or stay home and read a book. The actions between which we want to choose are perfectly ordinary actions, and the presumption is that to make such a decision we should attend to the likely consequences of our decision. It is (...) assumed that these decisions must be made in the face of uncertainty regarding both the agent’s initial situation and the consequences of his actions. (shrink)

Ernst Friedrich Ferdinand Zermelo (1871–1953) transformed the set theory of Cantor and Dedekind in the first decade of the 20th century by incorporating the Axiom of Choice and providing a simple and workable axiomatization setting out generative set-existence principles. Zermelo thereby tempered the ontological thrust of early set theory, initiated the delineation of what is to be regarded as set-theoretic, drawing out the combinatorial aspects from the logical, and established the basic conceptual framework for the development of modern set theory. (...) Two decades later Zermelo promoted a distinctive cumulative hierarchy view of models of set theory and championed the use of infinitary logic, anticipating broad modern developments. In this paper Zermelo's published mathematical work in set theory is described and analyzed in its historical context, with the hindsight afforded by the awareness of what has endured in the subsequent development of set theory. Elaborating formulations and results are provided, and special emphasis is placed on the to and fro surrounding the Schröder-Bernstein Theorem and the correspondence and comparative approaches of Zermelo and Gödel. Much can be and has been written about philosophical and biographical issues and about the reception of the Axiom of Choice, and we will refer and defer to others, staying the course through the decidedly mathematical themes and details. (shrink)

To desire is to be in a particular state of mind. It is a state of mind familiar to everyone who has ever wanted to drink water or desired to know what has happened to an old friend, but its familiarity does not make it easy to give a theory of desire. Controversy immediately breaks out when asking whether wanting water and desiring knowledge are, at bottom, the same state of mind as others that seem somewhat similar: wishing never to (...) have been born, preferring mangoes to peaches, craving gin, having world conquest as one's goal, having a purpose in sneaking out to the shed, or being inclined to provoke just for the sake of provocation. These varied states of mind have all been grouped together under the heading of ‘pro attitudes’, but whether the pro attitudes are fundamentally one mental state or many is disputed. (shrink)

Much of the history of game theory has been dominated by the problem of indeterminacy. The very search for better versions of rationality, as well as the long list of attempts to refine Nash equilibrium, can be seen as answers to the indeterminacy that has accompanied game theory through its history. More recently, the experimental approach to game theory has attempted a more radical solution: by directly generating a stream of behavioral observations, one hopes that behavioral hypotheses will be sharper, (...) and predictions more accurate. This article looks at several attempts to address indeterminacy, including the shift to evolutionary models. However, because its goal is to establish whether rational choice models are inescapably doomed to produce indeterminate outcomes, it pays much more attention to the experimental turn in game theory, the difficulty it encounters, and the promising results obtained by more realistic models of rationality that include a social component. (shrink)

The phenomenon of altruism extends from the biological realm to the human sociocultural realm. This article sketches a coherent outline of multiple types of altruism of progressively increasing scope that span these two realms and are grounded in an ever-expanding sense of “self.” Discussion of this framework notes difficulties associated with altruism at different levels. It links scientific ideas about the evolution of cooperation and about hierarchical order to perennial philosophical and religious concerns. It offers a conceptual background for inquiry (...) into societal challenges that call for altruistic behavior, especially the challenge of environmental and social sustainability. (shrink)

partial review of Thomas Nagel’s book, Mind and Cosmos: Why the Materialist Neo-Darwinian Conception of Nature Is Almost Certainly False is used to articulate some systems-theoretic ideas about the challenge of understanding subjective experience. The article accepts Nagel’s view that reductionist materialism fails as an approach to this challenge, but argues that seeking an explanation of mind based on emergence is more plausible than seeking one based on pan-psychism, which Nagel favors. However, the article proposes something similar to Nagel’s neutral (...) monism by positing a hierarchy of information processes that spans the domains of matter, life, and mind. As depicted in this hierarchy, subjective experience is emergent, but also continuous with informational phenomena at lower levels. (shrink)

“Freedom” is a phenomenon in the natural world. This phenomenon—and indirectly the question of free will—is explored using a variety of systems-theoretic ideas. It is argued that freedom can emerge only in systems that are partially determined and partially random, and that freedom is a matter of degree. The paper considers types of freedom and their conditions of possibility in simple living systems and in complex living systems that have modeling subsystems. In simple living systems, types of freedom include independence (...) from fixed materiality, internal rather than external determination, activeness that is unblocked and holistic, and the capacity to choose or alter environmental constraint. In complex living systems, there is freedom in satisfaction of lower level needs that allows higher potentials to be realized. Several types of freedom also manifest in the modeling subsystems of these complex systems: in the transcending of automatism in subjective experience, in reason as instrument for passion yet also in reason ruling over passion, in independence from informational colonization by the environment, and in mobility of attention. Considering the wide range of freedoms in simple and complex living systems allows a panoramic view of this diverse and important natural phenomenon. (shrink)

Traditionally, epistemologists have distinguished between epistemic and pragmatic goals. In so doing, they presume that much of game theory is irrelevant to epistemic enterprises. I will show that this is a mistake. Even if we restrict attention to purely epistemic motivations, members of epistemic groups will face a multitude of strategic choices. I illustrate several contexts where individuals who are concerned solely with the discovery of truth will nonetheless face difficult game theoretic problems. Examples of purely epistemic coordination problems and (...) social dilemmas will be presented. These show that there is a far deeper connection between economics and epistemology than previous appreciated. (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)

For a long time, the dominant approach to studying decision making under risk has been to use psychoeconomic functions to account for how behavior deviates from the normative prescriptions of expected value maximization. While this neo-Bernoullian tradition has advanced the field in various ways—such as identifying seminal phenomena of risky choice —it contains a major shortcoming: Psychoeconomic curves are mute with regard to the cognitive mechanisms underlying risky choice. This neglect of the mechanisms both limits the explanatory value of neo-Bernoullian (...) models and fails to provide guidance for designing effective interventions to improve decision making. Here we showcase a recent “attentional turn” in research on risk choice that elaborates how deviations from normative prescriptions can result from imbalances in attention allocation and that thus promises to overcome the challenges of the neo-Bernoullian tradition. We argue that a comprehensive understanding of preference formation in risky choice must provide an account on a mechanistic level, and we delineate directions in which existing theories that rely on attentional processes may be extended to achieve this objective. (shrink)

In this paper, we describe a framework for studying social agents’ individual decision making, that takes account of the environment and social dynamics. We describe a study in which we explored the efficiency of foraging strategies within a group of individuals faced with a resource-limited environment. We investigated to what extent cooperative and non-cooperative behaviors impacted on the survival rates of a population of individuals. In the experiment presented here, we considered two different types of individuals: selfish individuals who gather (...) energy for their own use, and cooperative individuals who share the energy they gather with others, thus reducing their own individual chances of survival. In order to study the trade-off between non-cooperative and cooperative behaviors in a pseudo-realistic two-dimensional environment, we introduced an agent-based modeling and simulation tool called ACACIA-ES, which simulated local interactions and spatial behavior for large numbers of individuals in complex environments. The main result from our simulation was that a group of cooperative individuals displayed better survival strategies than groups of selfish individuals when faced with a variety of environmental pressures; however, it was very unlikely that such cooperative strategies could resist competition from selfish individuals, if the outcome of past social interactions was memorized, even when a very small group of selfish individuals was introduced. (shrink)

This paper has two main parts. In the first part, we motivate a kind of indeterminate, suppositional credences by discussing the prospect for a subjective interpretation of a causal Bayesian network, an important tool for causal reasoning in artificial intelligence. A CBN consists of a causal graph and a collection of interventional probabilities. The subjective interpretation in question would take the causal graph in a CBN to represent the causal structure that is believed by an agent, and interventional probabilities in (...) a CBN to represent suppositional credences. We review a difficulty noted in the literature with such an interpretation, and suggest that a natural way to address the challenge is to go for a generalization of CBN that allows indeterminate credences. In the second part, we develop a decision-theoretic foundation for such indeterminate suppositional credences, by generalizing a theory of coherent choice functions to accommodate some form of act-state dependence. The upshot is a decision-theoretic framework that is not only rich enough to, so to speak, ground the probabilities in a subjectively interpreted causal network, but also interesting in its own right, in that it accommodates both act-state dependence and imprecise probabilities. (shrink)

Recent work has formally linked the traditional axiomatisation of incomplete preferences à la Anscombe-Aumann with the theory of desirability developed in the context of imprecise probability, by showing in particular that they are the very same theory. The equivalence has been established under the constraint that the set of possible prizes is finite. In this paper, we relax such a constraint, thus de facto creating one of the most general theories of rationality and decision making available today. We provide the (...) theory with a sound interpretation and with basic notions, and results, for the separation of beliefs and values, and for the case of complete preferences. Moreover, we discuss the role of conglomerability for the presented theory, arguing that it should be a rationality requirement under very broad conditions. (shrink)

This study presents an evolutionary game to model interactions among stakeholders with potential conflicts, including the operational enterprise of incineration plant, the local government, and the residents nearby. System dynamics is used to simulate the change of strategic actions corresponding to the three players, in order to seek for the evolutionary stability strategies. A numerical case is proposed to demonstrate the game theory application, in which the impacts of governmental incentive and punishment on the player’s actions are investigated. The results (...) indicated that administrative penalty is effective not only in motivating the enterprises to upgrade treatment facilities for ensuring environmental quality but also in helping the local government and residents to approach dominant strategies. Policy implications are given based on the results to lay out a foundation for the alleviation of the conflicts. (shrink)

Since the middle of this century, the dominant prescriptive approach to decision theory has been a deductive viewpoint which is concerned with axioms of rational preference and their consequences. After summarizing important problems with the preference primitive, this paper argues for a constructive approach in which information is the foundation for decision-making. This approach poses comparability of uncertain acts as a question rather than an assumption. It is argued that, in general, neither preference nor subjective probability can be assumed given, (...) and that these need to be generated by using the relevant information available to the decision-agent in a given situation. A specific constructive model is discussed and illustrated with a real example from this viewpoint. (shrink)

Stability definitions for describing human behavior under conflict when coalitions may form are generalized within the Graph Model for Conflict Resolution and algebraic formulations of these definitions are provided to allow computer implementation. The more general definitions of coalitional stabilities relax the assumption of transitive graphs capturing movements under the control of decision makers, either independently or cooperatively, and allow the convenient expansion to the case of coalitions of the four basic individual stabilities consisting of Nash stability, general metarationality, symmetric (...) metarationality, and sequential stability. To permit the various coalitional stabilities to be efficiently calculated and conveniently encoded within a decision support system, algebraic expressions for the coalitional stabilities are provided in this research. Furthermore, a range of the theorems establish the mathematical credibility of employing the innovative algebraic approach to conflict resolution when coalitions are present. Finally, a conflict over the proposed exportation of bulk water from Lake Gisborne within the Canadian Province of Newfoundland and Labrador is modelled and analyzed to illustrate the practical application of the different coalitional stabilities and the strategic insights they provide. (shrink)

Modern microeconomic theory is based on a foundation of ordinal preference relations. Good textbooks stress that cardinal utility functions are artificial constructions of convenience, and that economics does not attribute any meaning to “utils.” However, we argue that despite this official position, in practice mainstream economists rely on techniques that assume the validity of cardinal utility. Doing so has turned mainstream economic theorizing into an exercise of reductionism of objects down to the preferences of ‘ideal type’ subjects.

A square tabular array was introduced by R. C. Punnett in (1907) to visualize systematically and economically the combination of gametes to make genotypes according to Mendel’s theory. This mode of representation evolved and rapidly became standardized as the canonical way of representing like problems in genetics. Its advantages over other contemporary methods are discussed, as are ways in which it evolved to increase its power and efficiency, and responded to changing theoretical perspectives. It provided a natural visual decomposition of (...) a complex problem into a number of inter-related stages. This explains its computational and conceptual power, for one could simply “read off” answers to a wide variety of questions simply from the “right” visual representation of the problem, and represent multiple problems, and multiple layers of problems in the same diagram. I relate it to prior work on the evolution of Weismann diagrams by Griesemer and Wimsatt (What Philosophy of Biology Is, Martinus-Nijhoff, the Hague, 1989), and discuss a crucial change in how it was interpreted that midwifed its success. (shrink)

Richard Levins’ distinction between aggregate, composed and evolved systems acquires new significance as we recognize the importance of mechanistic explanation. Criteria for aggregativity provide limiting cases for absence of organization, so through their failure, can provide rich detectors for organizational properties. I explore the use of failures of aggregativity for the analysis of mechanistic systems in diverse contexts. Aggregativity appears theoretically desireable, but we are easily fooled. It may be exaggerated through approximation, conditions of derivation, and extrapolating from some conditions (...) of decomposition illegtimately to others. Evolved systems particularly may require analyses under alternative complementary decompositions. Exploring these conditions helps us to better understand the strengths and limits of reductionistic methods. (shrink)

Recent work in economics has rediscovered the importance of belief-based utility for understanding human behaviour. Belief ‘choice’ is subject to an important constraint, however: people can only bring themselves to believe things for which they can find rationalizations. When preferences for similar beliefs are widespread, this constraint generates rationalization markets, social structures in which agents compete to produce rationalizations in exchange for money and social rewards. I explore the nature of such markets, I draw on political media to illustrate their (...) characteristics and behaviour, and I highlight their implications for understanding motivated cognition and misinformation. (shrink)

Modelling agency in economics rests primarily on the assumption of instrumental rationality. Managerial agency is more often analysed with a more complex ‘behavioural’ approach. This has led for years to a sterile debate about the usefulness of the abstract rationality postulate between those who think that it is all but sufficient and those who doubt if it is even necessary. This paper argues that positing an abstract (but real) rational core to managerial agency that is then ‘concretised’ towards actual managerial (...) behaviour is the way forward. Rationality is a necessary but not sufficient characterisation of managerial agency. The theoretical argument is supported by reference to the case of the ill-fated Long Term Capital Management built around the Black, Merton and Scholes Nobel Prize-winning derivatives pricing model. It is argued that the 1998 failure of the portfolio was not the result of a failure of rational agency but of the complexities of its implementation. (shrink)

Philosophers have spent a great deal of time debating whether intransitive preferences can be rational. I present a risky decision that poses a challenge for the defender of intransitivity. The defender of intransitivity faces a trilemma and must either: (i) reject the rationality of intransitive preferences, (ii) deny State-wise Dominance, or (iii) accept the bizarre verdict that you can be required to pay to relabel the tickets of a fair lottery. If we take the first horn, then we have a (...) synchronic refutation of intransitivity, an improvement on widely criticized diachronic arguments. I sketch possible responses that may rescue intransitivity and argue that each response is possible but generates an explanatory debt. I conclude by showing how the challenge here clarifies the foundations of decision theory without transitivity, conditional on some explanatory debt being payable. (shrink)

University of North Carolina at Greensboro Most approaches to the philosophy of the natural and social sciences are basedon completed scientific investigations. However, there are many importantcases in science in which testing is incomplete. These cases are termed suspendedtrials and are particularly significant in biomedical and allied health fields. Initially,the authors' interest in suspended trials was piqued by a controversialmethod for assisting autistic children known as facilitated communication. Thisarticle examines facilitated communication and other examples of suspendedtrials from the perspective of (...) an economics of science and game theory. Themodel is consistent with recent evolutionary approaches to the philosophy ofthe natural and social sciences and with recent contributions to an economicunderstanding of science. Key Words: clinical trials • innovative therapies • economics of science • suspended trials • facilitated communication • economics of clinical research. (shrink)

The focus of this study is cognitive choice: the selection of one cognitive option (a hypothesis, a theory, or an axiom, for instance) rather than another. The study proposes that cognitive choice should be based on the plausibilities of states posited by rival cognitive options and the utilities of these options' information outcomes. The proposal introduces a form of decision theory that is novel because comparative; it permits many choices among cognitive options to be based on merely comparative plausibilities and (...) utilities. This form of decision theory intersects with recommendations by advocates of decision theory for cognitive choice, on the one hand, and defenders of comparative evaluation of scientific hypotheses and theories, on the other. But it differs from prior decision-theoretic proposals because it requires no more than minimal precision in specifying plausibilities and utilities. And it differs from comparative proposals because none has shown how comparative evaluations can be carried out within a decision-theoretic framework. (shrink)

The ArgumentIn the minds of many, the Bourbakist trend in mathematics was characterized by pursuit of rigor to the detriment of concern for applications or didactic concessions to the nonmathematician, which would seem to render the concept of a Bourbakist incursion into a field of applied mathematices an oxymoron. We argue that such a conjuncture did in fact happen in postwar mathematical economics, and describe the career of Gérard Debreu to illustrate how it happened. Using the work of Leo Corry (...) on the fate of the Bourbakist program in mathematics, we demonstrate that many of the same problems of the search for a formalstructurewith which to ground mathematical practice also happened in the case of Debreu. We view this case study as an alternative exemplar to conventional discussions concerning the “unreasonable effectiveness” of mathematics in science. (shrink)

Traditional scientific views of rationality are couched in economic terms; choosing an option that does not maximize expectancy is irrational. The construct has been extended metaphorically so that the term “irrational” now describes any decision deemed foolish by the evaluator. For everyday decisions that do not involve money, a decision maker’s utilities are generally not known to an onlooker. Therefore, the pejorative label may be applied inappropriately because the evaluation is distorted by incorrect assessment of the decision maker’s goals. We (...) tie this linguistic confusion to the predominance of gambling studies within decision making research. For noneconomic decisions, we propose an alternative definition, one inspired by a theory of everyday decisions. We label a decision irrational if is inconsistent with a policy previously established by the decision maker. The hierarchical structure of everyday decisions, along with the descriptive multiattribute utility model, are core elements in the theory presented by Weiss et al. (2010 Theory and Decision, 68, 101–114). The theory holds that fast changing considerations are a crucial element in the evaluation of decision options. The momentary salience attached to a consequence can change with current, often fleeting circumstances. An option that would usually be rejected can quickly become too tempting to resist. Most people exhibit this kind of irrationality, violating a personal policy, some of the time—and they are not necessarily foolish to do so. (shrink)

It is natural for humans to judge the outcome of a decision under uncertainty as a percentage of an ex-post optimal performance. We propose a robust decision-making framework based on a relative performance index. It is shown that if the decision maker’s preferences satisfy quasisupermodularity, single-crossing, and a nondecreasing log-differences property, the worst-case relative performance index can be represented as the lower envelope of two extremal performance ratios. The latter is used to characterize the agent’s optimal robust decision, which has (...) implications both computationally and for obtaining closed-form solutions. We illustrate our results in an application which compares the performance of relative robustness to solutions that optimize worst-case payoffs, maximum absolute regret, and expected payoffs under a Laplacian prior. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealisedexplanation gamein which players collaborate to find the best explanation(s) for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal patterns of (...) variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a (conditionally) optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Necessity and sufficiency are the building blocks of all successful explanations. Yet despite their importance, these notions have been conceptually underdeveloped and inconsistently applied in explainable artificial intelligence, a fast-growing research area that is so far lacking in firm theoretical foundations. In this article, an expanded version of a paper originally presented at the 37th Conference on Uncertainty in Artificial Intelligence, we attempt to fill this gap. Building on work in logic, probability, and causality, we establish the central role of (...) necessity and sufficiency in XAI, unifying seemingly disparate methods in a single formal framework. We propose a novel formulation of these concepts, and demonstrate its advantages over leading alternatives. We present a sound and complete algorithm for computing explanatory factors with respect to a given context and set of agentive preferences, allowing users to identify necessary and sufficient conditions for desired outcomes at minimal cost. Experiments on real and simulated data confirm our method’s competitive performance against state of the art XAI tools on a diverse array of tasks. (shrink)

Contingent valuation surveys generally elicit stated preferences by asking how much a respondent would be willing to pay for an environmental improvement. By drawing on linguistic theory, we propose that the modal phrasing of this question establishes a particular type of commitment towards a hypothetical payment, namely a subjective want or desire. Based on the idea that beyond subjective desires, considerations about what is morally adequate may guide expressed values and that elicitation of these can be linguistically facilitated, we employ (...) an experimental framework to investigate the effects of different modals ( willing, should and appropriate) in the elicitation question on stated preferences. We find that elicited amounts with appropriate are higher than those elicited with willing and should for environmental improvements more associated with use values, while differences are non-significant for environmental improvements more associated with non-use values. We discuss the implications of our findings for stated preference studies, as well as the potential broader theoretical implications that our study entails regarding linguistic representations of the moral entrenchment of environmental values. (shrink)

The current paper is the first to report an experimental study of “Min- and Max-induced rankings” (MMIR), i.e., a family of set rankings that require preferences over sets to be induced from comparison of the best and/or worst elements within those sets. These MMIR do not perform well in predicting preferences over simple sets of monetary outcomes. In this paper, we investigate the axiomatic underpinnings of these models by means of pairwise choice experiments. From this investigation, some important conclusions can (...) be drawn: Axioms that prevent rankings to be based on total-goodness, as well as monotonicity conditions (ensuring that replacing a set element with a better one results in a better set) cannot be refuted. Axioms that rule out any utilization of the relative difference in the values of the outcomes and axioms that prevent rankings to be based on average-goodness are all systematically violated. The Uniform Expected Utility (UEU) criterion seems to meet the apparent shortcomings of the MMIR. Some frequently occurring preference patterns, however, suggest that a significant portion of the participants uses neither a Min- or Max-induced ranking, nor UEU, but some other unspecified decision rule, possibly characterized by the tendency to prefer a diversification of uncertainty. (shrink)

A decision under ‘complete uncertainty’ is one where the decision maker knows the set of possible outcomes for each decision, but cannot assign probabilities to those outcomes. This way, the problem of ranking decisions is reduced to a problem of ranking sets of outcomes. All rankings that have emerged in the literature in this domain imply transitivity. In the current study, transitivity is subjected to an empirical evaluation in two experiments, where subjects are asked to choose between sets of monetary (...) consequences. After analysis with a Bayes Factor, very few violations of transitivity were found. It can be concluded that transitivity seems a plausible condition for the ranking of sets of monetary consequences. (shrink)

In this paper, we aim at identifying a concept of man that can represent a reference point for those who work or supervise social processes characterized by commercial or economic purposes. Economic, management, and organizational theories and ideas have a large impact on the way we think of ourselves, and we act accordingly. By making a radical departure from the ontological assumptions, this paper proposes a shifting of the current paradigm in terms of how we theorize about man. In order (...) to do this, we analyze the ontological level of the relationship between the idea of happiness and the concept of man from medieval scholastics, and the relationship between the idea of happiness and functionalism in social science. We first prove the formal equivalence between the structures of human choice as described in the qq. 6–21 Prima Secundae of the Summa Theologiae of St. Thomas Aquinas, and the model of problem-solving behavior as conceptualized in popular management models. Then we show that the Aquinas theory of action could provide a more adequate view of economy and business in the sociocultural and environmental context in which they operate. Finally, we present the implications of this study for management theory, practice, and education. (shrink)

Other-perspective taking, distancing, time discounting as well as risk and loss aversion highly affect decision-making. Even though they influence each other, so far these cognitive processes have been unrelated or only partly related to each other in neuroscience. This article proposes a philosophical interpretation of these cognitive processes that is elaborated in the updated theory of Adam Smith’s prudence. The UTSP is inspired by Smith’s account of prudence and is in line with the neuroscientific and behavioral studies on OPT, distancing, (...) time discounting as well as risk and loss aversion. The UTSP represents a framework aiming to interpret and connect these cognitive processes and providing a consistent and empirically sound account of a “Smithianly” prudent style of decision-making. The two pillars of the UTSP are the shift of perspective in space and time and loss aversion. On the basis of this theory, a normative updated theory of Smithian prudence is outlined. The latter is useful for moral philosophy for two reasons: firstly, according to preliminary evidence, it is effective in guiding the agent in decisional contexts in which her well-being is at stake and she can affect other people with her actions. Secondly, since the NUTSP is based on neuroscientific findings on decision-making, it has a sound empirical basis that prevents a source of alienation for the agent. (shrink)

Learning to take turns in repeated game situations is a robust phenomenon in both laboratory experiments and in everyday life. Nevertheless, it has received little attention in recent studies of learning dynamics in games. We investigate the simplest and most obvious extension of fictitious play to a learning rule that can recognize patterns, and show how players using this rule can spontaneously learn to take turns.

Understanding the flow of knowledge in multi-agent protocols is essential when proving the correctness or security of such protocols. Current logical approaches, often based on model checking, are well suited for modeling knowledge in systems where agents do not act strategically. Things become more complicated in strategic settings. In this paper we show that such situations can be understood as a special type of game – a knowledge condition game – in which a coalition “wins” if it is able to (...) bring about some epistemic condition. This paper summarizes some results relating to these games. Two proofs are presented for the computational complexity of deciding whether a coalition can win a knowledge condition game with and without opponents (Σ2P-complete and NP-complete respectively). We also consider a variant of knowledge condition games in which agents do not know which strategies are played, and prove that under this assumption, the presence of opponents does not affect the complexity. The decision problem without opponents is still NP-complete, but requires a different proof. (shrink)

The traditional solution concept for noncooperative game theory is the Nash equilibrium, which contains an implicit assumption that players’ probability distributions satisfy t probabilistic independence. However, in games with more than two players, relaxing this assumption results in a more general equilibrium concept based on joint beliefs. This article explores the implications of this joint-beliefs equilibrium concept for two kinds of conflictual coordination games: crisis bargaining and public goods provision. We find that, using updating consistent with Bayes’ rule, players’ beliefs (...) converge to equilibria in joint beliefs which do not satisfy probabilistic independence. In addition, joint beliefs greatly expand the set of mixed equilibria. On the face of it, allowing for joint beliefs might be expected to increase the prospects for coordination. However, we show that if players use joint beliefs, which may be more likely as the number of players increases, then the prospects for coordination in these games declines vis-à-vis independent beliefs. (shrink)