Salience reasoning, many have argued, can help solve coordination problems, but only if such reasoning is supplemented by higher-order predictions, e.g. beliefs about what others believe yet others will choose. In this paper, I will argue that this line of reasoning is self-undermining. Higher-order behavioral predictions defeat salience-based behavioral predictions. To anchor my argument in the philosophical literature, I will develop it in response and opposition to the popular Lewisian model of salience reasoning in coordination games. This model (...) imports the problematic higher-order beliefs by way of a ‘symmetric reasoning’ constraint. In the second part of this paper, I will argue that a player may employ salience reasoning only if she suspends judgment about what others believe yet others will do. (shrink)

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)

Counterpossibles, counterfactuals conditional with impossible antecedents, are notoriously contested; while the standard view makes them trivially true, some authors argue that they can be non-trivially true. In this paper, I examine the use of counterfactuals in the context of games, and argue that there is a case to be made for their non-triviality in a restricted sense. In particular, I examine the case of retro problems in chess, where it can happen that one is tasked with evaluating counterfactuals about illegal (...) positions. If we understand illegality as a type of restricted impossibility, those counterfactuals are non-trivial counterpossibles. I suggest that their non-triviality stems from their role in practices of rule coordination and revision, and suggest that this model could be generalized to counterpossibles in different domains. I then compare the approach to the accounts of Vetter 2016 and Locke 2019. (shrink)

Climate negotiations under the United Nations Framework Convention on Climate Change have so far failed to achieve a robust international agreement to reduce greenhouse gas emissions. Game theory has been used to investigate possible climate negotiation solutions and strategies for accomplishing them. Negotiations have been primarily modelled as public goods games such as the Prisoner’s Dilemma, though coordination games or games of conflict have also been used. Many of these models have solutions, in the form of equilibria, corresponding (...) to possible positive outcomes—that is, agreements with the requisite emissions reduction commitments. Other work on large-scale social dilemmas suggests that it should be possible to resolve the climate problem. It therefore seems that equilibrium selection may be a barrier to successful negotiations. Here we use an N-player bargaining game in an agent-based model with learning dynamics to examine the past failures of and future prospects for a robust international climate agreement. The model suggests reasons why the desirable solutions identified in previous game-theoretic models have not yet been accomplished in practice and what mechanisms might be used to achieve these solutions. (shrink)

A predicate of personal taste occurring in a sentence in which the perspectival information is not linguistically articulated by an experiencer phrase may have two different readings. In case the speaker of a bare sentence formed with a predicate of personal taste uses the subjective predicate encoding perspectival information in one way and the hearer interprets it in another way, the agents’ acts are not coordinated. In this paper I offer an answer to the question of how a hearer can (...) strategically interact with a speaker on the intended perspectival information so that both agents can optimally solve their coordination problem. In this sense, I offer a game-theoretical account of the strategic communication with expressions referring to agents’ perspectives, communication which involves the interaction between a speaker who intends to convey some perspectival information and who chooses to utter a bare sentence formed with a predicate of personal taste, instead of a sentence in which the perspectival information is linguistically articulated by an experiencer phrase, and a hearer who has to choose between interpreting the uttered sentence in conformity with the speaker’s autocentric use of the predicate of personal taste or in conformity with the speaker’s exocentric use. (shrink)

A particular problem of traditional Rational Choice Theory is that it cannot explain equilibrium selection in simple coordination games. In this paper we analyze and discuss the solution concept for common coordination problems as incorporated in the theory of Team Reasoning (TR). Special consideration is given to TR’s concept of opportunistic choice and to the resulting restrictions in using private information. We report results from a laboratory experiment in which teams were given a chance to coordinate on a (...) particular pattern of behavior in a sequence of HiLo games. A modification of the stage game offered opportunities to improve on the team goal through changing this accustomed pattern of behavior. Our observations throw considerable doubt on the idea of opportunistic team reasoning as a guide to coordination. Contrary to what TR would predict, individuals tend to stick to accustomed behavioral patterns. Moreover, we find that individual decisions are at least partly determined by private information not accessible to all members of a team. Alternative theories of choice, in particular cognitive hierarchy theory may be more suitable to explain the observed pattern of behavior. (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)

Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents (...) move simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

Orang-utans played a communication game in two studies testing their ability to produce and comprehend requestive pointing. While the ‘communicator’ could see but not obtain hidden food, the ‘donor’ could release the food to the communicator, but could not see its location for herself. They could coordinate successfully if the communicator pointed to the food, and if the donor comprehended his communicative goal and responded pro-socially. In Study 1, one orang-utan pointed regularly and accurately for peers. However, they responded (...) only rarely. In Study 2, a human experimenter played the communicator’s role in three conditions, testing the apes’ comprehension of points of different heights and different degrees of ostension. There was no effect of condition. However, across conditions one donor performed well individually, and as a group orang-utans’ comprehension performance tended towards significance. We explain this on the grounds that comprehension required inferences that they found difficult – but not impossible. The finding has valuable implications for our thinking about the development of pointing in phylogeny. (shrink)

Influential thinkers such as Young, Sugden, Binmore, and Skyrms have developed game-theoretic accounts of the emergence, persistence and evolution of social contracts. Social contracts are sets of commonly understood rules that govern cooperative social interaction within societies. These naturalistic accounts provide us with valuable and important insights into the foundations of human societies. However, current naturalistic theories focus mainly on how social contracts solve coordination problems in which the interests of the individual participants are aligned, not competition problems (...) in which individual interests compete with group interests. In response, I set out to build on those theories and provide a comprehensive naturalistic account of the emergence, persistence and evolution of social contracts. My central claim is that social contracts have culturally evolved to solve cooperation problems, which include both coordination and competition problems. I argue that solutions to coordination problems emerge from “within-group” dynamics, while solutions to competition problems result largely from “between-group” dynamics. (shrink)

The chapter reviews recent theoretical and empirical developments concerning the theory of team reasoning in game theoretic interactions.

Institutions can be strong or weak. But what does this mean? Equilibrium theories equate institutions with behavioural regularities. In contrast, rule theories explicate them in terms of a standard that people are supposed to meet. I propose that, when an institution is weak, a discrepancy exists between the regularity and the standard or rule. To capture this discrepancy, I present a hybrid theory, the Rules-and-Equilibria Theory. According to this theory, institutions are rule-governed behavioural regularities. The Rules-and-Equilibria Theory provides the basis (...) for two measures of institutional strength. First, institutions that pertain to coordination games solve problems of information. Their strength is primarily a matter of the expected degree of compliance. Second, institutions that concern mixed-motive games solve problems of motivation. Their strength can be measured in terms of the weight people attribute to its rule. (shrink)

In order to fulfil their essential roles as the bearers of truth and the relata of logical relations, propositions must be public and shareable. That requirement has favoured Platonist and other nonmental views of them, despite the well-known problems of Platonism in general. Views that propositions are mental entities have correspondingly fallen out of favour, as they have difficulty in explaining how propositions could have shareable, objective properties. We revive a mentalist view of propositions, inspired by Artificial Intelligence work on (...) perceptual algorithms, which shows how perception causes persistent mental entities with shareable properties that allow them to fulfil the traditional roles of (one core kind of) propositions. The clustering algorithms implemented in perception produce outputs which are (implicit) atomic propositions in different minds. Coordination of them across minds proceeds by game-theoretic processes of communication. The account does not rely on any unexplained notions such as mental content, representation, or correspondence (although those notions are applicable in philosophical analysis of the result). (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)

T. M. Scanlon suggests that the binding nature of promises itself plays a role in allowing a promisee rationally to expect follow through even while that binding nature itself depends on the promisee’s rational expectation of follow through. Kolodny and Wallace object that this makes the account viciously circular. The chapter defends Scanlon’s theory from this objection. It argues that the basic complaint is a form of wrong kinds of reason objection. The thought is that the promisee’s reason to expect (...) compliance are undermined if the promise is binding only when the promisee forms that very expectation. The chapter suggests that other uncontroversially rational processes of multi-person coordination involve beliefs with the very same feature. Focal point reasoning in the theory of games is one example. In coordination situations it can be rational to believe that another person will do something precisely because that person expects you to believe what one does about what they’ll do. An examination of the reasoning in such cases motivates a group reflection principle that vindicates the reasoning employed in Scanlon’s account. -/- . (shrink)

Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model check- ing, and formal approaches to cooperation, multi-agent planning, communication, (...) coordination, negotiation, games, and reasoning under uncertainty in a distributed environment. In 2007, the third FAMAS workshop, FAMAS'007, was one of the agent workshops gathered together under the umbrella of Multi-Agent Logics, Languages, and Organ- isations - Federated Workshops, MALLOW'007, taking place from 3 to 7 September 2007 in Durham. This current special issue of the Logic Journal of the IGPL gathers together the revised and updated versions of the five best FAMAS'007 contributions. (shrink)

Republicans hold that people are dominated merely in virtue of others' having unconstrained abilities to frustrate their choices. They argue further that public officials may dominate citizens unless subject to popular control. Critics identify a dilemma. To maintain the possibility of popular control, republicans must attribute to the people an ability to control public officials merely in virtue of the possibility that they might coordinate their actions. But if the possibility of coordination suffices for attributing abilities to groups, then, (...) even in the best case, countless groups will be dominating because it will be possible for their members to coordinate their actions with the aim of frustrating others' choices. We argue the dilemma is apparent only. To make our argument, we present a novel interpretation of the republican concept of domination with the help of a game-theoretic model that clarifies the significance of collective action problems for republican theory. (shrink)

Research in multi-agent systems typically assumes a regulative model of social practice. This model starts with agents who are already capable of acting autonomously to further their individual ends. A social practice, according to this view, is a way of achieving coordination between multiple agents by restricting the set of actions available. For example, in a world containing cars but no driving regulations, agents are free to drive on either side of the road. To prevent collisions, we introduce driving (...) regulations, insisting that everyone drives on the left hand side of the road. We accept this limitation on our freedom because it lowers the probability of a collision. -/- This paper describes AI systems that are based on the constitutive view of social practice. According to this alternative view, there are certain actions that are only available to the agent because he is participating in a practice of a certain sort. For example, you can swing a peculiarly shaped piece of wood without participating in any particular practice - but this action will only constitute a strike if you are participating in a game of baseball. I can raise my hand whenever I like, but this only counts as voting for the motion within the institution of voting. But not all the examples are from frivolous, optional or institutional activities. Sellars and Brandom argue that even the fundamental act of assertion is only possible within the context of a particular social practice: the Game of Giving and Asking for Reasons. -/- The constitutive view, which is familiar to philosophers, is relatively unknown within the AI community. -/- The central aim of this paper is to show how the constitutive view of practice can be put to use in AI applications. (shrink)

This thesis argues for the fundamental importance of the opposition between holistic and reductionistic world-views in economics. Both reductionism and holism may nevertheless underpin laissez-faire policy prescriptions. Scrutiny of the nature of the articulation between micro and macro levels in the writings of economists suggests that invisible hand theories play a key role in reconciling reductionist policy prescriptions with a holistic world. An examination of the prisoners' dilemma in game theory and Arrow's impossibility theorem in social choice theory sets (...) the scene. The prisoners' dilemma epitomises the collective irrationality coordination problems lead to. The source of the dilemma is identified as the combination of interdependence in content and independence in form of the decision making process. Arrovian impossibility has been perceived as challenging traditional views of the relationship between micro and macro levels in economics. Conservative arguments against the possibility in principle of a social welfare function are criticised here as depending on an illicit dualism. The thesis then reviews the standpoints of Smith, Hayek and Keynes. For Smith, the social desirability of individual self-seeking activity is ensured by the 'invisible hand' of a god who has moulded us so to behave, that the quantity of happiness in the world is always maximised. Hayek seeks to re-establish the invisible hand in a secular age, replacing the agency of a deity with an evolutionary mechanism. Hayek's evolutionary theory, criticised here as being based on the exploded notion of group selection, cannot underpin the desirability of spontaneous outcomes. I conclude by arguing that Keynes shares the holistic approach of Smith and Hayek, but without their reliance on invisible hand mechanisms. If spontaneous processes cannot be relied upon to generate desirable social outcomes then we have to take responsibility for achieving this ourselves by establishing the appropriate institutional framework to eliminate macroeconomic prisoners' dilemmas. (shrink)

This chapter discusses different perspectives and trends in social decision making, especially the actual processes used by humans when they make decisions in their everyday lives or in business situations. The chapter uses cognitive psychological techniques to break down these processes and set them in their social context. Most of our decisions are made in a social context and are therefore influenced by other people. If you are at an auction and bidding on a popular item, you will try to (...) guess how long the others will keep in the bidding race. Likewise, when you and another person have to coordinate your decision to win a card game you will also try to think about what the other person know and what s/he will do, so you can adjust your choice. In other words, you are trying to come up with a model of the person and his decision-making process. This involves the capability to think about the thoughts and intentions of others, to put yourself in another person's shoes (perspective taking), and to think recursively about your and another person's over several steps (like in a game of chess). Especially, recursive social reasoning is one of the hallmarks of social decision-making. Whereas observational, competitive and cooperative decision-making can all be seen as trying to maximize the own reward or profit, altruistic decision-making blatantly violates this axiomatic principle of behavioral economics. Yet, altruistic behavior is quite common throughout human society. -/- . (shrink)

Collective action is interpreted as a matter of people doing something together, and it is assumed that this involves their having a collective intention to do that thing together. The account of collective intention for which the author has argued elsewhere is presented. In terms that are explained, the parties are jointly committed to intend as a body that such-and-such. Collective action problems in the sense of rational choice theory—problems such as the various forms of coordination problem and the (...) prisoner’s dilemma—are then considered. An explanation is given of how, when such a problem is interpreted in terms of the parties’ inclinations, a suitable collective intention resolves the problem for agents who are rational in a broad sense other than the technical sense of game theory. Key Words: rationality • collective action • collective intention • joint commitment. (shrink)

The idea of a responsible cosmopolitan state (RCS) represents a recent attempt to reconcile the utopianism of cosmopolitan political theory and the practical constraints arising from the current realities of politics among territorial and largely self-interested states. I show in the chapter that the neorealist and/or geopolitical challenge rests on a misconception about what cosmopolitanism is meant to provide, because immediate practical advice is only a part of what normative political theory may bring to the table. Besides the notion of (...) self-interest which can be interpreted in different ways, it is mainly the action-modifying role of norms (especially international/supranational law) which may gradually change the game. Since the sustenance of state capacities is often preconditioned by events which take place beyond state borders, shared rules of conduct allow for more effective coordination in cases where collective action is required. Although the idea of a RCS primarily targets foreign policy priorities of smaller/weaker states (not-great-powers), it may turn out that collective action problems arising from empirical realities of the 21st century increasingly put great powers under pressure to accept such self-imposed constraints and comply with them. In the final part of the paper, however, I explain why this ‘cosmopolitan optimism’ needs to be aware of its own limitations, singling out the problems of internal motivation of actors in world politics and the deeper meaning of sovereignty which precludes an easy switch to the language of dispersed, pooled, or relational sovereignty. I conclude by arguing that if we are to take cosmopolitan ideals seriously, the RCS most likely represents a transitional stage on the route towards a centralised global political authority. (shrink)

The objective of this paper is to supplement Gottlieb’s challenge to Dryfus who claims that concepts are not operative in expert’s unreflective actions. First, concepts that an agent develops over time with practice, starting from the stage of novelty, become deeply rooted and persist through his expertise stage, according to common sense. It is unlikely that such rooted concepts become inoperative just when it is time for the agent to put them to use during the time that he is in (...) the zone (i.e., in flow). Second, an expert's inability to remember reasons behind his actions while he is in the zone is insufficient to prove that concepts are inoperative when he is acting in the zone. For an agent to not remember reasons as such could more likely be a consequence of the adequacy of his minimized reflections on his maximized (i.e. expert level) concepts, while he is in such a state. Moreover, not recalling every reason behind every step of an agent’s actions in the zone could be a consequence of his maximum concentration on successful processing and coordination of the task at hand, as opposed to committing his finite mental capacities to memorizing the reasons behind his step-by-step actions when he is performing an expert level action in the zone. Third, I point out to the prevalence of examples when experts or observers provide testimony about use of concepts to strategize or review actions before, during, and after their ‘in the zone’ actions (e.g., review of video replays of a game or a tournament on sports channels), which supports the operations and conceptuality of unreflective actions in flow. (shrink)

Games occupy a unique and valuable place in our lives. Game designers do not simply create worlds; they design temporary selves. Game designers set what our motivations are in the game and what our abilities will be. Thus: games are the art form of agency. By working in the artistic medium of agency, games can offer a distinctive aesthetic value. They support aesthetic experiences of deciding and doing. -/- And the fact that we play games shows something (...) remarkable about us. Our agency is more fluid than we might have thought. In playing a game, we take on temporary ends; we submerge ourselves temporarily in an alternate agency. Games turn out to be a vessel for communicating different modes of agency, for writing them down and storing them. Games create an archive of agencies. And playing games is how we familiarize ourselves with different modes of agency, which helps us develop our capacity to fluidly change our own style of agency. (shrink)

This is my reply to commentators in the symposium on my book, GAMES: AGENCY AS ART. The symposium features commentary by Thomas Hurka, Quill Kukla, and Alva Noe, and originally appeared in Analysis 81 (2).

Games may seem like a waste of time, where we struggle under artificial rules for arbitrary goals. The author suggests that the rules and goals of games are not arbitrary at all. They are a way of specifying particular modes of agency. This is what make games a distinctive art form. Game designers designate goals and abilities for the player; they shape the agential skeleton which the player will inhabit during the game. Game designers work in the (...) medium of agency. Game-playing, then, illuminates a distinctive human capacity. We can take on ends temporarily for the sake of the experience of pursuing them. Game play shows that our agency is significantly more modular and more fluid than we might have thought. It also demonstrates our capacity to take on an inverted motivational structure. Sometimes we can take on an end for the sake of the activity of pursuing that end. (shrink)

From playing basketball to ordering at a food counter, we frequently and effortlessly coordinate our attention with others towards a common focus: we look at the ball, or point at a piece of cake. This non-verbal coordination of attention plays a fundamental role in our social lives: it ensures that we refer to the same object, develop a shared language, understand each other’s mental states, and coordinate our actions. Models of joint attention generally attribute this accomplishment to gaze (...) class='Hi'>coordination. But are visual attentional mechanisms sufficient to achieve joint attention, in all cases? Besides cases where visual information is missing, we show how combining it with other senses can be helpful, and even necessary to certain uses of joint attention. We explain the two ways in which non-visual cues contribute to joint attention: either as enhancers, when they complement gaze and pointing gestures in order to coordinate joint attention on visible objects, or as modality pointers, when joint attention needs to be shifted away from the whole object to one of its properties, say weight or texture. This multisensory approach to joint attention has important implications for social robotics, clinical diagnostics, pedagogy and theoretical debates on the construction of a shared world. (shrink)

The paper has a twofold aim. On the one hand, it provides what appears to be the first game-theoretic modeling of Napoleon’s last campaign, which ended dramatically on 18 June 1815 at Waterloo. It is specifically concerned with the decision Napoleon made on 17 June 1815 to detach part of his army against the Prussians he had defeated, though not destroyed, on 16 June at Ligny. Military historians agree that this decision was crucial but disagree about whether it was (...) rational. Hypothesizing a zero-sum game between Napoleon and Blücher, and computing its solution, we show that it could have been a cautious strategy on the former's part to divide his army, a conclusion which runs counter to the charges of misjudgement commonly heard since Clausewitz. On the other hand, the paper addresses methodological issues. We defend its case study against the objections of irrelevance that have been raised elsewhere against “analytic narratives”, and conclude that military campaigns provide an opportunity for successful application of the formal theories of rational choice. Generalizing the argument, we finally investigate the conflict between narrative accounts – the historians' standard mode of expression – and mathematical modeling. (shrink)

Persons with aphasia suffer from a loss of communication ability as a consequence of a brain injury. A small strand of research indicates effec- tiveness of dialogic interventions for communication development for persons with aphasia, but a vast amount of research studies shows its effectiveness for other target groups. In this paper, we describe the main parts of the hitherto technological development of an application named Dialogica that is (i) aimed at facilitating increased communicative participation in dialogic settings for persons (...) with aphasia and other communication disorders, (ii) based on comput- er game technology as well as on theory in dialogic education and argumenta- tion theory, and (iii) designed for mobile devices with larger screens. (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)

Godfrey-Smith advocates for linking deception in sender-receiver games to the existence of undermining signals. I present games in which deceptive signals can be arbitrarily frequent, without this undermining information transfer between sender and receiver.

In this dissertation, I present a novel account of the components that have a peculiar epistemic role in our scientific inquiries, since they contribute to establishing a form of coordination. The issue of coordination is a classic epistemic problem concerning how we justify our use of abstract conceptual tools to represent concrete phenomena. For instance, how could we get to represent universal gravitation as a mathematical formula or temperature by means of a numerical scale? This problem is particularly (...) pressing when justification for using these abstract tools comes, in part or entirely, from knowledge which is not independent from them, thus leading to threats of circularity. Achieving coordination between some abstract conceptual tools and the concrete phenomena that they are supposed to represent is usually a complex process, which involves several epistemic components. Some of these components eventually provide stable conditions for applying those abstract representations to concrete phenomena. It is in this sense of providing certain conditions of applicability that different philosophical traditions, as well as some contemporary reappraisals, view these components as constitutive or a priori. In this work, I present a new gradualist, contextualist, and relational approach to understand these constitutive components of scientific inquiry. It is gradualist inasmuch as the degree to which some component is constitutive depends on three quantifiable features: quasi-axiomaticity, generative potential, and empirical shielding. Since the quantification of these three features impinges on the history and practice of using these components in a scientific context, my approach is a contextualist one. Finally, my approach is relational in a double sense: first, it identifies ordinal relationships among epistemic components with respect to their constitutive character; second, these relationships are relative to a scientific framework of inquiry. After introducing my account and a classic example of constitutively a priori principles, i.e., Friedman’s (2001) analysis of Newtonian mechanics, I turn to my own case studies to demonstrate the advantages of my approach. Firstly, I discuss Okasha’s (2018) view of endogenization as a pervasive theoretical strategy in evolutionary biology and suggest that the constitutive character of the core Darwinian principles progressively increases with endogenization. Secondly, I apply a conceptual distinction between two varieties or scopes of coordination – general coordination and coordination in measurement – to Ohm’s work on electrical conductivity. This distinction allows me to pinpoint to what extent components along different dimensions (e.g., instrumentation, measurement, theorising, etc.) were constitutive of the forms of coordination which Ohm relied on. Thirdly, I discuss the epistemic function of the Hardy-Weinberg principle in the history and practice of population genetics. I assess this principle in terms of my account and identify approximation and stability as two components that are highly constitutive, in that they contribute to justifying its use in population genetics. Finally, applying my account to these case studies enables me to identify at least three qualitatively different types of constitutive components: domain-specific theoretical principles, material components, and domain-independent assumptions underlying reasoning abilities. In the light of my results, I draw some general conclusions on epistemic justification and scientific knowledge. (shrink)

Coordination in thought is the treatment of beliefs by the believer as being about the same thing. Such treatment can be indirect, via an identity belief, or direct. Direct coordination presents a problem concerning how this treatment is justified. Dickie accounts for the justification of coordination in terms of aptness to a motivational state: coordination serves to fulfil a need to represent things outside the mind. I argue that this account gets the problem coordination presents (...) wrong, and so does not present an adequate solution. While the material of that account may be reconfigured to provide a more promising proposal, I argue that this depends on a specious psychology of belief, and will anyway end up being circular. I propose an account that, while similar in some ways, improves on both the official and reconfigured Dickie-style accounts, and points to some broader conclusions about the nature of rational cognition. (shrink)

Increase in popularity of games like "Second Life" has contributed not only to significant changes in the development of the electronic entertainment industry. Promoting Games 2.0, the new trend of video game production that are assumed to be the virtual worlds that contain user-generated content makes both measured with a specific technological innovation, as well as a serious change in the organization of socio-cultural heritage. The article presents problems of the existing difficulties of terminology, the implications of the availability (...) of Games 2.0 for social life, the concept of leisure as work in the new economy and creative non-material and the characteristics of "Generation C". Work stresses the need for discussion on trends in the development of video games - defined as a choice between the projects’ of "socio-cultural ideology of perpetual motion" and "utopia of universal creativity". These approaches allow to identify the methodological basis for analysis of relations between the operators and users of Games 2.0, taking into account the wider social environment. ** Wzrost popularności gier typu „Second Life” przyczynił siȩ nie tylko do znacznych przemian w rozwoju branży rozrywki elektronicznej. Upowszechnianie Games 2.0, nowego nurtu produkcji gier wideo które z założenia maj¸a} stanowić wirtualne światy zawieraj¸a}ce treści tworzone przez użytkowników sprawia, że mierzymy siȩ zarówno z określon¸a} innowacj¸a} technologiczn¸a}, jak też z poważn¸a} zmian¸a} organizacji życia społeczno-kulturowego. Artykuł przedstawia problematykȩ istniej¸acych trudności terminologicznych, konsekwencje dostȩpności Games 2.0 dla życia społecznego, pojȩcie rozrywki jako pracy w nowej gospodarce niematerialnej i twórczej oraz charakterystykȩ „generacji C”. Praca podkreśla potrzebȩ dyskusji nad kierunkami rozwoju gier wideo - określanymi jako wybór miȩdzy projektami „ideologii społeczno-kulturowego perpetuum mobile” i „utopii powszechnej twórczości”. Podejścia te pozwalaj¸a na wskazanie podstaw metodologicznych do prowadzenia analiz relacji miȩdzy operatorami, a użytkownikami Games 2.0 przy uwzglȩdnieniu szerszego otoczenia społecznego. (shrink)

This article explores the nature and theoretical import of a hitherto neglected class of fictions which we term ‘self-involving interactive fictions’. SIIFs are interactive fictions, but they differ from standard examples of interactive fictions by being, in some important sense, about those who consume them. In order to better understand the nature of SIIFs, and the ways in which they differ from other fictions, we focus primarily on the most prominent example of the category: video-game fictions. We argue that (...) appreciating the self-involving nature of video-game fictions is key to understanding various otherwise puzzling phenomena concerning the ways in which consumers respond to them. Video-game fictions are, however, far from being the only extant example of this class; and we suggest that the recent philosophical interest in video games would be better focused on the wider class of self-involving interactive fictions. (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)

A dialogue arguing that morality has an objective basis in the mathematical object describing the "tit for tat" game theory. To play the game, a contractual obligation is freely made to cooperate and to fairly distribute the gains. Failure to meet these obligations results in social punishment.

Coordination is a key problem for addressing goal–action gaps in many human endeavors. We define interpersonal coordination as a type of communicative action characterized by low interpersonal belief and goal conflict. Such situations are particularly well described as having collectively “intelligent”, “common good” solutions, viz., ones that almost everyone would agree constitute social improvements. Coordination is useful across the spectrum of interpersonal communication—from isolated individuals to organizational teams. Much attention has been paid to coordination in teams (...) and organizations. In this paper we focus on the looser interpersonal structures we call active support networks, and on technology that meets their needs. We describe two needfinding investigations focused on social support, which examined four application areas for improving coordination in ASNs: academic coaching, vocational training, early learning intervention, and volunteer coordination; and existing technology relevant to ASNs. We find a thus-far unmet need for personal task management software that allows smooth integration with an individual’s active support network. Based on identified needs, we then describe an open architecture for coordination that has been developed into working software. The design includes a set of capabilities we call “social prompting”, as well as templates for accomplishing multi-task goals, and an engine that controls coordination in the network. The resulting tool is currently available and in continuing development. We explain its use in ASNs with an example. Follow-up studies are underway in which the technology is being applied in existing support networks. (shrink)

The past decade has witnessed a growing awareness of conceptual and methodological hurdles within psychology and neuroscience that must be addressed for taxonomic and explanatory progress in understanding psychological functions to be possible. In this paper, I evaluate several recent knowledge-building initiatives aimed at overcoming these obstacles. I argue that while each initiative offers important insights about how to facilitate taxonomic and explanatory progress in psychology and neuroscience, only a “coordinated pluralism” that incorporates positive aspects of each initiative will have (...) the potential for success. (shrink)

Within the causal modeling literature, debates about the Causal Faithfulness Condition have concerned whether it is probable that the parameters in causal models will have values such that distinct causal paths will cancel. As the parameters in a model are fixed by the probability distribution over its variables, it is initially puzzling what it means to assign probabilities to these parameters. I propose that to assign a probability to a parameter in a model is to treat that parameter as a (...) function of a variable in an augmented model. By combining this proposal with widely adopted principles regarding which variables must be included in a model, I argue that the various proposed counterexamples to CFC involving coordinated parameters are not genuine counterexamples. I then consider the cases in which CFC fails due not to coordination, but by coincidence, and propose explanatory and predictive bases for ruling out such coincidences without presuming that they are improbable. The aim of the proposed defenses is not to show that CFC never fails, but rather to argue that its use in a particular context may be defended using general modeling assumptions rather than by relying on claims about how often it fails. (shrink)

In Book 1 of Plato’s Republic, Thrasymachus contends two major claims: (1) justice is the advantage of the stronger, and (2) justice is the good of the other, while injustice is to one’s own profit and advantage. In the beginning of Book II, Glaucon self-proclaims that he will be representing Thrasymachus’ claims in a better way, and provides a story of how justice has originated from a state of nature situation. However, Glaucon’s story of the origin of justice has an (...) implication that justice is the advantage of the weak rather than the stronger. This is inconsistent with Thrasymachus’ first claim which states that justice is the advantage of the stronger. This is a problem for Glaucon since Glaucon is supposed to be representing Thrasymachus’ original claims in a better way. In this paper, I provide two solutions to this puzzle with the help of elementary game theory. (shrink)

This paper argues that the Value Sensitive Design (VSD) methodology provides a principled approach to embedding common values in to AI systems both early and throughout the design process. To do so, it draws on an important case study: the evidence and final report of the UK Select Committee on Artificial Intelligence. This empirical investigation shows that the different and often disparate stakeholder groups that are implicated in AI design and use share some common values that can be used to (...) further strengthen design coordination efforts. VSD is shown to be both able to distill these common values as well as provide a framework for stakeholder coordination. (shrink)

contents -/- i. a game we can't abstain from ii. a sudden God, a Boltzmann God iii. the Hard Problem & Humean causation iv. Turing gave a recipe for consciousness v. the Honeymoon Algorithm vi. Tech Civ takes Earth in vii. Borges, the Compressor viii. Hollywood, where faeries enter ix. in the age of Macbeth, magic x. from King to this vile politician xi. Medieval blue not our color blue xii. the austerities prioritize braingrowth xiii. taste is tactile xiv. (...) if God is a Drama Lord xv. the Hero-Dragon story must be realized. (shrink)

There are well-known problems for formalist accounts of game-play with regards to cheating. Such accounts seem to be committed to cheaters being unable to win–or even play–the game, yet it seems that there are instances of cheaters winning games. In this paper, I expand the discussion of such problems by introducing cases of pre-game cheating, and see how a formalist–specifically a Suitsian–account can accommodate such problems. Specifically, I look at two (fictional) examples where the alleged game-players (...) cheat prior to a game-instance in such as a way as to cast doubt on whether the alleged game-players are truly playing the game. To escape the worries brought about by these examples of pre-game cheating, I will appeal to the concept of nested games. This concept will give us the needed tools to explain how the alleged players are cheating and how the alleged players are players. On the whole, this discussion should help illuminate some important issues with regards to cheating and rules on a Suitsian account of game-play, and help give support for formalist accounts more generally. (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)

Using Bernard Suits’s brilliant analysis (contra Wittgenstein) of playing a game, this paper examines the intrinsic value of game-playing. It argues that two elements in Suits’s analysis make success in games difficult, which is one ground of value, while a third involves choosing a good activity for the property that makes it good, which is a further ground. The paper concludes by arguing that game-playing is the paradigm modern (Marx, Nietzsche) as against classical (Aristotle) value: since its (...) goal is intrinsically trivial, its value is entirely one of process rather than product, journey rather than destination. (shrink)

In this paper we propose and analyze a game-theoretic model of the epistemology of peer disagreement. In this model, the peers' rationality is evaluated in terms of their probability of ending the disagreement with a true belief. We find that different strategies---in particular, one based on the Steadfast View and one based on the Conciliatory View---are rational depending on the truth-sensitivity of the individuals involved in the disagreement. Interestingly, the Steadfast and the Conciliatory Views can even be rational simultaneously (...) in some circumstances. We tentatively provide some reasons to favor the Conciliatory View in such cases. We argue that the game-theoretic perspective is a fruitful one in this debate, and this fruitfulness has not been exhausted by the present paper. (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)

Rapidly, accurately and easily interpreting generated data is of fundamental concern. Ontologies – structured controlled vocabularies – support interoperability and prevent the development of data silos which undermine interoperability. The Open Biological and Biomedical Ontologies (OBO) Foundry serves to ensure ontologies remain interoperable through adherence by its members to core ontology design principles. For example, the Infectious Disease Ontology (IDO) Core includes terminological content common to investigations of all infectious diseases. Ontologies covering more specific infectious diseases in turn extend from (...) IDOCore, such as the Coronavirus Infectious Disease Ontology (CIDO). The growing list of virus-specific IDO extensions has motivated construction of a reference ontology covering content common to viral infectious disease investigations: the Virus Infectious Disease Ontology (VIDO). Additionally the present pandemic has motivated construction of a more specific extension of CIDO covering terminological contents specific to the pandemic: the COVID-19 Infectious Disease Ontology (IDO-COVID-19). We report here the development of VIDO and IDO-COVID-19. More specifically we examine newly minted terms for each ontology, showcase reuse of terms from existing OBO ontologies, motivate choicepoints for ontological decisions based on research from relevant life sciences, apply ontology terms to explicate viral pathogenesis, and discuss the annotating power of virus ontologies for use in machine-learning projects. (shrink)