Among the many possible approaches to dealing with logical omniscience, I consider here awareness and impossible worlds structures. The former approach, pioneered by Fagin and Halpern, distinguishes between implicit and explicit knowledge, and avoids logical omniscience with respect to explicit knowledge. The latter, developed by Rantala and by Hintikka, allows for the existence of logically impossible worlds to which the agents are taken to have access; since such worlds need not behave consistently, the agents’ knowledge is fallible relative to logical (...) omniscience. The two approaches are known to be equally expressive in propositional systems interpreted over Kripke semantics. In this paper I show that the two approaches are equally expressive in propositional systems interpreted over Montague-Scott (neighborhood) semantics. Furthermore, I provide predicate systems of both awareness and impossible worlds structures interpreted on neighborhood semantics and prove the two systems to be equally expressive. (shrink)

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)

Collective intentionality is one of the most fundamental notions in social ontology. However, it is often thought to refer to a capacity which does not presuppose the existence of any other social facts. This chapter critically examines this view from the perspective of one specific theory of collective intentionality, the theory of Margaret Gilbert. On the basis of Gilbert’s arguments, the chapter claims that collective intentionality is a highly contingent achievement of complex social practices and, thus, not a basic social (...) phenomenon. The argument proceeds in three steps. First, Gilbert’s thesis that certain kinds of collective intentionality presuppose joint normative commitments is introduced. Second, it is argued that, on this view, individual commitments can only constitute the relevant kinds of collective intentional states if there are socially shared “principles of membership” that connect the force of individual commitments to a shared content. Third, it is shown that strong collective intentionality depends on the practical acceptance of shared norms and on the establishment of authority relations through mutual recognition. (shrink)

Ordinary common knowledge is formally expressed by strong probabilistic common belief. How strong exactly? The question can be answered by drawing from the similar equivalence, recently explored, between plain and probabilistic individual beliefs. I argue that such a move entails that common knowledge displays a double fragility: as a description of a collective state and as a phenomenon, because it can respectively disappear as group size increases, or more worryingly as the epistemic context changes. I argue that despite this latter (...) fragility, the effects of common knowledge on action are robust. Unfortunately, this in turn leads to a third fragility, that of the concept of common knowledge, which threatens to collapse on probabilistic common belief. This also reveals a disanalogy between the individual and the collective cases. I finally pinpoint the subtle difference entailed by the two concepts, expressed in terms of the attitude towards contrary evidence or of the agents’ awareness. As a result, common knowledge can be defended as a concept, which refers to a fragile yet distinct collective attitude. (shrink)

The problem of cooperation for rational actors comprises two sub problems: the problem of the intentional object (under what description does each actor perceive the situation?) and the problem of common knowledge for finite minds (how much belief iteration is required?). I will argue that subdoxastic signalling can solve the problem of the intentional object as long as this is confined to a simple coordination problem. In a more complex environment like an assurance game signals may become unreliable. Mutual beliefs (...) can then bolster the earlier attained equilibrium. I will first address these two problems by means of an example, in order to draw some more general lessons about combining evolutionary theory and rationality later on. (shrink)

This article proposes two interpretations of the concept of belief hierarchies in Bayesian game theory: the behaviorist interpretation and the mentalist interpretation. On the former, belief hierarchies are derived from the players’ preferences over acts. On the latter, they are causal mechanisms that are responsible for the players’ choices and preferences over acts. The claim is that the epistemic program in game theory is potentially confronted with a dilemma regarding which interpretation should be adopted. If the behaviorist interpretation of belief (...) hierarchies is retained, then Bayesian game theory cannot account for the players’ reasoning that leads to the generation of specific belief hierarchies and thus to the implementation of a specific strategy profile in a game. If the mentalist interpretation is retained, then belief hierarchies appear to be unnecessarily and unrealistically complex objects and that as a result they fail to provide reasonable epistemic foundations for various solution concepts. In other words, neither interpretation seems to allow the epistemic program to fulfill all its aims. I suggest however that the mentalist interpretation can be arranged to escape this dilemma. (shrink)

This paper investigates the epistemic assumptions that David Lewis makes in his account of social conventions. In particular, I focus on the assumption that the agents have common knowledge of the convention to which they are parties. While evolutionary analyses show that the common knowledge assumption is unnecessary in certain classes of games, Lewis’ original account (and, more recently, Cubitt and Sugden’s reconstruction) stresses the importance of including it in the definition of convention. I discuss arguments pro et contra to (...) argue that, although the assumption might be relevant to a descriptively adequate account of social convention, it is not required for its rational reconstruction. I then point out that Lewis’ account, properly speaking, is of common reason to believe, rather than of common knowledge, and argue that, in order to formalize aptly the distinction between reason to believe and belief, standard formal epistemic models need to be supplemented with so-called awareness structures. Finally, I stress that the notion of knowledge implicit in Lewis’ text involves interesting elements that cannot be captured in the standard propositional formalizations, but need the full expressive force of quantified epistemic logic. (shrink)

The central philosophical task posed by conventions is to analyze what they are and how they differ from mere regularities of action and cognition. Subsidiary questions include: How do conventions arise? How are they sustained? How do we select between alternative conventions? Why should one conform to convention? What social good, if any, do conventions serve? How does convention relate to such notions as rule, norm, custom, practice, institution, and social contract? Apart from its intrinsic interest, convention is important because (...) philosophers frequently invoke it when discussing other topics. A favorite philosophical gambit is to argue that, perhaps despite appearances to the contrary, some phenomenon ultimately results from convention. Notable candidates include: property, government, justice, law, morality, linguistic meaning, necessity, ontology, mathematics, and logic. (shrink)

David Lewis is widely regarded as the philosopher who introduced the concept of common knowledge. His account of common knowledge differs greatly from most later accounts in philosophy and economy, with the central notion of his theory being ‘having reason to believe’ rather than ‘knowledge’. Unfortunately, Lewis’s account is rather informal, and the argument has a few gaps. This paper assesses two major attempts to formalise Lewis’s account and argues that these formalisations are missing a crucial aspect of this account. (...) Therefore, a new reconstruction is proposed, which explicitly discusses ‘reasons’ and uses a logic inspired by justification logic. (shrink)

Famously, Kripke has argued that the central portion of the Philosophical Investigations describes both a skeptical paradox and its skeptical solution. Solving the paradox involves the element of the community, which determines correctness conditions for rule-following behavior. What do such conditions precisely consist of? Is it accurate to say that there is no fact to the matter of rule following? How are the correctness conditions sustained in the community? My answers to these questions revolve around the idea that a rule (...) is followed insofar as a convention is in place. In particular, I consider the game-theoretic definition of convention offered by David Lewis and I show that it illuminates essential aspects of the communitarian understanding of rule-following. Make the following experiment: say “It’s cold here” and mean “It’s warm here”. Can you do it?Ludwig Wittgenstein, Philosophical Investigations, 1953, §510.I can’t say “it’s cold here” and mean “it’s warm here”—at least, not without a little help from my friends.David Lewis, Convention. (shrink)

This paper examines the perceptual and reasoning processes that underpin regularities in behaviour. A distinction is made between situations as they are, or as described by an omniscient external observer, and situations as agents see or frame them. Different frames can stem from differences in culture, experience and personality, as well as from other context-specific factors. Drawing upon David Lewis’sConvention(1969), I show that consistency between reasoning and experience does not preclude individuals from understanding the same state of affairs differently, and (...) that agents’ beliefs about others’ beliefs may well be wrong. As a result, cases may occur in which conventions are sustained by false but mutually consistent and self-confirming beliefs. (shrink)

We present a new class of models of players’ reasoning in non-cooperative games, inspired by David Lewis's account of common knowledge. We argue that the models in this class formalize common knowledge of rationality in a way that is distinctive, in virtue of modelling steps of reasoning; and attractive, in virtue of being able to represent coherently common knowledge of any consistent standard of individual decision-theoretic rationality. We contrast our approach with that of Robert Aumann, arguing that the former avoids (...) and diagnoses certain paradoxes to which the latter may give rise when extended in particular ways. (shrink)

Defined and formalized several decades ago, widely used in philosophy and game theory, the concept of common knowledge is still considered as problematic, although not always for the right reasons. I suggest that the epistemic status of a group of human agents in a state of common knowledge has not been thoroughly analyzed. In particular, every existing account of common knowledge, whether formal or not, is either too strong to fit cognitively limited individuals, or too weak to adequately describe their (...) state. I provide a realistic definition of common knowledge, based on a formalization of David Lewis’ seminal account and show that it is formally equivalent to probabilistic common belief. This leads to a philosophical analysis of common knowledge which answers several common criticisms and sheds light on its nature. (shrink)

:Most game-theoretic accounts of institutions reduce institutions to behavioural patterns the players are incentivized to implement. An alternative account linking institutions to rule-following behaviour in a game-theoretic framework is developed on the basis of David Lewis’s and Ludwig Wittgenstein's respective accounts of conventions and language games. Institutions are formalized as epistemic games where the players share some forms of practical reasoning. An institution is a rule-governed game satisfying three conditions: common understanding, minimal awareness and minimal practical rationality. Common understanding has (...) a strong similarity with Ludwig Wittgenstein's concept of lebensform while minimal awareness and minimal practical rationality capture the idea that rule-following is community-based. (shrink)

This article presents a community-based account of salience as an alternative and a complement to the ‘natural salience’ approach which is endorsed by almost all game theorists who use this concept. While in the naturalistic approach, salience is understood as an objective and natural property of some entities, the community-based account claims that salience is a function of community membership. Building on David Lewis’s theory of common knowledge and on some of its recent refined accounts, I suggest that salience acts (...) as a correlating device in a correlated equilibrium. What is constitutive of salience is common understanding, the fact that agents have common knowledge that they share the same modes of reasoning with respect to a well-identified set of events. I argue that the basis for common understanding is community membership. The relevance of this account stems from the fact that it answers the objection that salience is either unnecessary or unable to account for coordination between rational agents. (shrink)