We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Evolutionary applications of game theory present one of the most pedagogically accessible varieties of genuine, contemporary theoretical biology. We present here Oyun (OY-oon, http://charlespence.net/oyun), a program designed to run iterated prisoner’s dilemma tournaments, competitions between prisoner’s dilemma strategies developed by the students themselves. Using this software, students are able to readily design and tweak their own strategies, and to see how they fare both in round-robin tournaments and in “evolutionary” tournaments, where the scores in a given “generation” directly determine (...) contribution to the population in the next generation. Oyun is freely available, runs on Windows, Mac, and Linux computers, and the process of creating new prisoner’s dilemma strategies is both easy to teach and easy for students to grasp. We illustrate with two interesting examples taken from actual use of Oyun in the classroom. (shrink)

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

In contrast to Axelrod’s advice “don’t be envious” it is argued that the emotion of envy may enhance cooperation. TIT FOR TAT does exhibit a certain degree of envy. But, it does so in inconsistent ways. Two variants of TIT FOR TAT are introduced and their strategic properties are analyzed. Both generate the very same actual play as TIT FOR TAT in a computer tournament without noise. However, if noise is introduced they display some greater degree of stability. This is (...) due to the fact that they form, in a prisoner’s dilemma supergame with suitable parameters, an equilibrium with themselves that is subgame perfect or (in case of the first strategy) close to subgame perfect. It is additionally argued that these strategies are exceptionally clear and comprehensible to others in that they conform to well known real live behavior patterns. (shrink)

In this paper I critically examine an influential argument in favor of political realism. The argument claims that international relations, by analogy with Hobbes’s state of nature at the individual level, are governed by anarchy which makes it irrational for states to observe the principles of morality and justice since there are no guarantees that they will be observed by other states. However, this analogy is unsustainable due to the differences that exist between agents on the international and individual levels. (...) Compared to the insecurity of the state of nature, the level of insecurity of international relations is lower, which makes it possible for co-operation between states to be established. This conclusion is additionally corroborated by insights of the game theories, especially those of iterated prisoner’s dilemma. (shrink)

Modeling social interactions based on individual behavior has always been an area of interest, but prior literature generally presumes rational behavior. Thus, such models may miss out on capturing the effects of biases humans are susceptible to. This work presents a method to model egocentric bias, the real-life tendency to emphasize one's own opinion heavily when presented with multiple opinions. We use a symmetric distribution, centered at an agent's own opinion, as opposed to the Bounded Confidence (BC) model used in (...) prior work. We consider a game of iterated interactions where an agent cooperates based on its opinion about an opponent. Our model also includes the concept of domain-based self-doubt, which varies as the interaction succeeds or not. An increase in doubt makes an agent reduce its egocentricity in subsequent interactions, thus enabling the agent to learn reactively. The agent system is modeled with factions not having a single leader, to overcome some of the issues associated with leader-follower factions. We find that agents belonging to factions perform better than individual agents. We observe that an intermediate level of egocentricity helps the agent perform at its best, which concurs with conventional wisdom that neither overconfidence nor low self-esteem brings benefits. (shrink)

Although fairness is a key moral trait, limited research focuses on participants' observed fairness behavior because moral traits are generally measured through self-report. This experiment focused on day-to-day interpersonal fairness rather than impersonal justice, and fairness was assessed as observed behavior. The experiment investigated whether a self-reported fairness trait would moderate a situational influence on observed fairness behavior, such that individuals with a stronger fairness trait would be less affected by a situational influence than those with a weaker fairness trait. (...) We used an iterated resource game in which participants could withdraw resources as they chose, and we manipulated the number of resources bogus players withdrew. The number of resources participants withdrew was the behavioral measure of fairness. Results confirmed the expected moderation of the unfairness manipulation by a fairness trait on observed behavior. Those reporting a stronger fairness trait were unaffected by the manipulation, whereas those reporting a weaker fairness trait were more strongly influenced. (shrink)

With recent advancements in systems engineering and artificial intelligence, autonomous agents are increasingly being called upon to execute tasks that have normative relevance. These are tasks that directly—and potentially adversely—affect human well-being and demand of the agent a degree of normative-sensitivity and -compliance. Such norms and normative principles are typically of a social, legal, ethical, empathetic, or cultural nature. Whereas norms of this type are often framed in the abstract, or as high-level principles, addressing normative concerns in concrete applications of (...) autonomous agents requires the refinement of normative principles into explicitly formulated practical rules. This paper develops a process for deriving specification rules from a set of high-level norms, thereby bridging the gap between normative principles and operational practice. This enables autonomous agents to select and execute the most normatively favourable action in the intended context premised on a range of underlying relevant normative principles. In the translation and reduction of normative principles to SLEEC rules, we present an iterative process that uncovers normative principles, addresses SLEEC concerns, identifies and resolves SLEEC conflicts, and generates both preliminary and complex normatively-relevant rules, thereby guiding the development of autonomous agents and better positioning them as normatively SLEEC-sensitive or SLEEC-compliant. (shrink)

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)

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)

In the first part of the paper, I clarify what is at stake in the debate between accounts of the iterative conception based on the notion of metaphysical dependence and the minimalist account I have defended in previous work (Incurvati 2012; 2020). I argue that the debate concerns how to understand and motivate the central tenet of the iterative conception that every set occurs at some level of the cumulative hierarchy. This debate, I contend, should be distinguished from the debate (...) between actualist and potentialist accounts of the cumulative hierarchy. In the second part of the paper, I use the distinction drawn in the first part of the paper to assess an objection leveled by Mark Gasser (2015) against ante rem structuralism. In particular, this distinction makes it clear that there are two different objections in Gasser’s article. The first objection is that the iterative conception conflicts with dependence claims made by structuralists. As I have suggested in previous work, ante rem structuralists can address this objection by endorsing a minimalist account of the iterative conception. The second objection is that the indefinite extensibility of the set concept conflicts with the idea that the cumulative hierarchy is exhausted by the ZFC axioms. I chart various possible ways of addressing the second objection and show that by disentangling ante rem structuralism from the idea that mathematical structures ought to be given by implicit definitions opens up a novel way of addressing the second objection. I conclude by contending that although my arguments show that ante rem structuralism is compatible with the iterative conception, there are still reasons to favour a more deflationary understanding of structuralism, advocated by John Burgess, Joel Hamkins and Gasser himself. (shrink)

The Question of Iterated Grounding (QIG) asks what grounds the grounding facts. Although the question received a lot of attention in the past few years, it is usually discussed independently of another important issue: the connection between metaphysical explanation and the relation or relations that supposedly “back” it. I will show that once we get clear on the distinction between metaphysical explanation and the relation(s) backing it, we can distinguish no fewer than four questions lumped under QIG. I will (...) also argue that given some plausible assumptions about what it would take for a relation to back metaphysical explanation, many salient views about grounding allow us to give “easy” answers to these questions—easy in the sense that we can straightforwardly derive them from the respective conception of grounding without getting into the sorts of complexities that typically inform answers to QIG. The paper's main upshot is that we cannot expect to make much progress on QIG without first addressing the difficult issue of how exactly grounding is related to metaphysical explanation. (shrink)

You omega know p when you possess every iteration of knowledge of p. This book argues that omega knowledge plays a central role in philosophy. In particular, the book argues that omega knowledge is necessary for permissible assertion, action, inquiry, and belief. Although omega knowledge plays this important role, existing theories of omega knowledge are unsatisfying. One theory, KK, identifies knowledge with omega knowledge. This theory struggles to accommodate cases of inexact knowledge. The other main theory is skeptical, claiming that (...) we do not omega know any ordinary claims about the world. This book develops and critically compares three new theories of omega knowledge. (shrink)

This is a reply to Elisabeth Camp's and Elijah Millgram's probing discussions of "Games and the Art of Agency", in a symposium in Journal of Ethics and Social Philosophy. Millgram argues that games cannot function as a guide to life, because they are too different from life. Games are limited in a special way: in life, we deliberate about what goals we want to take on, but in games, the goals are fixed and given to us. (...) Camp argues that there is nothing particularly special about games, because the fluidity of agency is all over ordinary life too - games are just like ordinary life. I respond to Millgram: we do deliberate about our ends, in games, when we aesthetically reflect on which games to play. And I respond to Camp: games are distinctive in the way they regulate how our reasons flow across the game/life border. To respond to these criticisms, I add some substantial new features to my account of the motivational structure of game-play. (shrink)

This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...) language and metaphysicians who rely on such propositions. The resulting account has limitations, comparable to those faced by the iterative approach to sets, but it is argued to be in important ways preferable to others that have been proposed. (shrink)

A common response to the paradoxes of vagueness and truth is to introduce the truth-values “neither true nor false” or “both true and false” (or both). However, this infamously runs into trouble with higher-order vagueness or the revenge paradox. This, and other considerations, suggest iterating “both” and “neither”: as in “neither true nor neither true nor false.” We present a novel explication of iterating “both” and “neither.” Unlike previous approaches, each iteration will change the logic, and the logic in the (...) limit of iteration is an extension of paraconsistent quantum logic. Surprisingly, we obtain the same limit logic if we use (a) both and neither, (b) only neither, or (c) only neither applied to comparable truth-values. These results promise new and fruitful replies to the paradoxes of vagueness and truth. (The paper allows for modular reading: for example, half of it is an appendix studying involutive lattices to prove the results.). (shrink)

Watching other people play videogames —a.k.a. ‘spectator gaming’— is a widespread practice. Yet, it is considered by some as an inadequate form of engagement with games. In this paper, I show that the strongest objection to spectator gaming relies on the claim that some properties of videogames are better, if not exclusively, accessible to the player. After that, I propose two replies to this challenge. The first is that ‘secondary players’, i.e., individuals who indirectly take part in the game, (...) can access the relevant properties. The second reply is that even paradigmatic spectators may engage in simulated play, and therefore, access these properties as well. (shrink)

Let an iterated essentialist statement be a statement of the form 'It lies in the nature of x1,x2,... that it lies in the nature of y1,y2,... that φ'. Let Iteration be the thesis that there are true iterated essentialist statements. Iteration has recently been disputed by Dasgupta (2014) and Glazier (2017). Both authors take the falsity of Iteration to be central to the explanatory role of essentialist truths. An important consequence that is not explicitly noted by them is (...) that the falsity of Iteration would entail that metaphysical necessity is not reducible to essence in the manner suggested by Fine (1994). This paper defends Iteration against these challenges, drawing attention to some features of the collective essences of properties, propositions, and logical operations that have been largely neglected in discussions about essence. (shrink)

Iterative Teleology: The Impact of AI on Human Motivation Introduction The increasing interaction between humans and artificial intelligence raises new philosophical and psychological questions about purpose and motivation. This article explores how iterative teleology redefines human objectives in this context.

What can the philosophy of agency learn from Nguyen’s book on games? The most important lesson concerns, to use Nguyen’s terms, the ‘layered’ structure of our agency and the ‘fluidity’ requ...

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 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)

Philosophical games are games designed to invite players to think philosophically within (and about) their gameworlds. They are interactive fictions allowing players to engage with philosophical themes in ways that often set them apart from non-interactive kinds of speculative fictions (such as philosophical novels or thought experiments). To better understand philosophical games, this entry proposes to distinguish two primary ways in which a philosophical game can approach its themes: dialectically or rhetorically.

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).

This paper argues that two widely accepted principles about the indicative conditional jointly presuppose the falsity of one of the most prominent arguments against epistemological iteration principles. The first principle about the indicative conditional, which has close ties both to the Ramsey test and the “or‐to‐if” inference, says that knowing a material conditional suffices for knowing the corresponding indicative. The second principle says that conditional contradictions cannot be true when their antecedents are epistemically possible. Taken together, these principles entail that (...) it is impossible to be in a certain kind of epistemic state: namely, a state of ignorance about which of two partially overlapping bodies of knowledge corresponds to one's actual one. However, some of the more popular “margin for error” style arguments against epistemological iteration principles suggest that such states are not only possible, but commonplace. I argue that the tension between these views runs deep, arising just as much for non‐factive attitudes like belief, presupposition, and certainty. I also argue that this is worse news for those who accept the principles about the indicative conditional than it is for those who reject epistemological iteration principles. (shrink)

Games, play and gamification, used in organized public library programs, are ways in which libraries can attract a larger audience, especially those who are not yet interested in reading. In this way, contact with the library would enable them to find out about other resources that these cultural institutions offer, thus encouraging them to become regular patrons of non-game services. This paper aims to find out whether these new ways have been used in activities carried out with the public (...) in the Bucharest Metropolitan Library. Research on games, play and gamification in public libraries is very limited in Romania and it could benefit researchers and librarians alike. A content analysis was done on the posts made on Facebook in 2023 by the Bucharest Metropolitan Library. The findings of the study showed that games, play and gamification were used mostly in thematic activities combined with reading, learning and creative workshops. Collaboration with institutions, associations and other organizations has increased the quality of the services offered. The research is valuable in that it presents activities in which librarians have used games, play and gamification, thus offering ideas for all Romanian librarians who could implement these tools on a larger scale in our public libraries. (shrink)

Hilary Putnam once suggested that “the actual existence of sets as ‘intangible objects’ suffers… from a generalization of a problem first pointed out by Paul Benacerraf… are sets a kind of function or are functions a sort of set?” Sadly, he did not elaborate; my aim, here, is to do so on his behalf. There are well-known methods for treating sets as functions and functions as sets. But these do not raise any obvious philosophical or foundational puzzles. For that, we (...) first need to provide a full-fledged function theory. I supply such a theory: it axiomatizes the iterative notion of function in exactly the same sense that ZF axiomatizes the iterative notion of set. Indeed, this function theory is synonymous with ZF. It might seem that set theory and function theory present us with rival foundations for mathematics, since they postulate different ontologies. But appearances are deceptive. Set theory and function theory provide the very same judicial foundation for mathematics. They do not supply rival metaphysical foundations; indeed, if they supply metaphysical foundations at all, then they supply the very same metaphysical foundations. (shrink)

According to the iterative conception of set, each set is a collection of sets formed prior to it. The notion of priority here plays an essential role in explanations of why contradiction-inducing sets, such as the Russell set, do not exist. Consequently, these explanations are successful only to the extent that a satisfactory priority relation is made out. I argue that attempts to do this have fallen short: understanding priority in a straightforwardly constructivist sense threatens the coherence of the empty (...) set and raises serious epistemological concerns; but the leading realist interpretations---ontological and modal interpretations of priority---are deeply problematic as well. I conclude that the purported explanatory virtues of the iterative conception are, at present, unfounded. (shrink)

If $U$ is a normal ultrafilter on a measurable cardinal $\kappa$, then the intersection of the $\omega$ first iterated ultrapowers of the universe by $U$ is a Prikry generic extension of the $\omega$th iterated ultrapower.

How do we prepare engineering students to make ethical and responsible decisions in their professional work? This paper presents an approach that enhances engineering students’ engagement with ethical reasoning by simulating decision-making in a complex scenario. The approach has two principal inspirations. The first is Anthony Weston’s scenario-based teaching. Weston’s concept of a scenario is a situation that changes in response to choices made by participants, according to an inner logic. Scenarios can dynamically explore open-ended complex problems without imposing predetermined (...) results, allowing students to apply their ethical reasoning in a more realistic fashion. The second inspiration is Thi Nguyen’s theory of games. According to Nguyen, games are the “art of agency,” meaning that they provide a structure under which some result is agreed to be valuable, along with prescribed ways of achieving that result, in a relatively low-stakes and temporary social arrangement. By playing many games, Nguyen argues, we can develop a “library of agency,” that is to say, a set of values and means to achieving them that can inform how we make high-stakes decisions in real life. Engaging with carefully designed game scenarios, then, can enable students to practice making ethical decisions within a structured framework, which unfolds in response to their choices, while their decisions are driven by some defined goal. This roleplaying game–based approach thus allows students to build their own ethical libraries of agency, in preparation for professional decision-making. The approach is illustrated using a specific example recently deployed in a seminar on engineered living materials (building materials that incorporate living tissues). The scenario uses techniques from tabletop roleplaying games (e.g. Dungeons & Dragons) for outcome resolution, adventure design, and character creation. Through the game, students practice making difficult decisions in a humanitarian context. (shrink)

Rondo Keele makes a foray into what he calls 'applied logic', investigating a complex argument strategy employed against Ockham by his greatest contemporary opponent, Walter Chatton. Chatton conceives a two-part strategy which attempts to force a kind of iteration of conceptual analysis, together with an infinite explanatory regress, in order to establish that one particular philosophical analysis is ultimately dependent on another. Chatton uses this strategy against Ockham in order to show that the latter's reductionist metaphysics depends ultimately upon a (...) deeper level of realist assumptions that he can neither evade nor explain away. Keele then shows how, earlier in his career, Chatton found himself on the receiving end of this same strategy, defending his own highly original solution to the problem of future contingents from the very iteration-regress attack he would subsequently use on Ockham. Keele concludes with an examination of Chatton's attempts to avoid the consequences of his own strategy, and draws some connections between this argument strategy and modal collapse in modern logics. (shrink)

The emergence of the need for orientation since the past times led the universities to invent innovative ways to prepare their students for the activities and courses they will face. Hence, various types of orientation have been provided during history. However, today with the outbreak of the Covid-19 and the closure of the schools, most of the students are continuing their studies as distance learning. While this situation is very disappointing for all freshmen students who do not know the university's (...) atmosphere, it is extremely disruptive, specifically for the design ones, which are passing tactile courses, demanding being held face to face. This ascertains the research's problem as a need for an interactive solution for the issue to lessen the consequent problems. Game-based orientation (GBO) is a tool, engaging the freshmen students as players with the provided data in it, which are the essentials for a novel student to know before entering the university. It allows the student to be dealt with the school services, Istanbul Technical University in this case, and use them in terms of the game's tasks. The scoring system, the ultimate certificate, the leaderboard leading them to prizes, and the game's non-linearity will attract the students to use GBO frequently to finish it and experience all the possible scenarios. (shrink)

Why are natural theories pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. This approach was inspired by Martin's Conjecture, one of the most prominent conjectures in recursion theory. Fixing a reasonable subsystem $T$ of arithmetic, the goal was to classify the recursive functions that are monotone with respect to the Lindenbaum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^\alpha$ of the consistency operator ``in (...) the limit'' within the ultrafilter of sentences that are true in the standard model. In previous work the author established the first case of this optimistic conjecture; roughly, every recursive monotone function is either as weak as the identity operator in the limit or as strong as $\mathsf{Con}_T$ in the limit. Yet in this note we prove that this optimistic conjecture fails already at the next step; there are recursive monotone functions that are neither as weak as $\mathsf{Con}_T$ in the limit nor as strong as $\mathsf{Con}_T^2$ in the limit. In fact, for every $\alpha$, we produce a function that is cofinally equivalent to $\mathsf{Con}^\alpha_T$ yet cofinally equivalent to $\mathsf{Con}_T$. (shrink)

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

What is a game? What are we doing when we play a game? What is the value of playing games? Several different philosophical subdisciplines have attempted to answer these questions using very distinctive frameworks. Some have approached games as something like a text, deploying theoretical frameworks from the study of narrative, fiction, and rhetoric to interrogate games for their representational content. Others have approached games as artworks and asked questions about the authorship of games, about (...) the ontology of the work and its performance. Yet others, from the philosophy of sport, have focused on normative issues of fairness, rule application, and competition. The primary purpose of this article is to provide an overview of several different philosophical approaches to games and, hopefully, demonstrate the relevance and value of the different approaches to each other. Early academic attempts to cope with games tried to treat games as a subtype of narrative and to interpret games exactly as one might interpret a static, linear narrative. A faction of game studies, self-described as “ludologists,” argued that games were a substantially novel form and could not be treated with traditional tools for narrative analysis. In traditional narrative, an audience is told and interprets the story, where in a game, the player enacts and creates the story. Since that early debate, theorists have attempted to offer more nuanced accounts of how games might achieve similar ends to more traditional texts. For example, games might be seen as a novel type of fiction, which uses interactive techniques to achieve immersion in a fictional world. Alternately, games might be seen as a new way to represent causal systems, and so a new way to criticize social and political entities. Work from contemporary analytic philosophy of art has, on the other hand, asked questions whether games could be artworks and, if so, what kind. Much of this debate has concerned the precise nature of the artwork, and the relationship between the artist and the audience. Some have claimed that the audience is a cocreator of the artwork, and so games are a uniquely unfinished and cooperative art form. Others have claimed that, instead, the audience does not help create the artwork; rather, interacting with the artwork is how an audience member appreciates the artist's finished production. Other streams of work have focused less on the game as a text or work, and more on game play as a kind of activity. One common view is that game play occurs in a “magic circle.” Inside the magic circle, players take on new roles, follow different rules, and actions have different meanings. Actions inside the magic circle do not have their usual consequences for the rest of life. Enemies of the magic circle view have claimed that the view ignores the deep integration of game life from ordinary life and point to gambling, gold farming, and the status effects of sports. Philosophers of sport, on the other hand, have approached games with an entirely different framework. This has lead into investigations about the normative nature of games—what guides the applications of rules and how those rules might be applied, interpreted, or even changed. Furthermore, they have investigated games as social practices and as forms of life. (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.

On Bernard Suits’s celebrated analysis, to play a game is to engage in a ‘voluntary attempt to overcome unnecessary obstacles’. Voluntariness is understood in terms of the players having the ‘lusory attitude’ of accepting the constitutive rules of the game just because they make possible playing it. In this paper I suggest that the players in Netflix’s hit show Squid Game play the ‘squid games’, but they do not do so voluntarily; they are forced to play. I argue that (...) this means that we should rethink Suits’s analysis by claiming that all that is needed for players to play is that someone has put the rules in force for them for the reason that it makes playing the game possible. I then illustrate the virtues of the revised analysis by showing how it helps us to defuse Hurka’s recent counterexamples to Suits’s view. (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)

In a single-iteration fake barn case, the agent correctly identifies an object of interest on the first try, despite the presence of nearby lookalikes that could have mislead her. In a multiple-iteration fake barn case, the agent first encounters several fakes, misidentifies each of them, and then encounters and correctly identifies a genuine item of interest. Prior work has established that people tend to attribute knowledge in single-iteration fake barn cases, but multiple-iteration cases have not been tested. However, some theorists (...) contend that multiple-iteration cases are more important and will elicit a strong tendency to deny knowledge. Here I report a behavioural experiment investigating knowledge judgments in multiple-iteration fake barn cases. The main finding is that people tend to attribute knowledge in these cases too. Ironically, the results indicate that the presence of fakes could prevent iterated errors from lowering knowledge attributions. The results also provide evidence that ordinary knowledge attributions are based on attributions of cognitive ability. (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)

The present paper argues that there is a knowledge norm for conversational implicature: one may conversationally implicate p only if one knows p. Linguistic data about the cancellation behavior of implicatures and the ways they are challenged and criticized by speakers is presented to support the thesis. The knowledge norm for implicature is then used to present a new consideration in favor of the KK thesis. It is argued that if implicature and assertion have knowledge norms, then assertion requires not (...) only knowledge but iterated knowledge: knowing that you know that you know that... you know. Such a condition on permissible assertion is argued to be plausible only if the KK thesis is true. (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)

Causal reasoning and game-theoretic reasoning are fundamental topics in artificial intelligence, among many other disciplines: this paper is concerned with their intersection. Despite their importance, a formal framework that supports both these forms of reasoning has, until now, been lacking. We offer a solution in the form of (structural) causal games, which can be seen as extending Pearl's causal hierarchy to the game-theoretic domain, or as extending Koller and Milch's multi-agent influence diagrams to the causal domain. We then consider (...) three key questions: i) How can the (causal) dependencies in games - either between variables, or between strategies - be modelled in a uniform, principled manner? ii) How may causal queries be computed in causal games, and what assumptions does this require? iii) How do causal games compare to existing formalisms? To address question i), we introduce mechanised games, which encode dependencies between agents' decision rules and the distributions governing the game. In response to question ii), we present definitions of predictions, interventions, and counterfactuals, and discuss the assumptions required for each. Regarding question iii), we describe correspondences between causal games and other formalisms, and explain how causal games can be used to answer queries that other causal or game-theoretic models do not support. Finally, we highlight possible applications of causal games, aided by an extensive open-source Python library. (shrink)

THE IDENTITY GAME THE CORE MECHANICS RULE There is only one rule: A thing can only be understood by what it is not. This single rule generates all meaning. FORMULA Intelligence = Awareness × Distinction Understanding emerges when awareness meets distinction. Each new distinction multiplies against awareness, transforming all previous understanding. WEB Because of the rule, every distinction creates connections to everything it is not. This forms an inverse web of meaning - each thing defined by its differences from all (...) other things. Every new distinction both adds to and transforms this web. DIMENSIONS A dimension is a particular kind of field of experience 5 sensory dimensions visual, auditory, tactile, Olfactory, Gustatory. 1 conceptual dimension Within each sensory dimension, new distinctions create understanding. In sight, colors distinguish themselves from each other. In sound, tones separate from silence. Every distinction follows the rule, multiplies understanding, and adds to the web. These sensory distinctions flow into the conceptual dimension, where they combine and transform into abstract understanding. Any specific object is known through the interplay of its sight, sound, feel, and its conceptual distinctions from all other objects. The Identity Game is not a game we can choose to play or not play it is the process through which all understanding emerges. In recognizing this, we do not transcend the game but play it more deeply. To understand is to demonstrate it To reject it is to prove it. (shrink)

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

The standard rule of single privative modification replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual a instantiates the privatively modified property (MF) then it is true that a instantiates the property of not being an F, but the rule fails to express the fact that the properties (MF) and F have something in common. We replace Boolean negation by property negation, enabling us to operate on contrary rather than contradictory properties. (...) To this end, we apply our theory of intensional essentialism, which operates on properties (intensions) rather than their extensions. We argue that each property F is necessarily associated with an essence, which is the set of the so-called requisites of F that jointly define F. Privation deprives F of some but not all of its requisites, replacing them by their contradictories. We show that properties formed from iterated privatives, such as being an imaginary fake banknote, give rise to a trifurcation of cases between returning to the original root property or to a property contrary to it or being semantically undecidable for want of further information. In order to determine which of the three forks the bearers of particular instances of multiply modified properties land upon we must examine the requisites, both of unmodified and modified properties. Requisites underpin our presuppositional theory of positive predication. Whereas privation is about being deprived of certain properties, the assignment of requisites to properties makes positive predication possible, which is the predication of properties the bearers must have because they have a certain property formed by means of privation. (shrink)

This paper challenges Thi Nguyen's argument, in Games: Agency as Art, a central part of the value of game-play comes from the aesthetic experiences it allows, especially of our own agency, so playing a game is importantly like engaging with art. It challenges three arguments Nguyen makes in support of this view and argues, to the contrary, that the principal value in game-play rests in the achievments it allows.

Serious games with their educational or skill development purposes besides entertainment, have been used in various fields such as architecture, landscape architecture, urban planning, cultural heritage, and learning of language and culture, easing the data absorption process of the specific topic for the user. The use of serious games in the cultural heritage or cultural landscape, as a subtopic, can have a role in its preservation in addition to the information transition ability. Yedikule Bostans is a serious game (...) designed for cultural heritage, its importance, and maintenance ways. The case study of this article is the İstanbul’s market gardens, existing plenty of them in İstanbul, which have remained since ancient times surviving despite the difficulties of urbanization. This research is focusing on the Yedikule Bostanları with their 1500-year history which are associated with the Theodosian Walls, registered in the list of historic areas of İstanbul in UNESCO. The serious game presented in this research with its immersive text-based time-traveling theme about these gardens aims to attract the public's attention to their perishing danger. Thanks to the abilities of the Twine software used in the game's development, we provide a charming journey to the users throughout the game to increase their awareness of the inherited farming culture and more comprehensively the cultural heritage and cultural landscape, meanwhile. (shrink)

Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional event; moreover, we give the (...) lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the notions of disjunction and iterated conditioning and we show that the usual probabilistic properties still hold. (shrink)

Recent work on the philosophy of modality has tended to pass over questions about iterated modalities in favour of constructing ambitious metaphysical theories of possibility and necessity, despite the central importance of iterated modalities to modal logic. Yet there are numerous unresolved but fundamental issues involving iterated modalities: Chandler and Salmon have provided forceful arguments against the widespread assumption that all necessary truths are necessarily necessary, for example. The current paper examines a range of ways in which (...) one might seek to identify limited regions within which some of the most well-known principles featuring iterated modalities may safely be assumed. (shrink)