The principle that rational agents should maximize expected utility or choiceworthiness is intuitively plausible in many ordinary cases of decision-making under uncertainty. But it is less plausible in cases of extreme, low-probability risk (like Pascal's Mugging), and intolerably paradoxical in cases like the St. Petersburg and Pasadena games. In this paper I show that, under certain conditions, stochastic dominance reasoning can capture most of the plausible implications of expectational reasoning while avoiding most of its pitfalls. Specifically, given sufficient background uncertainty (...) about the choiceworthiness of one's options, many expectation-maximizing gambles that do not stochastically dominate their alternatives "in a vacuum" become stochastically dominant in virtue of that background uncertainty. But, even under these conditions, stochastic dominance will not require agents to accept options whose expectational superiority depends on sufficiently small probabilities of extreme payoffs. The sort of background uncertainty on which these results depend looks unavoidable for any agent who measures the choiceworthiness of her options in part by the total amount of value in the resulting world. At least for such agents, then, stochastic dominance offers a plausible general principle of choice under uncertainty that can explain more of the apparent rational constraints on such choices than has previously been recognized. (shrink)

There are two central questions concerning probability. First, what are its formal features? That is a mathematical question, to which there is a standard, widely (though not universally) agreed upon answer. This answer is reviewed in the next section. Second, what sorts of things are probabilities---what, that is, is the subject matter of probability theory? This is a philosophical question, and while the mathematical theory of probability certainly bears on it, the answer must come from elsewhere. To see why, observe (...) that there are many things in the world that have the mathematical structure of probabilities---the set of measurable regions on the surface of a table, for example---but that one would never mistake for being probabilities. So probability is distinguished by more than just its formal characteristics. The bulk of this essay will be taken up with the central question of what this “more” might be. (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 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 the interpretational and objective modalities and 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. 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 the interpretational and objective modalities and 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. 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. 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 relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and (...) to the types of intention, when the latter is interpreted as a modal 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic 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, by contrast to availing of modal axiom 4 (i.e. the KK principle). 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 chapter \textbf{4} is 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 intensions of epistemic two-dimensional semantics solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between topic-sensitive epistemic two-dimensional truthmaker semantics, 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. Chapter \textbf{9} examines the modal profile of $\Omega$-logic in set theory. Chapter \textbf{10} examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter \textbf{11} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. Chapter \textbf{12} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. The multi-hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is applied in chapters \textbf{7}, \textbf{8}, \textbf{10}, \textbf{11}, \textbf{12}, and \textbf{14}.}. (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)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. We (...) end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

This article discusses the set of Harsanyi payoff vectors of a cooperative TU-game, also known as the Selectope. We reconsider some results on Harsanyi payoff vectors within a more general framework. First, an intuitive approach is used, showing that the set of Harsanyi payoff vectors is the core of an associated convex game. Next, the set of individual rational Harsanyi payoff vectors, the Harsanyi imputations in short, is considered. Existence conditions are provided, and if non-empty, we provide a description as (...) the core of a well-defined convex game, and show that it is an externally stable set. (shrink)

We propose a framework for analyzing the development, operation and failure to survive of all things, living, non-living or organized groupings. This framework is a sequence of developments that improve survival capability. Framework processes range from origination of any entity/system, to the development of increased survival capability and development of life-forms and organizations that use intelligence. This work deals with a series of developmental changes that arise from the uncovering of emergent properties. The framework is intended to be general, but (...) we see a potential to apply it to scientific topics such as the exploration of the origin of life or the search for life beyond Earth, and to understand some biological issues in evolution and symbiosis, and also to apply to social systems that do not seem to be operating well, to determine their problems and correct them. (shrink)

The state of computing science and, particularly, software engineering and knowledge engineering is generally considered immature. The best starting point for achieving a mature engineering discipline is a solid scientific theory, and the primary reason behind the immaturity in these fields is precisely that computing science still has no such agreed upon underlying theory. As theories in other fields of science do, this paper formally establishes the fundamental elements and postulates making up a first attempt at a theory in this (...) field, considering the features and peculiarities of computing science. The fundamental elements of this approach are informons and holons, and it is a general and comprehensive theory of software engineering and knowledge engineering that related disciplines (e.g., information systems) can particularise and/or extend to take benefit from it (Lakatos’ concepts of core theory and protective belt theories). (shrink)

This paper asks why information should ever be expressed vaguely, re-assessing some previously proposed answers to this question and suggesting some new ones. Particular attention is paid to the benefits that vague expressions can have in situations where agreement over the meaning of an expression cannot be taken for granted. A distinction between two different versions of the above-mentioned question is advocated. The first asks why human languages contain vague expressions, the second question asks when and why a speaker should (...) choose a vague expression when communicating with a hearer. While the former question is purely theoretical, the latter has practical implications for the computational generation of utterances in Natural Language Generation (NLG). (shrink)

What is structural rationality? Specifically, what is the distinctive feature of structural requirements of rationality? Some philosophers have argued, roughly, that the distinctive feature of structural requirements is coherence. But what does coherence mean, exactly? Or, at least, what do structuralists about rationality have in mind when they claim that structural rationality is coherence? This issue matters for making progress in various active debates concerning rationality. In this paper, I analyze three strategies for figuring out what coherence means in the (...) debates on structural rationality. I argue that these strategies face problems. (shrink)

Quantum cognition in decision making is a recent and rapidly growing field. In this paper, we develop an expected utility theory in a context of non-classical uncertainty. We replace the classical state space with a Hilbert space which allows introducing the concept of quantum lottery. Within that framework, we formulate axioms on preferences over quantum lotteries to establish a representation theorem. We show that demanding the consistency of choice behavior conditional on new information is equivalent to the von Neumann–Lüders postulate (...) applied to beliefs. A dynamically consistent quantum-like agent may violate dynamic recursive consistency, however. This feature suggests interesting applications in behavioral economics as we illustrate in an example of persuasion. (shrink)

In both theoretical and applied modeling in behavioral sciences, it is common to choose a mathematical specification of functional form and distribution of unobservables on grounds of analytic convenience without support from explicit theoretical postulates. This article discusses the issue of deriving particular qualitative hypotheses about functional form restrictions in structural models from intuitive theoretical axioms. In particular, we focus on a family of postulates known as dimensional invariance. Subsequently, we discuss how specific qualitative postulates can be reformulated so as (...) to allow for conventional statistical hypothesis testing, and we also derive details of a particular likelihood ratio test procedure. An empirical application of the testing procedure is carried out, based on data from a Stated Preference survey. (shrink)

Social machines are systems formed by material and human elements interacting in a structured way. The use of digital platforms as mediators allows large numbers of humans to participate in such machines, which have interconnected AI and human components operating as a single system capable of highly sophisticated behavior. Under certain conditions, such systems can be understood as autonomous goal-driven agents. Many popular online platforms can be regarded as instances of this class of agent. We argue that autonomous social machines (...) provide a new paradigm for the design of intelligent systems, marking a new phase in AI. After describing the characteristics of goal-driven social machines, we discuss the consequences of their adoption, for the practice of artificial intelligence as well as for its regulation. (shrink)

Reedición del artículo publicado on-line en la Enciclopedia de Filosofía de la Sociedad Española de Filosofía Analítica.

Game theory is a formal approach to behavior that focuses on the strategic aspect of situations. The game theoretic approach originates in economics but has been embraced by scholars across disciplines, including many philosophers and biologists. This approach has an important weakness: the strategic aspect of a situation, which is its defining quality in game theory, is often not its most salient quality in human cognition. Evidence from a wide range of experiments highlights this shortcoming. Previous theoretical and empirical work (...) has sought to address this weakness by considering learning across an ensemble of multiple games simultaneously. Here we extend this framework, incorporating artificial neural networks, to allow for an investigation of the interaction between the perceptual and functional similarity of the games composing the larger ensemble. Using this framework, we conduct a theoretical investigation of a population that encounters both stag hunts and prisoner’s dilemmas, two situations that are strategically different but which may or may not be perceptually similar. (shrink)

Game theory is a formal approach to behavior that focuses on the strategic aspect of situations. The game theoretic approach originates in economics but has been embraced by scholars across disciplines, including many philosophers and biologists. This approach has an important weakness: the strategic aspect of a situation, which is its defining quality in game theory, is often not its most salient quality in human cognition. Evidence from a wide range of experiments highlights this shortcoming. Previous theoretical and empirical work (...) has sought to address this weakness by considering learning across an ensemble of multiple games simultaneously. Here we extend this framework, incorporating artificial neural networks, to allow for an investigation of the interaction between the perceptual and functional similarity of the games composing the larger ensemble. Using this framework, we conduct a theoretical investigation of a population that encounters both stag hunts and prisoner’s dilemmas, two situations that are strategically different but which may or may not be perceptually similar. (shrink)

Philosophy and Phenomenological Research, EarlyView.

In a recent Analysis piece, John Shand (2014) argues that the Predictive Theory of Mind provides a unique explanation for why one cannot play chess against oneself. On the basis of this purported explanatory power, Shand concludes that we have an extra reason to believe that PTM is correct. In this reply, we first rectify the claim that one cannot play chess against oneself; then we move on to argue that even if this were the case, Shand’s argument does not (...) give extra weight to the Predictive Theory of Mind. (shrink)

Payoff dominance, a criterion for choosing between equilibrium points in games, is intuitively compelling, especially in matching games and other games of common interests, but it has not been justified from standard game-theoretic rationality assumptions. A psychological explanation of it is offered in terms of a form of reasoning that we call the Stackelberg heuristic in which players assume that their strategic thinking will be anticipated by their co-player(s). Two-person games are called Stackelberg-soluble if the players' strategies that maximize against (...) their co-players' best replies intersect in a Nash equilibrium. Proofs are given that every game of common interests is Stackelberg-soluble, that a Stackelberg solution is always a payoff-dominant outcome, and that in every game with multiple Nash equilibria a Stackelberg solution is a payoff-dominant equilibrium point. It is argued that the Stackelberg heuristic may be justified by evidentialist reasoning. (shrink)

This paper is a response to Paul Bartha’s ‘Making Do Without Expectations’. We provide an assessment of the strengths and limitations of two notable extensions of standard decision theory: relative expectation theory and Paul Bartha’s relative utility theory. These extensions are designed to provide intuitive answers to some well-known problems in decision theory involving gaps in expectations. We argue that both RET and RUT go some way towards providing solutions to the problems in question but neither extension solves all the (...) relevant problems. (shrink)

In this paper I discuss the kinds of idealisations invoked in normative theories—logic, epistemology, and decision theory. I argue that very often the so-called norms of rationality are in fact mere idealisations invoked to make life easier. As such, these idealisations are not too different from various idealisations employed in scientific modelling. Examples of the latter include: fluids are incompressible (in fluid mechanics), growth rates are constant (in population ecology), and the gravitational influence of distant bodies can be ignored (in (...) celestial mechanics). Thinking of logic, epistemology, and decision theory as normative models employing various idealisations of these kinds, changes the way we approach the justification of the models in question. (shrink)

In the wake of the financial crisis of 2008, many economists have blamed economics for having failed to warn us. Paul Krugman, for example, in a well-known New York Times Magazine article, suggests that Classical economists were blinded by the beauty of mathematics, and that Keynesian economics is the path of the future. This paper argues that the evolution of economic thinking is much more nuanced than Krugman portrays it, and that instead of embracing what has become known as Keynesian (...) economics, macroeconomists should rather re-embrace the broader Classical economic tradition, of which Keynes was an important part. (shrink)

We present experimental evidence that supports the thesis :602–625, 2015, Br J Philos Sci 70:77–102, 2019; Bradley in Decisions theory with a human face, Cambridge University Press, Cambridge, 2017; Goldschmidt and Nissan-Rozen in Synthese 198:7553–7575, 2021) that people might positively or negatively desire risky prospects conditional on only some of the prospects’ outcomes obtaining. We argue that this evidence has important normative implications for the central debate in normative decision theory between two general approaches on how to rationalize several common (...) patterns of preference, which are ruled out as irrational by orthodox decision theory, namely the re-individuation approach and the non-expected utility approach. (shrink)

A survey of contemporary philosophical and scientific literatures reveals that different authors employ the term ‘heuristic’ in ways that deviate from, and are sometimes inconsistent with, one another. Given its widespread use in philosophy and cognitive science generally, it is striking that there appears to be little concern for a clear account of what phenomena heuristics pick out or refer to. In response, I consider several accounts of ‘heuristic’, and I draw a number of distinctions between different sorts of heuristics (...) in order to make sense of various research programmes. I then develop a working characterization of ‘heuristic’ which is shown to be coherent and robust enough to serve as a kind within philosophy and cognitive science broadly. My intent is not to pursue a unified account of ‘heuristic’, but to highlight some features of certain kinds of heuristics that are important for theorizing about cognition in order to proceed with a science of the mind/brain. 1 Why We Need an Appropriate Characterization of ‘Heuristic’2 Inadequate Definitions2.1 A positive attempt2.2 Heuristics versus guaranteed correct outcomes3 A Taxonomy of Heuristics3.1 Stimulus-driven versus heuristic3.2 Perceptual versus cognitive heuristics3.3 Computational versus cognitive heuristics3.4 Methodological versus inferential heuristics3.5 Summary of distinctions4 Characterizing Cognitive Heuristics4.1 Heuristics as rules of thumb4.2 Beyond rules of thumb: exploiting information5 Concluding Remarks. (shrink)

This article argues that agent-based modeling is the methodological implication of Lawson’s championed ontological turn in economics. We single out three major properties of agent-based computational economics, namely, autonomous agents, social interactions, and the micro-macro links, which have been well accepted by the ACE community. We then argue that ACE does make a full commitment to the ontology of economics as proposed by Lawson, based on his prompted critical realism. Nevertheless, the article also points out the current limitations or constraints (...) of ACE. Efforts to overcome them are deemed to be crucial before ACE can make itself more promising to the current ontological turn in economics. (shrink)

Proposals for the democratization of technology imply a necessary condition of universal emancipatory technological literacy. However, in the literature on the topic, people’s willingness to assume the cost in time and effort involved in acquiring that knowledge is often taken for granted. In this paper, we apply Anthony Downs’s economic theory of political action in democracy to analyze the cost-benefit ratio of this literacy from the perspective of the individual subject who should acquire it. Our conclusion is that the cost (...) does not rationally justify in an instrumental sense a benefit that, being mainly of an indivisible nature, motivates individuals to avoid their share of the cost to produce it. (shrink)

We propose a method to associate a coalitional interval game with each strategic game. The method is based on the lower and upper values of finite two-person zero-sum games. Associating with a strategic game a coalitional interval game we avoid having to take either a pessimistic or an optimistic approach to the problem. The paper makes two contributions to the literature: It provides a theoretical foundation for the study of coalitional interval games and it also provides, studies, and characterizes a (...) natural method of associating coalitional interval games with strategic games. (shrink)

This paper challenges the conventional wisdom dominating the social sciences and philosophy regarding temporal discounting, the practice of discounting the value of future utility when making decisions. Although there are sharp disagreements about temporal discounting, a kind of standard model has arisen, one that begins with a normative standard about how we should make intertemporal comparisons of utility. This standard demands that in so far as one is rational one discounts utilities at future times with an exponential discount function. Tracing (...) the justification for this standard through economics, philosophy and psychology, I’ll make what I believe is the best case one can for it, showing how a non-arbitrariness assumption and a dominance argument together imply that discounting ought to be exponential. Ultimately, however, I don’t find the case compelling. Non-exponential temporal discounting is often rational. If this is correct, Instead of trying to ‘fix’ non-exponential discounting because it is irrational and associated with negative life outcomes, we might instead focus attention on why the conditions obtain that make such discounting rational. (shrink)

This paper shows that expected utility belongs to the intersection of models satisfying betweenness and a homotheticity condition for risky choice. Betweenness models can accommodate variable risk attitudes, originally highlighted by the Allais paradox, by restricting indifference curves to be linear while allowing non-parallelism. Homotheticity, in contrast, restricts indifference curves to be parallel while permitting non-linearities, such as those highlighted by inverse-S probability weighting. Data from an experiment indicate that approximately 2/3s of participants satisfied homotheticity. Of this group, about half (...) satisfied the expected utility hypothesis. The other half violated expected utility and therefore betweenness. These results indicate that homothetic preferences, and in particular those violating betweenness, can be empirically relevant for decision making under risk. (shrink)

Interactions between an intelligent software agent and a human user are ubiquitous in everyday situations such as access to information, entertainment, and purchases. In such interactions, the ISA mediates the user’s access to the content, or controls some other aspect of the user experience, and is not designed to be neutral about outcomes of user choices. Like human users, ISAs are driven by goals, make autonomous decisions, and can learn from experience. Using ideas from bounded rationality, we frame these interactions (...) as instances of an ISA whose reward depends on actions performed by the user. Such agents benefit by steering the user’s behaviour towards outcomes that maximise the ISA’s utility, which may or may not be aligned with that of the user. Video games, news recommendation aggregation engines, and fitness trackers can all be instances of this general case. Our analysis facilitates distinguishing various subcases of interaction, as well as second-order effects that might include the possibility for adaptive interfaces to induce behavioural addiction, and/or change in user belief. We present these types of interaction within a conceptual framework, and review current examples of persuasive technologies and the issues that arise from their use. We argue that the nature of the feedback commonly used by learning agents to update their models and subsequent decisions could steer the behaviour of human users away from what benefits them, and in a direction that can undermine autonomy and cause further disparity between actions and goals as exemplified by addictive and compulsive behaviour. We discuss some of the ethical, social and legal implications of this technology and argue that it can sometimes exploit and reinforce weaknesses in human beings. (shrink)

There are currently two robust traditions in philosophy dealing with doxastic attitudes: the tradition that is concerned primarily with all-or-nothing belief, and the tradition that is concerned primarily with degree of belief or credence. This paper concerns the relationship between belief and credence for a rational agent, and is directed at those who may have hoped that the notion of belief can either be reduced to credence or eliminated altogether when characterizing the norms governing ideally rational agents. It presents a (...) puzzle which lends support to two theses. First, that there is no formal reduction of a rational agent’s beliefs to her credences, because belief and credence are each responsive to different features of a body of evidence. Second, that if our traditional understanding of our practices of holding each other responsible is correct, then belief has a distinctive role to play, even for ideally rational agents, that cannot be played by credence. The question of which avenues remain for the credence-only theorist is considered. (shrink)

Game theory is the mathematical study of strategy and conflict. It has wide applications in economics, political science, sociology, and, to some extent, in philosophy. Where rational choice theory or decision theory is concerned with individual agents facing games against nature, game theory deals with games in which all players have preference orderings over the possible outcomes of the game. This paper gives an informal introduction to the theory and a survey of applications in diverse branches of philosophy. No criticism (...) is reviewed. Game theory is shown at work in discussions about epistemological dependence, liberalism and efficiency, Hume’s concept of convention, morality and rationality, and distributive justice and egalitarianism. A guide to the literature provides hints at applications in collective intentionality, epistemology, ethics, history of philosophy, logic, philosophy of language, and political philosophy. (shrink)

According to a common judgement, a social planner should often use a lottery to decide which of two people should receive a good. This judgement undermines one of the best-known arguments for utilitarianism, due to John C. Harsanyi, and more generally undermines axiomatic arguments for utilitarianism and similar views. In this paper we ask which combinations of views about (a) the social planner’s attitude to risk and inequality, and (b) the subjects’ attitudes to risk are consistent with the aforementioned judgement. (...) We find that the class of combinations of views that can plausibly accommodate this judgement is quite limited. But one theory does better than others: the theory of chance-sensitive utility. (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)

Decision-making typically requires judgments about causal relations: we need to know the causal effects of our actions and the causal relevance of various environmental factors. We investigate how several individuals' causal judgments can be aggregated into collective causal judgments. First, we consider the aggregation of causal judgments via the aggregation of probabilistic judgments, and identify the limitations of this approach. We then explore the possibility of aggregating causal judgments independently of probabilistic ones. Formally, we introduce the problem of causal-network aggregation. (...) Finally, we revisit the aggregation of probabilistic judgments when this is constrained by prior aggregation of qualitative causal judgments. (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)

The article investigates what happens when philosophy meets and begins to establish connections with two formal research methods such as game theory and network science. We use citation analysis to identify, among the articles published in Synthese and Philosophy of Science between 1985 and 2021, those that cite the specialistic literature in game theory and network science. Then, we investigate the structure of the two corpora thus identified by bibliographic coupling and divide them into clusters of related papers by automatic (...) community detection. Lastly, we construct by the same bibliometric techniques a reference map of philosophy, on which we overlay our corpora to map the diffusion of game theory and network science in the various sub-areas of recent philosophy. Three main results derive from this study. Philosophers are interested not only in using and investigating game theory as a formal method belonging to applied mathematics and sharing many relevant features with social choice theory, but also in considering its applications in more empirically oriented disciplines such as social psychology, cognitive science, or biology. Philosophers focus on networks in two research contexts and in two different ways: in the debate on causality and scientific explanation, they consider the results of network science; in social epistemology, they employ network science as a formal tool. In the reference map, logic—whose use in philosophy dates back to a much earlier period—is distributed in a more uniform way than recently encountered disciplines such as game theory and network science. We conclude by discussing some methodological limitations of our bibliometric approach, especially with reference to the problem of field delineation. (shrink)

Nash is famous for many inventions, but it is less known that he, simultaneously with Marschak, also was the first to axiomatize expected utility for risk. In particular, these authors were the first to state the independence condition, a condition that should have been but was not stated by von Neumann and Morgenstern. Marschak’s paper resulted from interactions with several people at the Cowles Commission. We document unique letters and personal communications with Nash, Samuelson, Arrow, Dalkey, and others, making plausible (...) that Nash made his discovery independently from the others. (shrink)

Empirical research often requires a method how to convert a deterministic economic theory into an econometric model. A popular method is to add a random error term on the utility scale. This method, however, ignores stochastic dominance. A modification of this method is proposed to account for stochastic dominance. The modified model compares favorably to other existing models in terms of goodness of fit to experimental data. The modified model can rationalize the preference reversal phenomenon. An intuitive axiomatic characterization of (...) the modified model is provided. Important microeconomic concept of risk aversion is well defined in the modified model. (shrink)

Standard models of portfolio investment rely on various statistical measures of dispersion. Such measures favor returns smoothed over all states of the world and penalize abnormally low as well as abnormally high returns. A model of portfolio investment based on the tradeoff between expected return and expected loss considers only abnormally low returns as undesirable. Such a model has a comparative advantage over other existing models in that a first-order stochastically dominant portfolio always has a higher expected return and a (...) lower expected loss. Expected return—expected loss model of portfolio investment can rationalize the equity premium puzzle. Two random variables are not comoving if there is at least one state of the world in which one random variable yields a positive return and the other—a negative return. Such random variables provide hedging benefits from diversification in portfolio investment according to the expected return—expected loss model. A special case of this model, when an investor linearly trade-offs expected returns and expected losses, is also a special case of the prospect theory when a decision-maker has a piece-wise linear value function without any probability weighting. (shrink)

Standard axioms of additively separable utility for choice over time and classic axioms of expected utility theory for choice under risk yield a generalized expected additively separable utility representation of risk-time preferences over probability distributions over sure streams of intertemporal outcomes. A dual approach is to use the analogues of the same axioms in a reversed order to obtain a generalized additively separable expected utility representation of time–risk preferences over intertemporal streams of probability distributions over sure outcomes. The paper proposes (...) an additional axiom, which is called risk-time reversal, for obtaining a special case of the two representations—expected discounted utility. The axiom of risk-time reversal postulates that if a risky lottery over streams of sure intertemporal outcomes and an intertemporal stream of risky lotteries yield the same probability distribution of possible outcomes in every point in time then a decision-maker is indifferent between the two. This axiom is similar to assumption 2 “reversal of order in compound lotteries” in Anscombe and Aumann :199–205, 1963, p. 201). (shrink)

This paper presents a new decision theory for modelling choice under risk. The new theory is a two-parameter generalization of expected utility theory. The proposed theory assumes that a decision maker: behaves as if maximizing expected utility; but may experience disappointment when the utility of a lottery’s outcome falls short of the expected utility of the lottery; and may have a preference for gambling. The proposed theory can rationalize the fourfold pattern of risk attitudes; the common ratio effect and the (...) reverse thereof ; the Allais paradox in classical common consequence problems and the reverse Allais paradox—in common consequence problems with an even split of a probability mass; violations of the betweenness axiom; switching behavior in the Samuelson’s example; violations of ordinal, upper and lower cumulative independence ; and preference reversals between valuations and choice. In application to insurance, the theory can rationalize full insurance with an actuarially unfair premium and aversion to probabilistic insurance. In application to optimal portfolio investment, the theory can rationalize the equity premium puzzle. (shrink)

Uncertain or ambiguous events cannot be objectively measured by probabilities, i.e. different decision-makers may disagree about their likelihood of occurrence. This paper proposes a new decision-theoretical approach on how to measure ambiguity that is analogous to axiomatic risk measurement in finance. A decision-theoretical measure of ambiguity is a function from choice alternatives to non-negative real numbers. Our proposed measure of ambiguity is derived from a novel assumption that ambiguity of any choice alternative can be decomposed into a left-tail ambiguity and (...) a right-tail ambiguity. This decomposability assumption is combined with two standard assumptions: ambiguity sources are independent from outcomes and any elementary increase in uncertainty necessarily increases ambiguity. (shrink)