An introduction to the special issue on epistemic logic and the foundations of game theory edited by Michael Bacharach and Philippe Mongin. Contributors are Michael Bacharach, Robert Stalnaker, Salvatore Modica and Aldo Rustichini, Luc Lismont and Philippe Mongin, and Hyun-Song Shin and Timothy Williamson.

Communication facilitates coordination, but coordination might fail if there's too much uncertainty. I discuss a scenario in which vagueness-driven uncertainty undermines the possibility of publicly sharing a belief. I then show that asserting an epistemic modal sentence, 'Might p', can reveal the speaker's uncertainty, and that this may improve the chances of coordination despite the lack of a common epistemic ground. This provides a game-theoretic rationale for epistemic modality. The account draws on a standard relational semantics (...) for epistemic modality, Stalnaker's theory of assertion as informative update, and a Bayesian framework for reasoning under uncertainty. (shrink)

It is plausible that there are epistemic reasons bearing on a distinctively epistemic standard of correctness for belief. It is also plausible that there are a range of practical reasons bearing on what to believe. These theses are often thought to be in tension with each other. Most significantly for our purposes, it is obscure how epistemic reasons and practical reasons might interact in the explanation of what one ought to believe. We draw an analogy with a (...) similar distinction between types of reasons for actions in the context of activities. The analogy motivates a two-level account of the structure of normativity that explains the interaction of correctness-based and other reasons. This account relies upon a distinction between normative reasons and authoritatively normative reasons. Only the latter play the reasons role in explaining what state one ought to be in. All and only practical reasons are authoritative reasons. Hence, in one important sense, all reasons for belief are practical reasons. But this account also preserves the autonomy and importance of epistemic reasons. Given the importance of having true beliefs about the world, our epistemic standard typically plays a key role in many cases in explaining what we ought to believe. In addition to reconciling (versions of) evidentialism and pragmatism, this two-level account has implications for a range of important debates in normative theory, including the interaction of right and wrong reasons for actions and other attitudes, the significance of reasons in understanding normativity and authoritative normativity, the distinction between ‘formal’ and ‘substantive’ normativity, and whether there is a unified source of authoritative normativity. (shrink)

The value of optimality modeling has long been a source of contention amongst population biologists. Here I present a view of the optimality approach as at once playing a crucial explanatory role and yet also depending on external sources of confirmation. Optimality models are not alone in facing this tension between their explanatory value and their dependence on other approaches; I suspect that the scenario is quite common in science. This investigation of the optimality approach thus serves as a case (...) study, on the basis of which I suggest that there is a widely felt tension in science between explanatory independence and broad epistemic interdependence, and that this tension influences scientific methodology. (shrink)

We present data and argument to show that in Tetris - a real-time interactive video game - certain cognitive and perceptual problems are more quickly, easily, and reliably solved by performing actions in the world rather than by performing computational actions in the head alone. We have found that some translations and rotations are best understood as using the world to improve cognition. These actions are not used to implement a plan, or to implement a reaction; they are used (...) to change the world in order to simplify the problem-solving task. Thus, we distinguish pragmatic actions ñ actions performed to bring one physically closer to a goal - from epistemic actions - actions performed to uncover information that is hidden or hard to compute mentally. To illustrate the need for epistemic actions, we first develop a standard information-processing model of Tetris-cognition, and show that it cannot explain performance data from human players of the game - even when we relax the assumption of fully sequential processing. Standard models disregard many actions taken by players because they appear unmotivated or superfluous. However, we describe many such actions that are actually taken by players that are far from superfluous, and that play valuable roles in improving human performance. We argue that traditional accounts are limited because they regard action as having a single function: to change the world. By recognizing a second function of action - an epistemic function - we can explain many of the actions that a traditional model cannot. Although, our argument is supported by numerous examples specifically from Tetris, we outline how the one category of epistemic action can be incorporated into theories of action more generally. (shrink)

Pragmatic encroachment theories have a problem with evidence. On the one hand, the arguments that knowledge is interest-relative look like they will generalise to show that evidence too is interest-relative. On the other hand, our best story of how interests affect knowledge presupposes an interest-invariant notion of evidence. -/- The aim of this paper is to sketch a theory of evidence that is interest-relative, but which allows that ‘best story’ to go through with minimal changes. The core idea is (...) that the evidence someone has is just what evidence a radical interpreter says they have. And a radical interpreter is playing a kind of game with the person they are interpreting. The cases that pose problems for pragmatic encroachment theorists generate fascinating games between the interpreter and the interpretee. They are games with multiple equilibria. To resolve them we need to detour into the theory of equilibrium selection. I’ll argue that the theory we need is the theory of risk-dominant equilibria. That theory will tell us how the interpreter will play the game, which in turn will tell us what evidence the person has. The evidence will be interest-relative, because what the equilibrium of the game is will be interest-relative. But it will not undermine the story we tell about how interests usually affect knowledge. (shrink)

Standard models in epistemic game theory make strong assumptions about agents’ knowledge of their own beliefs. Agents are typically assumed to be introspectively omniscient: if an agent believes an event with probability p, she is certain that she believes it with probability p. This paper investigates the extent to which this assumption can be relaxed while preserving some standard epistemic results. Geanakoplos (1989) claims to provide an Agreement Theorem using the “truth” axiom, together with the property (...) of balancedness, a significant relaxation of introspective omniscience. I provide an example which shows that Geanakoplos’s statement is incorrect. I then introduce a new property, local balancedness, which allows us both to correct Geanakoplos’s result, and to extend it to cases where the truth axiom may fail. I exploit this general Agreement Theorem to provide novel epistemic conditions for correlated and Nash equilibrium, both of which relax the assumption of introspective omniscience. In all three cases, the results are also extended to infinite state spaces. (This is Chapter 5 of my 2014 Oxford DPhil (PhD) thesis.). (shrink)

In recent years, the human ability to reasoning about mental states of others in order to explain and predict their behavior has come to be a highly active area of research. Researchers from a wide range of fields { from biology and psychology through linguistics to game theory and logic{ contribute new ideas and results. This interdisciplinary workshop, collocated with the Thirteenth International Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), aims to shed light on models (...) of social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as theory of mind. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, desire, intention) logics and by epistemic game theory. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds. (shrink)

The aim of this article is to provide an account of introspective knowledge concerning visual experiences that is in accordance with the idea of transparent introspection. According to transparent introspection, a person gains knowledge of her own current mental state M solely by paying attention to those aspects of the external world which M is about. In my view, transparent introspection is a promising alternative to inner sense theories. However, it raises the fundamental question why a person who pays attention (...) to something extra-mental should be epistemically justified in holding a belief about something intra-mental. In his Naturalizing the Mind, Fred Dretske solves this problem by conceiving of introspection concerning visual experiences as an inference based on a connecting belief. Although Dretske's account proves defective upon closer inspection, its essence can be salvaged by looking upon introspection as being a game of make-believe. (shrink)

In everyday life it is often important to have a mental model of the knowledge, beliefs, desires, and intentions of other people. Sometimes it is even useful to to have a correct model of their model of our own mental states: a second-order Theory of Mind. In order to investigate to what extent adults use and acquire complex skills and strategies in the domains of Theory of Mind and the related skill of natural language use, we conducted an (...) experiment. It was based on a strategic game of imperfect information, in which it was beneficial for participants to have a good mental model of their opponent, and more specifically, to use second-order Theory of Mind. It was also beneficial for them to be aware of pragmatic inferences and of the possibility to choose between logical and pragmatic language use. We found that most participants did not seem to acquire these complex skills during the experiment when being exposed to the game for a number of different trials. Nevertheless, some participants did make use of advanced cognitive skills such as second-order Theory of Mind and appropriate choices between logical and pragmatic language use from the beginning. Thus, the results differ markedly from previous research. (shrink)

The coordinated attack scenario and the electronic mail game are two paradoxes of common knowledge. In simple mathematical models of these scenarios, the agents represented by the models can coordinate only if they have common knowledge that they will. As a result, the models predict that the agents will not coordinate in situations where it would be rational to coordinate. I argue that we should resolve this conflict between the models and facts about what it would be rational to (...) do by rejecting common knowledge assumptions implicit in the models. I focus on the assumption that the agents have common knowledge that they are rational, and provide models to show that denying this assumption suffices for a resolution of the paradoxes. I describe how my resolution of the paradoxes fits into a general story about the relationship between rationality in situations involving a single agent and rationality in situations involving many agents. (shrink)

We consider how an epistemic network might self-assemble from the ritualization of the individual decisions of simple heterogeneous agents. In such evolved social networks, inquirers may be significantly more successful than they could be investigating nature on their own. The evolved network may also dramatically lower the epistemic risk faced by even the most talented inquirers. We consider networks that self-assemble in the context of both perfect and imperfect communication and compare the behaviour of inquirers in each. This (...) provides a step in bringing together two new and developing research programs, the theory of self-assembling games and the theory of network epistemology. (shrink)

Scholarly attempts to analyze the history of science sometime suffer from an imprecise use of terms. In order to understand accurately how science has developed and from where it draws its roots, researchers should be careful to recognize that epistemic regimes change over time and acceptable forms of knowledge production are contingent upon the hegemonic discourse informing the epistemic regime of any given period. In order to understand the importance of this point, I apply the techniques of historical (...) epistemology to an analysis of the place of the study of astrology in the medieval and early modern periods alongside a discussion of the “language games” of these period as well as the role of the “archeology of knowledge” in uncovering meaning in our study of the past. In sum, I argue that the term “science” should never be used when studying approaches to knowledge formation prior to the seventeenth century. (shrink)

Easy to understand philosophy papers in all areas. Table of contents: Three Short Philosophy Papers on Human Freedom The Paradox of Religions Institutions Different Perspectives on Religious Belief: O’Reilly v. Dawkins. v. James v. Clifford Schopenhauer on Suicide Schopenhauer’s Fractal Conception of Reality Theodore Roszak’s Views on Bicameral Consciousness Philosophy Exam Questions and Answers Locke, Aristotle and Kant on Virtue Logic Lecture for Erika Kant’s Ethics Van Cleve on Epistemic Circularity Plato’s Theory of Forms Can we trust our (...) senses? Yes we can Descartes on What He Believes Himself to Be The Role of Values in Science Modern Science Kant’s Moral Philosophy Plato’s Republic as Pol Potist Bureaucracy Schopenhauer on Human Suffering Bertrand Russell on the Value of Philosophy The Philosophical Value of Uncertainty Logic Homework: Theorems and Models Searle vs. Turing on the Imitation Game Hume, Frankfurt, and Holbach on Personal Freedom Manifesto of the University of Wisconsin, Madison Secular Society Michael’s Analysis of the Limits of Civil Protections Bentham and Mill on Different Types of Pleasure Set Theory Homework Aristotle on Virtue Nagel On the Hard Problem Wittgenstein on Language and Thought Camus and Schopenhauer on the Meaning of Life Camus’ Hero as Rebel without a Cause My Little Finger: Camus’ Absurdism Illustrated Are Late-term Abortions Ethical? Does Mathematics Assume the Truth of Platonism? The Self-defeating Nature of Utilitarianism and Consequentialism Generally What is The Good Life? Bentham and Mill regarding types of pleasures Kant’s Moral Philosophy Five Short Papers on Mind-body Dualism Tracy Latimer’s Father had the Right to Kill Her: Towards a doctrine of generalized self-defense Arguments Concerning God and Morality Goldman, Rousseau and von Hayek on the Ideal State J.S Mill on Liberty and Personal Freedom A Kantian Analysis of a Borderline Date-rape Situation Living Well as Flourishing: Aristotle’s Conception of the Good Life Three Essays on Medical Ethics: Answers to Exam Questions on Elective Amputation, Vaccination, and Informed Consent Hobbes, Marx, Rousseau, Nietzsche: Their Central Themes De Tocqueville on Egoism Mill vs. Hobbes on Liberty Exam-Essays on the Moral Systems of Mill, Bentham, and Kant Kant’s Moral System Aristotle on Virtue Plato’s Cave Allegory An Ethical Quandary Superorganisms The Tuskegee Experiment A Rawlsian Analysis Why Moore’s Proof of an External World Fails A Defense of Nagel’s Argument Against Materialism A Utilitarian Analysis of a Case of Theft The Paradox of the Self-aware Wretch: An Analysis of Pascal’s Moral Philosophy Jean-Paul Sartre: Decline and Fall of a Marxist Sell-out A One Page Proof of Plato’s Theory of Forms Plato’s Republic as Pol Potist Bureaucracy The problem of the one and the many Four Short Essays on Truth and Knowledge What is ‘the Good Life?’ The Ontological Argument Different Political Philosophies: Plato, Locke, Madison, Rousseau, Hayek, and Mill on the State What do I know with certainty? Skepticism about skepticism Neuroscience and Freewill Operant Conditioning What makes us special? Are Late-term Abortions Ethical? No Two Papers on Epistemology: Gettier and Bostrom Examination Nietzsche on Punishment God’s Foreknowledge and Moral Responsibility . (shrink)

It is discerned what light can bring the recent historical reconstructions of maxwellian optics and electromagnetism unification on the following philosophical/methodological questions. I. Why should one believe that Nature is ultimately simple and that unified theories are more likely to be true? II. What does it mean to say that a theory is unified? III. Why theory unification should be an epistemic virtue? To answer the questions posed genesis and development of Maxwellian electrodynamics are elucidated. It is (...) enunciated that the Maxwellian Revolution is a far more complicated phenomenon than it may be seen in the light of Kuhnian and Lakatosian epistemological models. Correspondingly it is maintained that maxwellian electrodynamics was elaborated in the course of the old pre-maxwellian programmes’ reconciliation: the electrodynamics of Ampére-Weber, the wave theory of Young-Fresnel and Faraday’s programme. To compare the different theoretical schemes springing from the different language games James Maxwell had constructed a peculiar neutral language. Initially it had encompassed the incompressible fluid models; eventually – the vortices ones. The three programmes’ encounter engendered the construction of the hybrid theory at first with an irregular set of theoretical schemes. However, step by step, on revealing and gradual eliminating the contradictions between the programmes involved, the hybrid set is “put into order” (Maxwell’s term). A hierarchy of theoretical schemes starting from ingenious crossbreeds (the displacement current) and up to usual hybrids is set up. After the displacement current construction the interpenetration of the pre-maxwellian programmes begins that marks the commencement of theoretical schemes of optics, electricity and magnetism real unification. Maxwell’s programme surpassed that of Ampére-Weber because it did absorb the ideas of the Ampére-Weber programme, as well as the presuppositions of the programmes of Young-Fresnel and Faraday properly co-ordinating them with each other. But the opposite statement is not true. The Ampére-Weber programme did not assimilate the propositions of the Maxwellian programme. Maxwell’s victory over his rivals became possible because the gist of Maxwell’s unification strategy was formed by Kantian epistemology looked in the light of William Whewell and such representatives of Scottish Enlightenment as Thomas Reid and Sir William Hamilton. Maxwell did put forward as basic synthetic principles the ideas that radically differed from that of Ampére-Weber approach by their open, flexible and contra-ontological, genuinly epistemological, Kantian character. For Maxwell, ether was not the ultimate building block of physical reality, from which all the charges and fields should be constructed. “Action at a distance”, “incompressible fluid”, “molecular vortices”, etc. were contrived analogies for Maxwell, capable only to direct the researcher at the “right” mathematical relations. Key words: J.C. Maxwell, unification of optics and electromagnetism, I. Kant, T. Reid, W. Hamilton . (shrink)

Why do we use epistemic modals like 'might'? According to Factualism, the function of 'might' is to exchange information about state-of-affairs in the modal universe. As an alternative to Factualism, this paper offers a game-theoretic rationale for epistemic possibility operators in a Bayesian setting. The background picture is one whereby communication facilitates coordination, but coordination could fail if there's too much uncertainty, since the players' ability to share a belief is undermined. However, 'might' and related expressions can (...) be used to reveal one's uncertainty, and exploit this to coordinate despite the lack of a common epistemic ground. The final result is a way to articulate a non-Factualist view of epistemic possibility modals that builds on their standard semantics. (shrink)

Dialectic, as commonly approached, is not an analytic study, as the notion is defined in the paper. Where it is analytically approached (as, for example, by Grice and Hamblin), the result is pragmatic in nature, as well as syntactic and semantic. This paper lays the foundations of a purely formal (nonpragmatic) analysis of conversations. This study is accordingly called "Conversation Theory". The key notions of "conversation", "dialogue", "conversation game", "rules of response", "epistemic community" and "channel of informations" (...) are defined precisely, and an analysis of how these notions fit together is given. Particular attention is given to distinguishing conversation theory from standard logic. The paper concludes by analysing a few sample conversation-games, indicating areas needing further research, by pointing out the simplification inherent in the sample games. (shrink)

Many of the problems we face can usefully be modeled as prisoners’ dilemmas. All the standard game-theoretic solutions to prisoners’ dilemmas lead, in the real world, to assurance games. But too often some aspects of our social interaction are as much obscured by, as illuminated by, game theory. Removing some of the epistemic constraints often accepted by game theorists will enable us to distinguish between productive and destructive prisoners’ dilemmas. Doing so is an important step (...) in understanding the nature of some of our social problems. (shrink)

Game theorists tend to model climate negotiations as a so-called ‘tragedy of the commons’. This is rather worrisome, since the conditions under which such commons problems have historically been solved are almost entirely absent in the case of international greenhouse gas emissions. In this paper, I will argue that the predictive accuracy of the tragedy model might not stem from the model’s inherent match with reality but rather from the model’s ability to make self-fulfilling predictions. I then sketch some (...) possible ways to dispel the tragedy, including (1) recognizing some ways the assumptions of the model fail, (2) taking seriously recent work suggesting that increasing greenhouse gas emissions is not in most nations’ own self-interest, and (3) preferring alternative models like collective risk dilemmas, bargaining games, or cooperative models. (shrink)

I offer two potential diagnoses of the behavioral norms governing post‐truth politics by comparing the view of language, communication, and truth‐telling put forward by David Lewis (extended by game theorists), and John Searle. My first goal is to specify the different ways in which Lewis, and game theorists more generally, in contrast to Searle (in the company of Paul Grice and Jurgen Habermas), go about explaining the normativity of truthfulness within a linguistic community. The main difference is that (...) for Lewis and game theorists, “truthful” signaling follows from an align- ment of interests, and deception follows from mixed motives leading to the calculation that sending false information is better for oneself. Following in the Enlightenment tradition, Searle argues that practical reasoning, which involves mastery of at least one language, requires that actors intend to communicate. This intention includes constraining the content of statements to uphold veracity conditions. After distinguishing between these two accounts, I will artic- ulate the implications for explaining, and even informing actions, constitutive of post‐truth politics. I argue that the strategic view of communication is suffi- cient neither to model everyday conversation nor to reflect a public sphere useful for democratic govern- ment. Both the pedagogy of strategic communication as cheap talk, and its concordance with new digital information technologies, challenge norms of truthful- ness that underlie modern institutions essential to an effective public sphere. (shrink)

Epistemic decision theory (EDT) employs the mathematical tools of rational choice theory to justify epistemic norms, including probabilism, conditionalization, and the Principal Principle, among others. Practitioners of EDT endorse two theses: (1) epistemic value is distinct from subjective preference, and (2) belief and epistemic value can be numerically quantified. We argue the first thesis, which we call epistemic puritanism, undermines the second.

According to epistemic utility theory, epistemic rationality is teleological: epistemic norms are instrumental norms that have the aim of acquiring accuracy. What’s definitive of these norms is that they can be expected to lead to the acquisition of accuracy when followed. While there’s much to be said in favor of this approach, it turns out that it faces a couple of worrisome extensional problems involving the future. The first problem involves credences about the future, and the (...) second problem involves future credences. Examining prominent solutions to a different extensional problem for this approach reinforces the severity of the two problems involving the future. Reflecting on these problems reveals the source: the teleological assumption that epistemic rationality aims at acquiring accuracy. (shrink)

Is capitalism inherently predatory? Must there be winners and losers? Is public interest outdated and free-riding rational? Is consumer choice the same as self-determination? Must bargainers abandon the no-harm principle? Prisoners of Reason recalls that classical liberal capitalism exalted the no-harm principle. Although imperfect and exclusionary, modern liberalism recognized individual human dignity alongside individuals' responsibility to respect others. Neoliberalism, by contrast, views life as ceaseless struggle. Agents vie for scarce resources in antagonistic competition in which every individual seeks dominance. This (...) political theory is codified in non-cooperative game theory; the neoliberal citizen and consumer is the strategic rational actor. Rational choice justifies ends irrespective of means. Money becomes the medium of all value. Solidarity and good will are invalidated. Relationships are conducted on a quid pro quo basis. However, agents can freely opt out of this cynical race to the bottom by embracing a more expansive range of coherent action. (shrink)

The bi-polar confrontation between the Soviet Union and the USA involved many leading game theorists from both sides of the Iron Curtain: Oskar Morgenstern, John von Neumann, Michael Intriligator, John Nash, Thomas Schelling and Steven Brams from the United States and Nikolay Vorob’ev, Leon A. Petrosyan, Elena B. Yanovskaya and Olga N. Bondareva from the Soviet Union. The formalization of game theory (GT) took place prior to the Cold War but the geopolitical confrontation hastened and shaped its (...) evolution. In our article we outline four similarities and differences between Western GT and Soviet GT: 1) the Iron Curtain resulted in a lagged evolution of GT in the Soviet Union; 2) Soviet GT focused more on operations research and issues of centralized planning; 3) the contemporary Western view on Soviet GT was biased and Soviet contributions, including works on dynamic stability, non-emptiness of the core and many refinements, suggest that Soviet GT was able to catch up to the Western level relatively fast; 4) international conferences, including Vilnius, 1971, fostered interaction between Soviet game theorists and their Western colleagues. In general, we consider the Cold War to be a positive environment for GT in the West and in the Soviet Union. (shrink)

How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in (...) terms of decisions, response times, and answers to questions. We validate these claims on the basis of an earlier game-theoretic experiment about the turn-taking game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We explore two ways of segregating the participants into reasonable “player types”. The first way is based on latent class analysis, which divides the players into three classes according to their first decisions in the game: Random players, Learners, and Expected players, who make decisions consistent with forward induction. The second way is based on participants’ answers to a question about their opponent, classified according to levels of theory of mind: zero-order, first-order and second-order. It turns out that increasing levels of decisions and theory of mind both correspond to increasing success as measured by monetary awards and increasing decision times. Next, we use the logical language to express different kinds of strategies that people apply when reasoning about their opponent and making decisions in turn-taking games, as well as the ‘reasoning types’ reflected in their behavior. Then, we translate the logical formulas into computational cognitive models in the PRIMs architecture. Finally, we run two of the resulting models, corresponding to the strategy of only being interested in one’s own payoff and to the myopic strategy, in which one can only look ahead to a limited number of nodes. It turns out that the participant data fit to the own-payoff strategy, not the myopic one. The article closes the circle from experiments via logic and cognitive modelling back to predictions about new experiments. (shrink)

The lie detector test has long been treated with suspicion by the law. Recently, several authors have called this suspicion into question. They argue that the lie detector test may have considerable forensic benefits, particularly if we move past the classic, false-positive prone, autonomic nervous system-based (ANS-based) control question test, to the more reliable, brain-based, concealed information test. These authors typically rely on a “comparative advantage” argument to make their case. According to this argument, we should not be so suspicious (...) of lie detection evidence if it has comparative advantages over the epistemic methods currently utilised by the legal system. In this article, I add to this growing support by making a novel comparative advantage argument in favour of brain-based lie detection evidence. The argument focuses on the P300 concealed information test (P300 CIT), which has several unique properties, and on the effect it may have on pre-trial bargaining in criminal cases rather than in-court evidence. The thesis is that P300 CIT could allow for innocent defendants to credibly signal their innocence to investigators and prosecutors during pre-trial bargaining more effectively than current proposed methods for doing the same thing. I defend this argument from a number of objections, and suggest that it opens up an interesting avenue in the ongoing debate about the merits of this technology. Although the argument is presented with the criminal law in mind, it could form part of a more general cumulative case in favour of this technology. (shrink)

The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not establish this claim. We then distinguish three notions of awareness, and argue that although one of them may not be adequately modeled using standard state spaces, there is no reason to think that standard state spaces cannot provide models of the other two notions. In fact, standard space (...) models of these forms of awareness are attractively simple. They allow us to prove completeness and decidability results with ease, to carry over standard techniques from decision theory, and to add propositional quantifiers straightforwardly. (shrink)

This paper argues, based on Lewis’ claim that communication is a coordination game (Lewis in Minnesota studies in the philosophy of science, University of Minnesota Press, Minneapolis, pp 3–35, 1975), that we can account for the communicative function of demonstratives without assuming that they semantically refer. The appeal of such a game theoretical version of the case for non-referentialism is that the communicative role of demonstratives can be accounted for without entering the cul de sac of trying to (...) construct conventions of ever-increasing complexity. Instead communication via demonstratives is explained with reference to the general, non-domain specific ability of human beings to solve games of coordination. Furthermore, there is empirical support for such a view. Judgments concerning demonstrative reference have been shown to be sensitive to judgments concerning common ground (Clark et al. in J Verb Learn Verb Behav 22:245–258, 1983), which is exactly what the non-referentialist account would predict. The game theoretical account also allows for an intuitively plausible, non-referentialist treatment of Speaks’ ‘trumping argument’ (Speaks in Philos Stud 174:709–734, 2017), as well as the Carnap/Agnew puzzle (Kaplan in Syntax Semant 9:221–43, 1970). (shrink)

Universal Game Theory - The theory that all of life is a game played by consciousness’es, (Living Beings). The board is a dream like structure of the universe. The progression is through an active process of intent witnessing, and passive meditation. Which releases the tension in the nerves of the body and leads to selfless actions, moral goodness, and eventually the finish, Enlightenment. Just like a wounded creature only cares about it’s own self. Man in tensionthrough (...) self-centered thought only thinks about his own predicaments. Even if he is thinking about others it is only through his own objectionable view from his false-created center. The enemy or deterrents in the game is the conditioning created by society for ambition, greed, control and general brain washing to give theindividual a false sense of identity, the ego. This is achieved by Religion; tradition, culture, education, reasoning, linear thought, and the creation of time. Leaving him/her in constant anxiety about millions of future contingencies. Through witnessing one realizes the whole futility of one dimensional thought which only leads to more and more thought. Simple or constructed elaborately, thought being time, a human construction. The final step of the Universal Game Theory is understanding the whole process of thought and the eventual revelation of Enlightenment, Bliss, ecstasy. Which the person then understands that he/she is the creator of the life/dream with which they are in. That point being a sexual ecstasy similar to what happens in death to men. i.e. Human males release semenwhen they die, having a sexual ecstasy at their last breath. (shrink)

We apply spatialized game theory and multi-agent computational modeling as philosophical tools: (1) for assessing the primary social psychological hypothesis regarding prejudice reduction, and (2) for pursuing a deeper understanding of the basic mechanisms of prejudice reduction.

This is a two-volume set that provides an introduction to non-cooperative Game Theory. Volume 1 covers the basic concepts, while Volume 2 is devoted to advanced topics. The book is richly illustrated with approximately 400 figures. It is suitable for both self-study and as the basis for an undergraduate course in game theory as well as a first-year graduate-level class. It is written to be accessible to anybody with high-school level knowledge of mathematics. At the end (...) of each chapter there is a collection of exercises accompanied by detailed answers. The book contains approximately 180 exercises. (shrink)

Don’t form beliefs on the basis of coin flips or random guesses. More generally, don’t take belief gambles: if a proposition is no more likely to be true than false given your total body of evidence, don’t go ahead and believe that proposition. Few would deny this seemingly innocuous piece of epistemic advice. But what, exactly, is wrong with taking belief gambles? Philosophers have debated versions of this question at least since the classic dispute between William Clifford and William (...) James near the end of the nineteenth century. Here I reassess the normative standing of belief gambles from the perspective of epistemic decision theory. The main lesson of the paper is a negative one: it turns out that we need to make some surprisingly strong and hard-to-motivate assumptions to establish a general norm against belief gambles within a decision-theoretic framework. I take this to pose a dilemma for epistemic decision theory: it forces us to either make seemingly unmotivated assumptions to secure a norm against belief gambles, or concede that belief gambles can be rational after all. (shrink)

Epistemic Utility Theory is often identified with the project of *axiology-first epistemology*—the project of vindicating norms of epistemic rationality purely in terms of epistemic value. One of the central goals of axiology-first epistemology is to provide a justification of the central norm of Bayesian epistemology, Probabilism. The first part of this paper presents a new challenge to axiology first epistemology: I argue that in order to justify Probabilism in purely axiological terms, proponents of axiology first epistemology (...) need to justify a claim about epistemic value—what I label ‘Downwards Propriety’—much stronger than any they have offered justification. The second part of this paper offers an argument that this challenge cannot be met: that there is no hope for providing a purely axiological justification of Downwards Propriety, at least given widely accepted assumptions about epistemic value. (shrink)

Game theory involves deliberating about what to do in light of what other people are likely to do. One of the central frameworks of game theory is the prisoner’s dilemma, in which participants who make rational choices end up in suboptimal outcomes. Using the prisoner’s dilemma to model competition between firms sets the stage for a new and promising approach to business ethics: the market failures approach.

This article argues that various deviations from the basic principles of the scientific ethos – primarily the appearance of pseudoscience in scientific communities – can be formulated and explained using specific models of game theory, such as the prisoner’s dilemma and the iterated prisoner’s dilemma. The article indirectly tackles the deontology of scientific work as well, in which it is assumed that there is no room for moral skepticism, let alone moral anti-realism, in the ethics of scientific communities. (...) Namely, on the basis of the generally accepted dictum of scientific endeavor as the pursuit of knowledge exclusively for knowledge’s sake, scientifically »right« behavior is seen to be clearly defined and distinguishable from scientifically »wrong« behavior. After elucidating the basic principles of game theory, the article illustrates – by using imaginary and real cases, as well as some views from the philosophyof biology (the units of selection debate) – how this sort of reasoning could be applied in an analysis of the functioning of science. (shrink)

The debate around the notions of a priori knowledge and a posteriori knowledge has proven crucial for the development of many fields in philosophy, such as metaphysics, epistemology, metametaphysics etc. We advocate that the recent debate on the two notions is also fruitful for man-made distributed computing systems and for the epistemic analysis thereof. Following a recently proposed modal and fallibilistic account of a priori knowledge, we elaborate the corresponding concept of a priori belief: We propose a rich taxonomy (...) of types of a priori beliefs and their role for the different agents that participate in the system engineering process, which match the existing view exceedingly well and are particularly promising for explaining and dealing with unexpected behaviors in fault-tolerant distributed systems. Developing such a philosophical foundation will provide a sound basis for eventually implementing our ideas in a suitable epistemic reasoning and analysis framework and, hence, constitutes a mandatory first step for developing methods and tools to cope with the various challenges that emerge in such systems. (shrink)

I give an informal presentation of the evolutionary game theoretic approach to the conventions that constitute linguistic meaning. The aim is to give a philosophical interpretation of the project, which accounts for the role of game theoretic mathematics in explaining linguistic phenomena. I articulate the main virtue of this sort of account, which is its psychological economy, and I point to the casual mechanisms that are the ground of the application of evolutionary game theory to linguistic (...) phenomena. Lastly, I consider the objection that the account cannot explain predication, logic, and compositionality. (shrink)

Focusing on the work of Friedrich von Hayek and Vernon Smith, we discuss some conceptual links between Austrian economics and recent work in behavioral game theory and experimental economics. After a brief survey of the main methodological aspects of Austrian and experimental economics, we suggest that common views on subjectivism, individualism, and the role of qualitative explanations and predictions in social science may favour a fruitful interaction between these two research programs.

How do conventions of communication emerge? How do sounds or gestures take on a semantic meaning, and how do pragmatic conventions emerge regarding the passing of adequate, reliable, and relevant information? My colleagues and I have attempted in earlier work to extend spatialized game theory to questions of semantics. Agent-based simulations indicate that simple signaling systems emerge fairly naturally on the basis of individual information maximization in environments of wandering food sources and predators. Simple signaling emerges by means (...) of any of various forms of updating on the behavior of immediate neighbors: imitation, localized genetic algorithms, and partial training in neural nets. Here the goal is to apply similar techniques to questions of pragmatics. The motivating idea is the same: the idea that important aspects of pragmatics, like important aspects of semantics, may fall out as a natural results of information maximization in informational networks. The attempt below is to simulate fundamental elements of the Gricean picture: in particular, to show within networks of very simple agents the emergence of behavior in accord with the Gricean maxims. What these simulations suggest is that important features of pragmatics, like important aspects of semantics, don't have to be added in a theory of informational networks. They come for free. (shrink)

Some propositions are more epistemically important than others. Further, how important a proposition is is often a contingent matter—some propositions count more in some worlds than in others. Epistemic Utility Theory cannot accommodate this fact, at least not in any standard way. For EUT to be successful, legitimate measures of epistemic utility must be proper, i.e., every probability function must assign itself maximum expected utility. Once we vary the importance of propositions across worlds, however, normal measures of (...) epistemic utility become improper. I argue there isn’t any good way out for EUT. (shrink)

Abstract We examine the construction of electromagnetism in its current form, and in an alternative form, from a point of view that combines a minimal realism with strict rational demands. We begin by discussing the requests of reason when constructing a theory and next, we follow the historical development as presented in the record of original publications, the underlying epistemology (often explained by the authors) and the mathematical constructions. The historical construction develops along socio-political disputes (mainly, the reunification of (...) Germany and the second industrial revolution), epistemic disputes (at least two demarcations of science in conflict) and several theories of electromagnetism. Such disputes resulted in the militant adoption of the ether by some, a position that expanded in parallel with the expansion of Prussia. This way of thinking was facilitated by the earlier adoption of a standpoint that required, as a condition for understanding, the use of physical hypothesis in the form of analogies; an attitude that is antithetic to Newton's “hypotheses non fingo”. While the material ether was finally abandoned, the epistemology survived in the form of “substantialism” and a metaphysical ether: the space. The militants of the ether attributed certainties regarding the ether to Faraday and Maxwell, when they only expressed doubts and curiosity. Thus, the official story is not the real history. This was achieved by the operation of detaching Maxwell's electromagnetism from its construction and introducing a new game of formulae and interpretations. Large and important parts of Maxwell work are today not known, as for example, the rules for the transformation of the electromagnetic potentials between moving systems. When experiments showed that all the theories based in the material ether were incorrect, a new interpretation was offered: Special Relativity (SR). At the end of the transformation period a pragmatic view of science, well adapted to the industrial society, had emerged, as well as a new protagonist: the theoretical physicist. The rival theory of delayed action at distance initiated under the influence of Gauss was forgotten in the midst of the intellectual warfare. The theory is indistinguishable in formulae from Maxwell's and its earlier versions are the departing point of Maxwell for the construction of his equations. We show in a mathematical appendix that such (relational) theory can incorporate Lorentz' contributions as well as Maxwell's transformations and C. Neumann's action, without resource to the ether. Demarcation criteria was further changed at the end of the period making room for habits and intuitions. When these intuited criteria are examined by critical reason (seeking for the fundaments) they can be sharpened with the use of the Non Arbitrariness Principle, which throws light over the arbitrariness in the construction of SR. Under a fully rational view SR is not acceptable, it requires to adopt a less demanding epistemology that detaches the concept from the conception, such as Einstein's own view in this respect, inherited from Hertz. In conclusion: we have shown in this relevant exercise how the reality we accept depends on earlier, irrational, decisions that are not offered for examination but rather are inherited from the culture. (shrink)

Proponents of the epistemic companions in guilt argument argue that we should reject the moral error theory because it entails that there are no epistemic reasons. In this paper, I investigate whether a plausible version of the moral error theory can be constructed that does not entail an error theory about epistemic reasons. I argue that there are no irreducibly normative second-personal reasons even if there are irreducibly normative reasons. And epistemic reasons are (...) not second-personal reasons. In this case, a plausible version of the moral error theory can be constructed that does not entail an error theory about epistemic reasons if facts and claims about morality entail facts and claims about irreducibly normative second-personal reasons. And, as I explain, there is a good case that facts and claims about morality do entail facts and claims about irreducibly normative second-personal reasons. (shrink)

Hostile epistemology is the study of how environmental features exploit our cognitive vulnerabilities. I am particularly interested in those vulnerabilities arise from the basic character of our epistemic lives. We are finite beings with limited cognitive resources, perpetually forced to reasoning a rush. I focus on two sources of unavoidable vulnerability. First, we need to use cognitive shortcuts and heuristics to manage our limited time and attention. But hostile forces can always game the gap between the heuristic and (...) the ideal. Second, we need to trust others, and trust makes us vulnerable. In particular, we need to trust experts whose expertise lies beyond our individual ability to vet. So we must rely on various imperfect signals and proxies, like institutional affiliation, to manage our trust. We are forced to use these imperfect and exploitable forms of reasoning, in order to cope with a cognitively overwhelming world. I present the hostile epistemology framework as a counterbalance to vice epistemology, which tends to locate responsibility for bad beliefs in the character of the believer. I draw two conclusions from my analysis. First: suppose we accept that that only communities and institutions can know about the world. This deeply social approach doesn’t solve the problem of expert identification. The individual still faces a problem: given their incomplete understanding, how should the individual pick which group to trust? Second: we might have hoped to get some kind of static picture of the right principles of reasoning — but hostile epistemology presents a different picture. We have to use risky heuristics and shortcuts, which hostile forces can game and exploit. We can respond by shifting to a different set of heuristics, but this simply shifts the location of our vulnerabilities. These new heuristics are also exploitable. There is no end to this, only a constant struggle to adapt. Limited beings in a hostile epistemic environment are locked in an unending epistemic arms race. (shrink)

In the 70 years since Alan Turing’s ‘Computing Machinery and Intelligence’ appeared in Mind, there have been two widely-accepted interpretations of the Turing test: the canonical behaviourist interpretation and the rival inductive or epistemic interpretation. These readings are based on Turing’s Mind paper; few seem aware that Turing described two other versions of the imitation game. I have argued that both readings are inconsistent with Turing’s 1948 and 1952 statements about intelligence, and fail to explain the design of (...) his game. I argue instead for a response-dependence interpretation. This interpretation has implications for Turing’s view of free will: I argue that Turing’s writings suggest a new form of free will compatibilism, which I call response-dependence compatibilism. The philosophical implications of rethinking Turing’s test go yet further. It is assumed by numerous theorists that Turing anticipated the computational theory of mind. On the contrary, I argue, his remarks on intelligence and free will lead to a new objection to computationalism. (shrink)

Epistemic rationality is typically taken to be immodest at least in this sense: a rational epistemic state should always take itself to be doing at least as well, epistemically and by its own light, than any alternative epistemic state. If epistemic states are probability functions and their alternatives are other probability functions defined over the same collection of proposition, we can capture the relevant sense of immodesty by claiming that epistemic utility functions are (strictly) proper. (...) In this paper I examine what happens if we allow for the alternatives to an epistemic state to include probability functions with different domains. I first prove an impossibility result: on minimal assumptions, I show that there is no way of vindicating strong immodesty principles to the effect that any probability function should take itself to be doing at least as well than any alternative probability function, regardless of its domain. I then consider alternative, weaker generalizations of the traditional immodesty principle and prove some characterization results for some classes of epistemic utility functions satisfying each of the relevant principles. (shrink)

Quassim Cassam has argued that psychological and epistemological analyses of conspiracy theories threaten to overlook the political nature of such theories. According to Cassam, conspiracy theories are a form of political propaganda. I develop a limited critique of Cassam's analysis.This paper advances two core theses. First, acceptance of conspiracy theories requires a rejection of epistemic authority that renders conspiracy theorists susceptible to co-option by certain political programs while insulating such programs from criticism. I argue that the contrarian nature of (...) conspiracy theories partially accounts for the prominence of such theories in populist movements.Second, the contrarian nature of conspiracy theories partially accounts for their attractiveness, especially among those to whom populism already appeals. I argue that for those who resent what appears from their perspective as the shaping of the epistemic landscape by alien perspectives, conspiracy theorizing may facilitate the reassertion of epistemic autonomy. (shrink)