In the vertex pursuit game of cops and robbers on finite graphs, the cop has a winning strategy if and only if the graph admits a dominating order. Such graphs are called constructible in the graph theory literature. This equivalence breaks down for infinite graphs, and variants of the game have been proposed to reestablish partial connections between constructibility and being cop-win. We answer an open question of Lehner about one of these variants by giving examples of weak cop-win (...) graphs which are not constructible. We show that the index set of computable constructible graphs is Π11 hard and the index set of computable constructible locally finite graphs is Π40 hard. Finally, we give an example of a computable constructible graph for which every dominating order computes 0″. (shrink)

We investigate the definability in monadic ∑11 and monadic Π11 of the problems REGk, of whether there is a regular subgraph of degree k in some given graph, and XREGk, of whether, for a given rooted graph, there is a regular subgraph of degree k in which the root has degree k, and their restrictions to graphs in which every vertex has degree at most k, namely REGkk and XREGkk, respectively, for k ≥ 2 . Our motivation partly stems (...) from the fact that REGkk and XREGkk are logspace equivalent to CONN and REACH, respectively, for k ≥ 3, where CONN is the problem of whether a given graph is connected and REACH is the problem of whether a given graph has a path joining two given vertices. We use monadic first - order reductions, monadic ∑11 games and a recent technique due to Fagin, Stockmeyer and Vardi to almost completely classify whether these problems are definable in monadic ∑11 and monadic Π11, and we compare the definability of these problems. (shrink)

A general characterization of logical opposition is given in the present paper, where oppositions are defined by specific answers in an algebraic question-answer game. It is shown that opposition is essentially a semantic relation of truth values between syntactic opposites, before generalizing the theory of opposition from the initial Apuleian square to a variety of alter- native geometrical representations. In the light of this generalization, the famous problem of existential import is traced back to an ambiguous interpretation of assertoric sentences (...) in Aristotle's traditional logic. Following Abelard’s distinction between two alternative readings of the O-vertex: Non omnis and Quidam non, a logical difference is made between negation and denial by means of a more fine- grained modal analysis. A consistent treatment of assertoric oppositions is thus made possible by an underlying abstract theory of logical opposition, where the central concept is negation. A parallel is finally drawn between opposition and consequence, laying the ground for future works on an abstract operator of opposition that would characterize logical negation just as does Tarski’s operator of consequence for logical truth. (shrink)

Through a phenomenological study of horse-human relations, this article explores the ways in which, as embodied beings, we live relationally, rather than as separate human identities. Conceptually this challenges oppositional logic and humanist assumptions, but where poststructuralist treatments of these issues tend to remain abstract, this article is concerned with an embodied demonstration of the ways in which we experience a relational or in-between logic in our everyday lives.

This study examined the link between employees’ adult attachment orientations and perceptions of line managers’ interpersonal justice behaviors, and the moderating effect of national culture. Participants from countries categorized as low collectivistic and high collectivistic completed an online survey. Attachment anxiety and avoidance were negatively related to interpersonal justice perceptions. Cultural differences did not moderate the effects of avoidance. However, the relationship between attachment anxiety and interpersonal justice was non-significant in the Southern Asia cultural cluster. Our findings indicate the importance (...) of ‘fit’ between cultural relational values and individual attachment orientations in shaping interpersonal justice perceptions, and highlight the need for more non-western organizational justice research. (shrink)

We argue that pedagogic authority relies on love, which is misunderstood if seen as a matter of actions and subjects. Love is based not on finite subjects and objects existing in Euclidean space and linear time, but, rather, on the non-finite ontology, space and time of relations. Loving authority is a matter of calling and vocation, arising from the spontaneous and simultaneous call-and-response of a lively relation. We make this argument through a reading of Buber’s I–You relation and Murdoch’ s (...) account of the responsiveness of ascetic discipline. In presenting this analysis, we draw upon a case study from a research project on Australian teachers and students. (shrink)

Prior research suggests brokers do not always act in the best interests of clients, although morally obligated to do so. We empirically investigated this issue focusing on trades executed at best execution price, before and after the introduction of electronic limit-order trading, on the London Stock Exchange. As a result of limit-order trading, the proportion of trades executed at the best execution price for the customer significantly increased. We attribute this to a sustained increase in the liquidity of stocks as (...) a result of limit-order trading, regardless of market capitalisation. We discuss the ethical implications of our findings and conclude that market structures that enhance market competitiveness may help reconcile broker and client interests. (shrink)

In the mid twentieth century the philosopher Ludwig Wittgenstein famously asserted that games are indefinable; there are no common threads that link them all. "Nonsense," says the sensible Bernard Suits: "playing a game is a voluntary attempt to overcome unnecessary obstacles." The short book Suits wrote demonstrating precisely that is as playful as it is insightful, as stimulating as it is delightful. Suits not only argues that games can be meaningfully defined; he also suggests that playing games (...) is a central part of the ideal of human existence, so games belong at the heart of any vision of Utopia. Originally published in 1978, The Grasshopper is now re-issued with a new introduction by Thomas Hurka and with additional material (much of it previously unpublished) by the author, in which he expands on the ideas put forward in The Grasshopper and answers some questions that have been raised by critics. (shrink)

In previous work I’ve defended an interest-relative theory of belief. This paper continues the defence. It has four aims. -/- 1. To offer a new kind of reason for being unsatis ed with the simple Lockean reduction of belief to credence. 2. To defend the legitimacy of appealing to credences in a theory of belief. 3. To illustrate the importance of theoretical, as well as practical, interests in an interest-relative account of belief. 4. To revise my account to cover propositions (...) that are practically and theoretically irrelevant to the agent. (shrink)

A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games.

Games of chance are developed in their physical consumer-ready form on the basis of mathematical models, which stand as the premises of their existence and represent their physical processes. There is a prevalence of statistical and probabilistic models in the interest of all parties involved in the study of gambling – researchers, game producers and operators, and players – while functional models are of interest more to math-inclined players than problem-gambling researchers. In this paper I present a structural analysis (...) of the knowledge attached to mathematical models of games of chance and the act of modeling, arguing that such knowledge holds potential in the prevention and cognitive treatment of excessive gambling, and I propose further research in this direction. (shrink)

Despite the emergence of computer games as a dominant cultural industry, we know little or nothing about the ethics of computer games. Considerations of the morality of computer games seldom go beyond intermittent portrayals of them in the mass media as training devices for teenage serial killers. In this first scholarly exploration of the subject, Miguel Sicart addresses broader issues about the ethics of games, the ethics of playing the games, and the ethical responsibilities of (...) game designers. He argues that computer games are ethical objects, that computer game players are ethical agents, and that the ethics of computer games should be seen as a complex network of responsibilities and moral duties. Players should not be considered passive amoral creatures; they reflect, relate, and create with ethical minds. The games they play are ethical systems, with rules that create gameworlds with values at play. Drawing on concepts from philosophy and game studies, Sicart proposes a framework for analyzing the ethics of computer games as both designed objects and player experiences. After presenting his core theoretical arguments and offering a general theory for understanding computer game ethics, Sicart offers case studies examining single-player games, multiplayer games, and online gameworlds from an ethical perspective. He explores issues raised by unethical content in computer games and its possible effect on players and offers a synthesis of design theory and ethics that could be used as both analytical tool and inspiration in the creation of ethical gameplay. (shrink)

ABSTRACTAn essential and yet often neglected motivation of Bernard Suits’ elevation of gameplay to the ideal of human existence is his account of capacities along perfectionist lines and the function of games in eliciting them. In his work Suits treats the expression of these capacities as implicitly good and the purest expression of the human telos. Although it is a possible interpretation to take Suits’ utopian vision to mean that gameplay in his future utopia must consist of the logically (...) inevitable replaying of activities we conduct in the present for instrumental reasons, because gameplay for Suits is identical with the expression of sets of capacities specifically elicited by game rules, it is much more likely that he intends utopian gameplay to be an endless series of carefully crafted opportunities for the elicitation of special capacities, and thus embody his ideal of existence. This article therefore provides a new lens for understanding both... (shrink)

Abstract In this article we develop a relational understanding of sociality, that is, an account of social life that takes relation as primary. This stands in contrast to the common assumption that relations arise when subjects interact, an account that gives logical priority to separation. We will develop this relational understanding through a reading of the work of Martin Buber, a social philosopher primarily interested in dialogue, meeting, relationship, and the irreducibility and incomparability of reality. In particular, the article contrasts (...) Buber’s work with that of poststructuralist theorists who take as their starting point the deconstruction of the Hegelian logic of binary oppositions. Deconstruction understands difference as the excess that undoes the binary, but Buber, we argue, shows how difference derives from the primacy and ontological undefinability of relation. Relational logic does not exclude the logic of separations and oppositions: relation is the primal ground that makes separations possible. Content Type Journal Article Pages 1-13 DOI 10.1007/s11841-011-0278-9 Authors Andrew Metcalfe, School of Social Sciences and International Studies, University of New South Wales, Sydney, NSW 2052, Australia Ann Game, School of Social Sciences and International Studies, University of New South Wales, Sydney, NSW 2052, Australia Journal Sophia Online ISSN 1873-930X Print ISSN 0038-1527. (shrink)

The emergence of shared symbol systems is considered to be a pivotal moment in human evolution and human development. These changes are normally explained by reference to changes in people's internal cognitive processes. We present 2 experiments which provide evidence that changes in the external, collaborative processes that people use to communicate can also affect the structure and organization of symbol systems independently of cognitive change. We propose that mutual‐modifiability—opportunities for people to edit or manipulate each other's contributions—is a key (...) constraint on the emergence of complex symbol systems. We discuss the implications for models of language development and the origins of compositionality. (shrink)

We consider how cue-reading, sensory-manipulation, and signaling games may initially evolve from ritualized decisions and how more complex games may evolve from simpler games by polymerization, template transfer, and modular composition. Modular composition is a process that combines simpler games into more complex games. Template transfer, a process by which a game is appropriated to a context other than the one in which it initially evolved, is one mechanism for modular composition. And polymerization is a (...) particularly salient example of modular composition where simpler games evolve to form more complex chains. We also consider how the evolution of new capacities by modular composition may be more efficient than evolving those capacities from basic decisions. (shrink)

ABSTRACTBernard Suits and other formalists endorse both the logical incompatibility thesis and the view that rule-breakings resulting in penalties can be a legitimate part of a game. This is what Fred D’Agostino calls ‘the problem of penalties’. In this paper, I reject both Suits’ and D’Agostino’s responses to the problem and argue instead that the solution is to abandon Suits’ view that the constitutive rules of all games are alike. Whereas the logical incompatibility thesis applies to games in (...) which players’ actions are perfectly controlled, it does not apply to sports. This insight not only justifies the rejection of formalism as a theory about the nature of sport but it also helps explain the greater normative complexity of sports, which in turn leads to the idea that in sports ‘cheating’ should be interpreted as a genus. (shrink)

Games: Agency as Art is wonderful, and in my opinion the most important book in the philosophy of games since Bernard Suits’ The Grasshopper. In effect, Nguyen takes Suits’ idea of ‘reverse English...

We consider how cue-reading, sensory-manipulation, and signaling games may initially evolve from ritualized decisions and how more complex games may evolve from simpler games by polymerization, template transfer, and modular composition. Modular composition is a process that combines simpler games into more complex games. Template transfer, a process by which a game is appropriated to a context other than the one in which it initially evolved, is one mechanism for modular composition. And polymerization is a (...) particularly salient example of modular composition where simpler games evolve to form more complex chains. We also consider how the evolution of new capacities by modular composition may be more efficient than evolving those capacities from basic decisions. (shrink)

This chapter examines the role played by derogatory terms (e.g., ‘inyenzi’ or cockroach, ‘inzoka’ or snake) in laying the social groundwork for the genocide of the Tutsi in Rwanda in 1994. The genocide was preceded by an increase in the use of anti-Tutsi derogatory terms among the Hutu. As these linguistic practices evolved, the terms became more openly and directly aimed at Tutsi. Then, during the 100 days of the genocide, derogatory terms and coded euphemisms were used to direct killers (...) to their victims. Understanding these speech acts helps to illuminate the important ways that power is enacted through discourse, how speech acts can prepare the way for physical and material acts, and how speech generates permissions for actions hitherto uncountenanced. Studying the role of speech acts and linguistic practices in laying the groundwork of the genocide illuminates how patterns of speech acts become linguistic practices that constitute permissibility conditions for non-linguistic behaviors. Further, the analysis presented here helps to make sense of the view that a steady, deep, and widespread derogation of a group can be part and parcel of genocide, not only an antecedent to it. (shrink)

Wittgenstein plays with language throughout his later philosophy. Imaginary scenes and invented languages turn metaphysical concerns into conceptual play. He sometimes describes his activities as five finger exercises in thinking—exercises that enable us to think differently.

It is widely agreed that humans have specific abilities for cooperation and culture that evolved since their split with their last common ancestor with chimpanzees. Many uncertainties remain, however, about the exact moment in the human lineage when these abilities evolved. This article argues that cooperation and culture did not evolve in one step in the human lineage and that the capacity to stick to long-term and risky cooperative arrangements evolved before properly modern culture. I present evidence that Homo heidelbergensis (...) became increasingly able to secure contributions form others in two demanding Paleolithic public good games (PPGGs): cooperative feeding and cooperative breeding. I argue that the temptation to defect is high in these PPGGs and that the evolution of human cooperation in Homo heidelberngensis is best explained by the emergence of modern-like abilities for inhibitory control and goal maintenance. These executive functions are localized in the prefrontal cortex and allow humans to stick to social norms in the face of competing motivations. This scenario is consistent with data on brain evolution that indicate that the largest growth of the prefrontal cortex in human evolution occurred in Homo heidelbergensis and was followed by relative stasis in this part of the brain. One implication of this argument is that subsequent behavioral innovations, including the evolution of symbolism, art, and properly cumulative culture in modern Homo sapiens , are unlikely to be related to a reorganization of the prefrontal cortex, despite frequent claims to the contrary in the literature on the evolution of human culture and cognition. (shrink)

Some video games are said to be philosophical. Despite video games having received some attention in academic philosophy, that contention has not been sufficiently addressed. This paper investigates in what sense video games might be properly called “philosophical”. To this end, I utilize Wittgenstein’s distinction between saying and showing to get into view how some video games might be properly called philosophical. This leads to two senses of being philosophical: a conventional sense of expressing philosophy through (...) propositions, i.e., through saying, and a sense of being genuinely philosophical by expressing philosophical thought through showing. I argue that the conventional sense is not sufficient to call video games philosophical, leaving the question whether there are video games which satisfy the conditions of being genuinely philosophical. I furthermore contend that there are at least some examples of video games which qualify as being philosophical, e.g., Papers, Please and The Stanley Parable. (shrink)

Cohen and Meskin 2006 have recently proposed a novel counterfactual account of information. I argue that it is a step down from its intended target, namely Dretske's 1981 theory of information. Thinking of the information carried by signals in terms of counterfactuals leads to falsely diagnosing bona fide instances of information transmission as not being instances of information transmission at all, with major loss of explanatory power.

In recent years a growing number of democratic theorists have proposed ways to increase citizen engagement, while channeling those democratic energies in positive directions and away from systematic marginalization, exclusion and intolerance. One novel answer is provided by a strain of democratic theory known as agonistic pluralism, which valorizes adversarial engagement and recognizes the marginalizing tendencies implicit in drives to consensus and stability. However, the divergences between competing variants of agonistic pluralism remain largely underdeveloped or unrecognized. In this article, I (...) address this shortcoming, examining these strains of agonism around the constraints placed upon democratic discourse. I argue that the ‘associative agonism’ of theorists such as Bonnie Honig and William Connolly offers the best means for cultivating virtues necessary to revitalize a contentious democratic politics which also fosters receptivity to pluralism and difference. (shrink)

Human-Computer Interaction (HCI) and games set a new domain in understanding people’s motivations in gaming, behavioral implications of game play, game adaptation to player preferences and needs for increased engaging experiences in the context of HCI serious games (HCI-SGs). When the latter relate with people’s health status, they can become a part of their daily life as assistive health status monitoring/enhancement systems. Co-designing HCI-SGs can be seen as a combination of art and science that involves a meticulous collaborative (...) process. The design elements in assistive HCI-SGs for Parkinson’s Disease (PD) patients, in particular, are explored in the present work. Within this context, the Game-Based Learning (GBL) design framework is adopted here and its main game-design parameters are explored for the Exergames, Dietarygames, Emotional games, Handwriting games, and Voice games design, drawn from the PD-related i-PROGNOSIS Personalized Game Suite (PGS) (www.i-prognosis.eu) holistic approach. Two main data sources were involved in the study. In particular, the first one includes qualitative data from semi-structured interviews, involving 10 PD patients and four clinicians in the co-creation process of the game design, whereas the second one relates with data from an online questionnaire addressed by 104 participants spanning the whole related spectrum, i.e., PD patients, physicians, software/game developers. Linear regression analysis was employed to identify an adapted GBL framework with the most significant game-design parameters, which efficiently predict the transferability of the PGS beneficial effect to real-life, addressing functional PD symptoms. The findings of this work can assist HCI-SG designers for designing PD-related HCI-SGs, as the most significant game-design factors were identified, in terms of adding value to the role of HCI-SGs in increasing PD patients’ quality of life, optimizing the interaction with personalized HCI-SGs and, hence, fostering a collaborative human-computer symbiosis. (shrink)

We present a new proof of soundness/completeness of tableaux with respect to dialogical games in Classical First-Order Logic. As far as we know it is the first thorough result for dialogical games where finiteness of plays is guaranteed by means of what we call repetition ranks.