Leibniz's famous proposition that God has created the best of all possible worlds holds a significant place in his philosophical system. However, the precise manner in which God determines which world is the best remains somewhat ambiguous. Leibniz suggests that a form of "Divine mathematics" is employed to construct and evaluate possible worlds. In this paper, I uncover the underlying mechanics of Divine mathematics by formally reconstructing it. I argue that Divine mathematics is a one-player combinatorial game, in (...) which God's goal is to find the best combination among many possibilities. Drawing on the combinatorial theory, I provide new solutions to some puzzles of compossibility. (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)

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)

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)

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)

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)

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.

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)

Let \(2 (...) It is shown that \(\mathbf{K_n}\) is not finitely axiomatizable and that it coincides with the class of atomic algebras in the elementary closure of \(\mathbf{S_c}{\sf Nr}_n{\sf CA}_{\omega}\) where \(\mathbf{S_c}\) is the operation of forming complete subalgebras. For any class \(\mathbf{L}\) such that \({\sf At}{\sf Nr}_n{\sf CA}_{\omega}\subseteq \mathbf{L}\subseteq {\sf At}\mathbf{K_n}\), it is proved that \({\bf SP}\mathfrak{Cm}\mathbf{L}={\sf RCA}_n\), where \({\sf Cm}\) is the dual operator to \(\sf At\); that of forming complex algebras. It is also shown that any class \(\mathbf{K}\) between \({\sf CRCA}_n\cap \mathbf{S_d}{\sf Nr}_n{\sf CA}_{\omega}\) and \(\mathbf{S_c}{\sf Nr}_n{\sf CA}_{n+3}\) is not first order definable, where \(\mathbf{S_d}\) is the operation of forming dense subalgebras, and that for any \(2shrink)

The prelims comprise: Introduction Time and Space in Computation Hierarchies and Reducibility NP‐completeness and Beyond Parallel Computation Complexity and Philosophy.

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

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.

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)

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)

It is widely believed that experimental results of behavioral game theory undermine standard economic and game theory. This paper suggests that experimental results present serious theoretical modeling challenges, but do not undermine two pillars of contemporary economic theory: the rational actor model, which holds that individual choice can be modeled as maximization of an objective function subject to informational and material constraints, and the incentive compatibility requirement, which holds that macroeconomic quantities must be derived from (...) the interaction and aggregation of individual choices. However, we must abandon the notion that rationality implies self-regarding behavior and the assumption that contracts are costlessly enforced by third parties. (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.

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

This book represents a major contribution to game theory. It offers this conception of equilibrium in games: strategic equilibrium. This conception arises from a study of expected utility decision principles, which must be revised to take account of the evidence a choice provides concerning its outcome. The argument for these principles distinguishes reasons for action from incentives, and draws on contemporary analyses of counterfactual conditionals. The book also includes a procedure for identifying strategic equilibria in ideal normal-form games. (...) In synthesizing decision theory and game theory in a powerful way this book will be of particular interest to all philosophers concerned with decision theory and game theory as well as economists and other social scientists. (shrink)

Game theory studies the choices of two or more agents strategically interacting under various conditions. This paper examines two applications of omniscience in game theory. The first has to do with the paradox of altruism. The paradox of altruism results when players, by seeking to maximize the outcomes of other players, bring about inferior outcomes for all the players. Not surprisingly, an omniscient player could not find herself ensnarled in an altruistic paradox. The second application is (...) what Steven Brams has called the “paradox of omniscience”. The paradox of omniscience is the surprising proposition that omniscience disadvantages a player in certain games if her opponent knows that she is omniscient. Contrary to Brams, I argue that there is no resolution of the paradox of omniscience with regard to normal games. Indeed, I show that omniscience is not the only divine property that is a strategic liability in normal games. Omniscience then has a mixed standing in game theory—in some cases a strategic asset; in others, a strategic liability. (shrink)

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)

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)

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.

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)

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)

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)

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)

When von Neumann's and Morgenstern's Theory of Games and Economic Behavior appeared in 1944, one thought that a complete theory of strategic social behavior had appeared out of nowhere. However, game theory has, to this very day, remained a fast-growing assemblage of models which have gradually been united in a new social theory - a theory that is far from being completed even after recent advances in game theory, as evidenced by the (...) work of the three Nobel Prize winners, John F. Nash, John C. Harsanyi, and Reinhard Selten. Two of them, Harsanyi and Selten, have contributed important articles to the present volume. This book leaves no doubt that the game-theoretical models are on the right track to becoming a respectable new theory, just like the great theories of the twentieth century originated from formerly separate models which merged in the course of decades. For social scientists, the age of great discover ies is not over. The recent advances of today's game theory surpass by far the results of traditional game theory. For example, modem game theory has a new empirical and social foundation, namely, societal experiences; this has changed its methods, its "rationality. " Morgenstern (I worked together with him for four years) dreamed of an encompassing theory of social behavior. With the inclusion of the concept of evolution in mathematical form, this dream will become true. Perhaps the new foundation will even lead to a new name, "conflict theory" instead of "game theory. (shrink)

This is a brief historical note on game theory. We cover its historical roots (prior to its formal definition in 1944), and look at its development until the late 1960's.

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)

Peter Vanderschraaf. Game Theory, Evolution and Justice.

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)

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)

This paper provides an overview of developments in the application of game theory to moral philosophy. Game theory has been used in moral theory in three ways. First, as a tool to analyze the function of moral norms. Secondly, to characterize bargaining about moral norms. Thirdly, the paper demonstrates how game theory can make sense of the authority of moral norms in a way that renders the concept suitable for further analysis.

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

I resolve a previously unnoticed anomaly in the analysis of collective action problems. Some political theorists apply game theory to analyze the paradox of anarchy: War is apparently inevitable in anarchy even though all warring parties prefer peace over war. Others apply tipping threshold analysis to resolve the paradox of revolution: Joining a revolution is apparently always irrational even when an overwhelming majority of the population wish to replace their regime. The usual game theoretic analysis of anarchy (...) yields the conclusion that the suboptimal equilibrium of war is inevitable. The usual tipping threshold analysis of revolution yields the conclusion that the optimal equilibrium of successful revolution is possible. Yet structurally the collective action problems of anarchy and potential revolution are much the same. This suggests that tipping threshold analysis and game theory are incompatible methodologies, despite their widespread use in the social sciences. I argue that there is no real tension between game theory and tipping threshold analysis, even though these methodologies have developed largely independently of each other. I propose a Variable Belief Threshold model of collective action that combines elements of game theory and tipping threshold analysis. I show by example that one can use this kind of hybrid model to give compatible explanations of conflict in anarchy and successful revolution.1. Introduction2. Two Classic Problems, and Two Popular Analyses2.1. The paradox of anarchy2.2. The paradox of revolution3. Restating the Puzzle4. Evaluating the Prisoners’ Dilemma and S-Curve Models5. The Variable Belief Threshold ModelExample 5.1. A population of moderates with independent deviationsExample 5.2 A heterogeneous population with independent deviationsExample 5.3 A heterogeneous population with coordinated deviations6. ConclusionAppendix: Computer Simulations. (shrink)

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)

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

Economists interpret global environmental quality to be a pure public good. Each country should contribute to its provision. However, this is hard to achieve because each government is tempted to take a free ride on the other governments' efforts. Not only has this dilemma been analysed with game theoretical methods but game theory has also been used to think about how to make amends. This paper reviews the game theoretical discussion on how international policy frameworks may (...) be designed to improve the chances for international cooperation. It is also shown that the evaluation of alternative environmental policy instruments deviates from the standard environmental economics model if applied to the international arena. For the benefit of an interdisciplinary readership, the evolution of the debate on global environmental policy is related to the recent history of economic thought. This history is taken to be materialised in the writings of economics' Nobel Prize laureates. (shrink)

For more than twenty years, Peter Vanderschraaf’s work has combined rigorous game-theoretic analysis, innovative use of (social) scientific method, and normative analysis in the context of the social contract. Vanderschraaf’s work has influenced a significant interdisciplinary field of study and culminated in the publication of his book, Strategic Justice: Convention and Problems of Balancing Divergent Interests (OUP, 2019). Building upon his previous work, Vanderschraaf developed a new theory of justice (justice-as-convention) that, despite a mutual advantage approach, considers the (...) most vulnerable members of society and defends the egalitarian bargaining solution. To advance his theory, Vanderschraaf proposes an account of conventions that updates and systematizes David Lewis’s account of conventions, drawing on contemporary developments in game theory and economics. This topical collection brings together game theorists, philosophers, economists, and political scientists to discuss themes from Vanderschraaf’s work. The collection bridges a gap among disjoint but closely related literatures in game theory, bargaining theory, formal philosophy, rationality, equality, justice, and the social contract in order to advance dialogue among scholars in this rich and growing field of study. (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)

This informal position paper brings together some recent developments in formal semantics and pragmatics to argue that the discipline of Game Theory is well placed to become the theoretical backbone of Natural Language Generation. To demonstrate some of the strengths and weaknesses of the Game-Theoretical approach, we focus on the utility of vague expressions. More specifically, we ask what light Game Theory can shed on the question when an NLG system should generate vague language.

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.

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)