We study term modal logics, where modalities can be indexed by variables that can be quantified over. We suggest that these logics are appropriate for reasoning about systems of unboundedly many reasoners and define a notion of bisimulation which preserves propositional fragment of term modal logics. Also we show that the propositional fragment is already undecidable but that its monodic fragment is decidable, and expressive enough to include interesting assertions.

In large anonymous games, payoffs are determined by strategy distributions rather than strategy profiles. If half the players choose a strategy a, all of them get a certain payoff, whereas if only one-third of the players choose that strategy, the players choosing may get a different payoff. Strategizing in such a game by a player involves reasoning about not who does what but what fraction of the population makes the same choice as that player.We present a simple modal logic to (...) reason about such strategization in large games. Since actual numbers are irrelevant, a player need not even know how many others are in the game, thus leading to the consideration of games with unboundedly many players. The logic we consider is the propositional modal fragment of a first order modal logic. We show that it has a bounded agent property, giving us a decision procedure for satisfiability. We also present a complete axiomatization of the valid formulas. The logic admits a natural model checking algorithm and bisimulation characterization. The logic with quantification over players is more appropriate, but is undecidable. (shrink)

Reasoning about equilibria in normal form games involves the study of players’ incentives to deviate unilaterally from any profile. In the case of large anonymous games, the pattern of reasoning is different. Payoffs are determined by strategy distributions rather than strategy profiles. In such a game each player would strategise based on expectations of what fraction of the population makes some choice, rather than respond to individual choices by other players. A player may not even know how many players there (...) are in the game. Logicising such strategisation involves many challenges as the set of players is potentially unbounded. This suggests a logic of quantification over player variables and modalities for player deviation, but such a logic is easily seen to be undecidable. Instead, we propose a propositional modal logic using player types as names and implicit quantification over players. With modalities for player deviation and transitive closure, the logic can be used to specify game equilibrium and interesting patterns of reasoning in large games. We show that the logic is decidable and present a complete axiomatisation of the valid formulas. (shrink)

Although we think 1 of the basic purposes of journalism is to provide information vital to enhancing citizen autonomy, we also see this goal as being in direct tension with the power news media hold and wield, power that may serve to undercut, rather than enhance, citizen autonomy. We argue that the news media are ethically constrained by proceduralism, resulting in journalists asserting power inappropriately at the individual level, and unwittingly surrendering moral authority institutionally and globally. Anonymity, institutionalization, and routinization (...) cloak power relationships among citizens, journalists and the institutions of which they are a part, ultimately inculcating these distinctly Western values in the global community. (shrink)

Bruno Latour equates criticism with an iconoclastic urge that is underpinned by the project of modernity. Latour's attack on iconoclastic criticism is therefore closely linked to his rejection of the modern framework. This paper examines Latour's analysis of modernity and the ways in which he connects criticism to the project of modernity. Through our analysis of Latour's reading of an episode from U.R. Anantha Murthy's novel Bharathipura, we argue that critique is actually an integral part of a truly democratic (...) knowledge-making process as well as politics. (shrink)