A theory of two-sided containers, denoted ZF2, is introduced. This theory is then shown to be synonymous to ZF in the sense of Visser (2006), via an interpretation involving Quine pairs. Several subtheories of ZF2, and their relationships with ZF, are also examined. We include a short discussion of permutation models (in the sense of Rieger–Bernays) over ZF2. We close with highlighting some areas for future research, mostly motivated by the need to understand non-wellfounded games.

What is morality? How many moral values are there? And what are they? According to the theory of morality-as-cooperation, morality is a collection of biological and cultural solutions to the problems of cooperation recurrent in human social life. This theory predicts that there will be as many different types of morality as there are different types of cooperation. Previous research, drawing on evolutionary game theory, has identified at least seven different types of cooperation, and used them (...) to explain seven different types of morality: family values, group loyalty, reciprocity, heroism, deference, fairness and property rights. Here we explore the conjecture that these simple moral ‘elements’ combine to form a much larger number of more complex moral ‘molecules’, and that as such morality is a combinatorial system. For each combination of two elements, we hypothesise a candidate moral molecule, and successfully locate an example of it in the professional and popular literature. These molecules include: fraternity, blood revenge, family pride, filial piety, gavelkind, primogeniture, friendship, patriotism, tribute, diplomacy, common ownership, honour, confession, turn taking, restitution, modesty, mercy, munificence, arbitration, mendicancy, and queuing. These findings indicate that morality – like many other physical, biological, psychological and cultural systems – is indeed a combinatorial system. Thus morality-as-cooperation provides a principled and powerful theory, that explains why there are many moral values, and successfully predicts what they will be; and it generates a systematic framework that has the potential to explain all moral ideas, possible and actual. Pursuing the many implications of this theory will help to place the study of morality on a more secure scientific footing. (shrink)

Fix 2 < n < ω. Let CA n denote the class of cylindric algebras of dimension n, and let RCA n denote the variety of representable CA n ’s. Let L n denote first-order logic restricted to the first n variables. Roughly, CA n, an instance of Boolean algebras with operators, is the algebraic counterpart of the syntax of L n, namely, its proof theory, while RCA n algebraically and geometrically represents the Tarskian semantics of L n. Unlike (...) Boolean algebras having a Stone representation theorem, RCA n ⊊ CA n. Using combinatorial game theory, we show that the existence of certain finite relation algebras RA, which are algebras whose domain consists of binary relations, implies that the celebrated Henkin omitting types theorem fails in a very strong sense for L n. Using special cases of such finite RA ’s, we recover the classical nonfinite axiomatizability results of Monk, Maddux, and Biro on RCA n and we re-prove Hirsch and Hodkinson’s result that the class of completely representable CA n ’s is not first-order definable. We show that if T is an L n countable theory that admits elimination of quantifiers, λ is a cardinal < 2 ℵ 0, and F = 〈 Γ i : i < λ 〉 is a family of complete nonprincipal types, then F can be omitted in an ordinary countable model of T. (shrink)

First-order logic is known to have a severely limited expressive power on finite structures. As a result, several different extensions have been investigated, including fragments of second-order logic, fixpoint logic, and the infinitary logic L∞ωω in which every formula has only a finite number of variables. In this paper, we study generalized quantifiers in the realm of finite structures and combine them with the infinitary logic L∞ωω to obtain the logics L∞ωω, where Q = {Qi: iε I} is a family (...) of generalized quantifiers on finite structures. Using the logics L∞ωω, we can express polynomial-time properties that are not definable in L∞ωω, such as “there is an even number of x” and “there exists at least n/2 x” , without going to second-order logic. We show that equivalence of finite structures relative to L∞ωω can be characterized in terms of certain pebble games that are a variant of the Ehrenfeucht—Fraïssé games. We combine this game-theoretic characterization with sophisticated combinatorial tools from Ramsey theory, such as van der Waerden's Theorem and Folkman's Theorem, in order to investigate the scope and limits of generalized quantifiers in finite model theory. We obtain sharp lower bounds for expressibility in the logics L∞ωω and discover an intrinsic difference between adding finitely many simple unary generalized quantifiers to L∞ωω adding infinitely many. In particular, we show that if Qis a finite sequence of simple unary generalized quantifiers, then the equicardinality, or Härtig, quantifier is not definable in L∞ωω. We also show that the query “does the equivalence relation E have an even number of equivalence classes” is not definable in the extension L∞ωω of L∞ωω by the Härtig quantifier I and any finite sequence Q of simple unary generalized quantifiers. (shrink)

Binmore argues that game theory provides a systematic tool for investigating ethical matters.

We present the notion of finite high-order Gowers games, and prove a statement parallel to Gowers's Combinatorial Lemma for these games. We derive ‘quantitative’ versions of the original Gowers Combinatorial Lemma and of Gowers's Dichotomy, which place them in the context of the recently introduced infinite dimensional asymptotic theory for Banach spaces.

This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, (...) and infinitary logics to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)

Many weaknesses of game theory are cured by new models that embody simple cognitive principles, while maintaining the formalism and generality that makes game theory useful. Social preference models can generate team reasoning by combining reciprocation and correlated equilibrium. Models of limited iterated thinking explain data better than equilibrium models do; and they self-repair problems of implausibility and multiplicity of equilibria.

The multilinear extension of a cooperative game was introduced by Owen in 1972. In this contribution we study the Lovász extension for cooperative games by using the marginal worth vectors and the dividends. First, we prove a formula for the marginal worth vectors with respect to compatible orderings. Next, we consider the direct market generated by a game. This model of utility function, proposed by Shapley and Shubik in 1969, is the concave biconjugate extension of the game. (...) Then we obtain the following characterization: The utility function of a market game is the Lovász extension of the game if and only if the market game is supermodular. Finally, we present some preliminary problems about the relationship between cooperative games and combinatorial optimization. (shrink)

We will give a two-sort system which axiomatizes winning strategies for the combinatorial game Node Kayles. It is shown that our system captures alternating polynomial time reasonings in the sense that the provably total functions of the theory corresponds to those computable in APTIME. We will also show that our system is equivalently axiomatized by Sprague–Grundy theorem which states that any Node Kayles position is provably equivalent to some NIM heap.

Wright’s chapter outlines how Lacan’s early engagement with cybernetics and game theory informed his psychoanalytic theory of causality. At times, Lacan seems close to a posthumanism avant la lettre in his emphasis on the machinic or combinatorial aspects of the psyche. However, through a Lacanian interpretation of Duncan Jones’ Sci-fi film Source Code —in which the main character’s cyborg status allows for an exploration of posthuman themes—Wright argues that Lacan stresses the temporality of desire and the (...) act in human subjectivity, rather than machinic repetition. In this way, Lacan’s theory of causality contributes to a critical posthumanism attuned to the fantasies that animate both celebratory and dystopian transhumanism. (shrink)

Games are played everywhere: from economics and online auctions to social interactions, and game theory is about how to play such games in a rational way, and how to maximize their outcomes. This VSI reveals, without mathematical equations, the insights the theory can bring to everything from how to play poker optimally to the sex ratio among bees.

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)

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)

This short paper begins with a summary of the views of a sympathetic game theorist on the current state of play in what is still called the New Institutional Economics. It continues with a much abbreviated summary of my own attempts to treat justice as a kind of institution in the hope that this will serve as a case study in how game theory can serve as a useful intellectual framework for the study of human institutions.

I discuss how simulating another agent can be useful in some game-theoretical situations, particularly iterated games such as the centipede game.

Originally used to decipher the 1950s nuclear stalemate, the “Prisoner’s Dilemma” might reveal how resources are unfairly distributed today.

Over the past two decades, academic economics has undergone a mild revolution in methodology. The language, concepts and techniques of noncooperative game theory have become central to the discipline. This book provides the reader with some basic concepts from noncooperative theory, and then goes on to explore the strengths, weaknesses, and future of the theory as a tool of economic modelling and analysis. The central theses are that noncooperative game theory has been a remarkably (...) popular tool in economics over the past decade because it allows analysts to capture essential features of dynamic competition and competition where some parties have proprietary information. The theory is weakest in providing a sense of when it - and equilibrium analysis in particular - can be applied and what to do when equilibrium analysis is inappropriate. Many of these weaknesses can be addressed by the consideration of individuals who are boundedly rational and learn imperfectly from the past. Written in a non-technical style and working by analogy, the book, first given as part of the Clarendon Lectures in Economics, is readily accessible to a broad audience and will be of interest to economists and students alike. Knowledge of game theory is not required as the concepts are developed as the book progresses. (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)

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)

Interdisciplinary research is becoming more and more popular. Many funding bodies encourage interdisciplinarity, as a criterion that promises scientific progress. Traditionally this has been linked to the idea of integrating or unifying disciplines. Using evolutionary game theory as a case study, Till Grüne-Yanoff (2016) argued that there is no such necessary link between interdisciplinary success and integration. Contrary to this, this paper argues that evolutionary game theory is a genuine case of successful integration between economics and (...) biology, shedding lights on the many dimensions along which integration can take place. (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)

In its classical conception, game theory aspires to be a determinate decision theory for games, understood as elements of a structurally specified domain. Its aim is to determine for each game in the domain a complete solution to each player's decision problem, a solution valid for all real-world instantiations, regardless of context. "Permissiveness" would constrain the theory to designate as admissible for a player any conjecture consistent with the function's designation of admissible strategies for the (...) other players. Given permissiveness and other appropriate constraints, solution sets must contain only Nash equilibria and at least one pure-strategy equilibrium, and there is no solution to games in which no symmetry invariant set of pure-strategy equilibria forms a Cartesian product. These results imply that the classical program is unrealizable. Moreover, the program is implicitly committed to permissiveness, through its common-knowledge assumptions and its commitment to equilibrium. The resulting incoherence deeply undermines the classical conception in a way that consolidates a long series of contextualist criticisms. (shrink)

A feature of David Lewis's account of conventions in his book "Convention" which has received admiring notices from philosophers is his use of the mathematical theory of games. In this paper I point out a number of serious flaws in Lewis's use of game theory. Lewis's basic claim is that conventions cover 'coordination problems'. I show that game-Theoretical analysis tends to establish that coordination problems in Lewis's sense need not underlie conventions.

Game theory is a branch of mathematics that studies strategic interactions, i.e., interactions which involve more than one agent and in which each agent makes her/his decision while striving to predict the decisions of other agents. Game theory has been successfully applied in many areas of both the natural and social sciences, and it is the belief of this book's author that it can also be gainfully invoked in the area of legal philosophy. In this book, (...) Wojciech Zaluski analyzes legal-philosophical concepts - such as legal interpretation, justice, legal rights, contract law, tort law, and property law - through the lens of game theory. The book appeals mainly to game theory's conceptual rather than the technical side, and intertwines game-theoretical analysis with the philosophical. It will be accessible to a wider circle of readers interested in legal and moral philosophy. (shrink)

In the last few decades game theory has emerged as a powerful tool for examining a broad range of philosophical issues. It is unsurprising, then, that game theory has been taken up as a tool to examine issues in the philosophy of religion. Economist Steven Brams (1982), (1983) and (2007), for example, has given a game theoretic analysis of belief in God, his main argument first published in this journal and then again in both editions (...) of his book, Superior Beings. I have two main aims in this paper, one specific and one general. My specific aim is to show that Brams’ application of game theory to examine belief in God is, in particular, deeply flawed in two respects. My general aim is to show that any game-theoretic model in which a human being and God are players can only succeed at the cost of abandoning the assumption that God is omnibenevolent. (shrink)

David Hume’s Treatise on Human Nature famously fell `deadborn from the press’ because it was too far ahead of its time. Basu’s book is one of a number published in recent years that suggest we are at last ready to put its precepts into action.1 Modern game theory provides a framework that makes Hume’s insights genuinely applicable, and I totally agree with Basu that this is not only the right way forward, but that it now looks increasingly likely (...) that this is the road that wil actualy be folowed ± not only in political economy, but across the board in the social sciences. (shrink)

Whereas many environmentalists have traditionally argued in favour of small‐scale, decentralised communities as a solution to the environmental crises which we appear to face, some environmental political theorists have recently argued against decentralisation. In this article I first show that game theory seems, at first glance, to support the insistence by statists that decentralisation is highly impracticable. But, second, I then attempt to demonstrate that, on closer inspection, game theory actually provides considerable support for the decentralist (...) case. (shrink)

We develop an analysis of discourse anaphora—the relationship between a pronoun and an antecedent earlier in the discourse —using games of partial information. The analysis is extended to include information from a variety of different sources, including lexical semantics, contrastive stress, grammatical relations, and decision theoretic aspects of the context.

Game theory based on rational choice is compared with game theory based on evolutionary, or other adaptive, dynamics. The Nash equilibrium concept has a central role to play in both theories, even though one makes extremely strong assumptions about cognitive capacities and common knowledge of the players, and the other does not. Nevertheless, there are also important differences between the two theories. These differences are illustrated in a number of games that model types of interaction that (...) are key ingredients for any theory of the social contract. (shrink)

The prelims comprise: Strategic Interaction Nash Equilibrium Normal‐form Refinements Games in Extensive Form Extensive‐form Refinements Selection by Evolution Notes.

The paper begins by providing a game-theoretic reconstruction of Gilbert’s (1989) philosophical critique of Lewis (1969) on the role of salience in selecting conventions. Gilbert’s insight is reformulated thus: Nash equilibrium is insufficiently powerful as a solution concept to rationalize conventions for unboundedly rational agents if conventions are solutions to the kinds of games Lewis supposes. Both refinements to NE and appeals to bounded rationality can plug this gap, but lack generality. As Binmore (this issue) argues, evolutive game (...) theory readily explains the origin of conventional behavior, but that is not Lewis’s project. Gilbert’s critique is generalized by reference to Bacharach’s (2006) work on team reasoning in games. The paper then argues that although Lewis’s account of the rationalization of conventions is shown by the reconstruction of Gilbert’s critique to be incomplete, Gilbert is wrong to conclude that classical (‘eductive’) game theory lacks the resources to explain conformity to conventions among people. A game-theoretic account of the dynamics of socialization, based on Ross’s (2005, 2006) idea of ‘game determination’, rationalizes choices of conventional strategies in overlapping generations contexts, provided agents are products of evolutionary selection and know that other players are also such products. (shrink)

Game theory is the systematic study of interdependent rational choice. It should be distinguished from decision theory, the systematic study of individual (practical and epistemic) choice in parametric contexts (i.e., where the agent is choosing or deliberating independently of other agents). Decision theory has several applications to ethics (see Dreier 2004; Mele and Rawlings 2004). Game theory may be used to explain, to predict, and to evaluate human behavior in contexts where the outcome of (...) action depends on what several agents choose to do and where their choices depend on what others choose to do. (See the entry on game theory) Game theory consequently is relevant to ethics, and it is used in moral and political philosophy in a variety of ways. We shall concentrate on the influence and use of game theory in ethics and those parts of political theory involving norms or principles of justice, ignoring questions about political and legal institutions on the one hand and questions about issues dealing with moral virtues on the other. (shrink)

Game theory is a mathematical theory of strategic interactions between rational agents. With much success, it has been widely applied in various areas of the social sciences, especially economics and sociology. However, it has been relatively and rarely used in the analyses pursued in legal theory and legal dogmatics. The present collection fills this gap and discusses game theory as a useful tool for legal scholars in solving the various problems of legal philosophy or (...) legal dogmatics. It also includes two skeptical voices regarding the applicability of game theory in legal analysis. The book will be useful for scholars in the field of legal theory, as well as for philosophers and economists. (shrink)

Fifty years ago, two Princeton professors established game theory as an important new branch of applied mathematics. Gametheory has become a celebrated discipline in its own right, and it now plays a prestigious role in many disciplines, including ethics,due in particular to the neo-Hobbesian thinking of David Gauthier and others. Now it is perched at the edge of business ethics. I believethat it is dangerous and demeaning. It makes us look the wrong way at business, reinforcing a destructive (...) obsession with measurableoutcomes and a false sense of competition. It falsely characterizes or insidiously advocates a style of human behavior that is utterlyunacceptable. To put the matter quite crudely, a person who actually practiced the form of "rationality" advocated by game theory wouldbe something of a monster. (shrink)

The answer in a nutshell is: Yes, five years ago, but nobody has noticed. Nobody noticed because the majority of social scientists subscribe to one of the following views: (1) the ‘anomalous’ behaviour observed in standard prisoner’s dilemma or ultimatum game experiments has refuted standard game theory a long time ago; (2) game theory is flexible enough to accommodate any observed choices by ‘refining’ players’ preferences; or (3) it is just a piece of pure mathematics (...) (a tautology). None of these views is correct. This paper defends the view that GT as commonly understood is not a tautology, that it suffers from important (albeit very recently discovered) empirical anomalies, and that it is not flexible enough to accommodate all the anomalies in its theoretical framework. It also discusses the experiments that finally refuted game theory, and concludes trying to explain why it took so long for experimental game theorists to design experiments that could adequately test the theory. (shrink)

In this article, I critically respond to Herbert Gintis's criticisms of the behavioral-economic foundations of Ken Binmore 's game-theoretic theory of justice. Gintis, I argue, fails to take full account of the normative requirements Binmore sets for his account, and also ignores what I call the ‘scale-relativity’ considerations built into Binmore 's approach to modeling human evolution. Paul Seabright's criticism of Binmore, I note, repeats these oversights. In the course of answering Gintis's and Seabright's objections, I clarify and (...) extend Binmore 's theory in a number of respects, integrating it with Kim Sterelny's and Don Ross's recent work on the evolution of people as cultural entities. The account also yields a novel basis for choosing between socialism and what Binmore calls ‘whiggery’ as normative political programs. Key Words: theory of justice • bargaining theory • evolutionary game theory • human evolution • Ken Binmore • Herbert Gintis • Kim Sterelny. (shrink)

Peter Vanderschraaf. Game Theory, Evolution and Justice.

Rational choice theory enjoys unprecedented popularity and influence in the behavioral and social sciences, but it generates intractable problems when applied to socially interactive decisions. In individual decisions, instrumental rationality is defined in terms of expected utility maximization. This becomes problematic in interactive decisions, when individuals have only partial control over the outcomes, because expected utility maximization is undefined in the absence of assumptions about how the other participants will behave. Game theory therefore incorporates not only rationality (...) but also common knowledge assumptions, enabling players to anticipate their co-players' strategies. Under these assumptions, disparate anomalies emerge. Instrumental rationality, conventionally interpreted, fails to explain intuitively obvious features of human interaction, yields predictions starkly at variance with experimental findings, and breaks down completely in certain cases. In particular, focal point selection in pure coordination games is inexplicable, though it is easily achieved in practice; the intuitively compelling payoff-dominance principle lacks rational justification; rationality in social dilemmas is self-defeating; a key solution concept for cooperative coalition games is frequently inapplicable; and rational choice in certain sequential games generates contradictions. In experiments, human players behave more cooperatively and receive higher payoffs than strict rationality would permit. Orthodox conceptions of rationality are evidently internally deficient and inadequate for explaining human interaction. Psychological game theory, based on nonstandard assumptions, is required to solve these problems, and some suggestions along these lines have already been put forward. Key Words: backward induction; Centipede game; common knowledge; cooperation; epistemic reasoning; game theory; payoff dominance; pure coordination game; rational choice theory; social dilemma. (shrink)

Fifty years ago, two Princeton professors established game theory as an important new branch of applied mathematics. Game theory has become a celebrated discipline in its own right, and it npw plays a prestigues role in many disciplines, including ethics, due in particular to the neo-Hobbesian thinking of David Gauthier and others. Now it is perched at the edge of business ethics. I believe that it is dangerous and demeaning. It makes us look the wrong way (...) at business, reinforcing a destructive obsession with measurable outcomes and a false sense of competition. It falsely characterizes or insidiously advocates a style of human behavior that is utterly unacceptable. To put the matter quite crudely, a person who actually practiced the form of "rationality" advocated by game theory would be something of a monster. (shrink)