Reasoning with reasons: Lewis on common knowledge

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.


Introduction
Common knowledge plays an important role in our social interactions, communication, and coordination of activities.For instance, Clark and Marshall (1981) show that the felicitous use of a definite referring expression requires common knowledge, and Fagin et al. (1995) explain how common knowledge enables people to coordinate their actions.
Logicians, economists, philosophers, and psychologists have analysed the concept of common knowledge, and various, but broadly equivalent, formalisations of common knowledge have been proposed (Hoek and Meyer 1997;Heifetz 1999;van Ditmarsch et al. 2008).Common knowledge is a stronger notion than shared knowledge.Ann and Bob have shared knowledge about ϕ if and only if Ann knows ϕ and Bob knows ϕ.Common knowledge requires not only shared knowledge but also that Ann and Bob both know that both know ϕ, Bob and Ann both know that both know that both know ϕ, and so on ad infinitum.
Intuitively, common knowledge is information that is public and fully transparent, for instance, after a public announcement.Common knowledge also ensues from situations like the following: Suppose that you and I are dining together and that we are seated across from one another and that on the table between us is a rather conspicuous candle.We would therefore be in a situation in which I am facing the candle and you, and you are facing the candle and me.(Consequently, a situation in which S is facing the candle and A, who is facing the candle and S, who is facing the candle and A, who is facing the candle and S, who is facing : : : ) I submit that were this situation to be realized, you and I would mutually know* that there is a candle on the table. 1 (Schiffer 1972: 31) A goat walks into the room, or all of the lights suddenly go out.In such a case, it immediately becomes common knowledge that the event has happened -that there is a goat in the room, or that the lights have gone out.(Stalnaker 2014: 47) The concept of common knowledge has been criticised for being unrealistic.The basic problem is that knowledge is something psychological, a mental state.Thus, common knowledge requires that individuals can know the mental states of other individuals, which is impossible according to some philosophers (Paternotte 2017: 452).But more importantly, common knowledge presupposes the possibility of having an infinite series of mental states about mental states about mental states : : : , which is arguably too much to fit in our minds (Sperber and Wilson 1995).
Given that common knowledge seems to be indispensable as well as problematic, it is worth looking again at the origins of the concept.Although David Lewis (1969) is widely regarded as the philosopher who introduced the concept of common knowledge, his account of common knowledge differs greatly from most later accounts.The central notions of his theory are not psychological states, like knowledge or belief, but 'reasons to believe'.Reasons to believe are normative relations between persons and propositions, not mental states.
Lewis discusses what essential requirements a situation must meet in order to generate higher-order reasons to believe.Intuitively, these requirements are that the situation is open and transparent for all participants.A situation that satisfies these requirements Lewis calls a 'basis for common knowledge'.He proves that such a basis for common knowledge indeed generates an infinite series of higher-order reasons to believe: everyone has reason to believe, everyone has reason to believe that everyone has reason to believe, and so on.
Unlike most theories about common knowledge, Lewis's account does not suffer from the problems associated with higher-order mental states.That is why his theory deserves renewed attention.Unfortunately, his account is rather informal, and the argument is incomplete.There have been several attempts to formalise his account and close the gaps, but none of these proposals is entirely satisfactory.This paper aims to give a new interpretation of Lewis's theory that closes the gaps in his account, using logical tools that have become available in the last decade.
In section 2, I examine and criticise Lewis's account, starting with the central concepts of his theory: 'reasons to believe', and 'basis for common knowledge'.Then I discuss Lewis's theorem which says that a basis for common knowledge generates an infinite sequence of higher-order reasons to believe.It will be shown that there is a gap in his argument for this thesis.Several philosophers have tried to close this gap, either by making additional assumptions or by taking a different approach to proving the theorem.
Section 3 discusses how Cubitt and Sugden (2003) seek to close the gap in Lewis's argument using an interpretation of the core concepts 'reason to believe' and 'indication'.This discussion is followed by a presentation of Sillari's (2005) approach, which uses a possible worlds semantics to implement Lewis's theory.
Section 4 proposes an alternative way of completing Lewis's argument.I give a novel interpretation of the concept of reason to believe that is more in line with Lewis's text, using a logic that makes it possible to reason about reasons.In this logic, which is motivated on independent grounds, Lewis's argument becomes fully explicit and valid.
While the main focus of the paper is on reasons to believe, actual beliefs, too, are important in Lewis's theory of conventions, because people act on their beliefs when solving coordination problems.Lewis gives a rather informal account of the relation between beliefs and reasons to believe; section 5 discusses proposals for making his account more explicit.

Lewis's account of common knowledge
In this section, I outline Lewis's theory of common knowledge.His definition goes as follows: Let us say that it is common knowledge in a population P that ___ if and only if some state of affairs A holds such that: (1) Everyone in P has reason to believe that A holds.
(2) A indicates to everyone in P that everyone in P has reason to believe that A holds.(3) A indicates to everyone in P that ___.
We can call any such state of affairs A a basis for common knowledge in P that ___.(Lewis 1969: 56).
According to Lewis, a basis for common knowledge generates an infinite chain of higher-order reasons to believe: everyone in P has reason to believe that ___, everyone in P has reason to believe that everyone in P has reason to believe ___, and so on ad infinitum.Let us call this 'Lewis's theorem'.
Note that Lewis's theorem does not say or imply that a basis for common knowledge generates an infinite series of knowledge states.Hence, the term 'common knowledge' is a misnomer, as Lewis himself came to realise: A better definition of overt belief, under the name of 'common knowledge', may be found in my Convention (Cambridge, Mass., 1969), pp.52-60.That name was unfortunate since there is no assurance that it will be knowledge, or even that it will be true.(Lewis 1978: 44, fn13) Therefore, it would be more appropriate to call this infinite sequence of reasons to believe 'common reason to believe' instead of 'common knowledge'.Commentators on Lewis's theory usually keep the name 'common knowledge' (Clark and Marshall 1981;Vanderschraaf 1998;Cubitt and Sugden 2003), but some use the term 'common reason to believe' (Sillari 2005).In the following both terms will be used, conforming to the authors discussed.
Although 'reason to believe' and 'indication' are central to Lewis's definition of common knowledge, he does not provide formal definitions of these notions.In the following, I will try to provide definitions that stay as close as possible to Lewis's text.An obvious starting point for defining 'reason to believe' is to treat it as a relation between individuals and propositions.This is the approach taken by philosophers who have analysed Lewis's argument (Vanderschraaf 1998;Cubitt and Sugden 2003;Sillari 2005).I will discuss this approach in section 4 and then proceed to offer a novel approach, based on the idea that reasons to believe are objects of a sort, at least in the sense that they can be quantified over.For now, I will remain neutral on this point and use R i ϕ as an abbreviation for 'i has reason to believe ϕ'. 2Indication' is defined by Lewis as follows: Let us say that A indicates to someone i that ___if and only if, if i had reason to believe that A held, i would thereby have reason to believe that ___ (Lewis 1969: 52-53, my emphasis).
Following Vanderschraaf (1998), Cubitt and Sugden (2003) and Sillari (2005), I treat 'indication' as a relation between an individual, a state of affairs, and a proposition, using Ind i Aϕ as an abbreviation for 'the state of affairs A indicates to agent i that ϕ'.The question now is how we should interpret this relation.The difficulty is that Lewis uses the subjunctive mood and 'if : : : thereby' instead of the standard logical operator 'if : : : then'.This indicates that he does not mean a material implication.Moreover, the assumption that a material implication is meant leads to implausible conclusions.For, assume: The left-to-right part of (A0) states This seems intuitively plausible, and most importantly, it captures Lewis's statement: "Consider next that our definition of indication yields a principle of detachment: if A indicates to x that ___ and x has reason to believe that A holds, then x has reason to believe that ___." (Lewis 1969: 53).Lewis uses this inference in every step of his argument.
However, on the face of it, at least, the right-to-left part of (A0) does not seem correct.For one thing, it makes Ind i Aϕ vacuously true if i does not have a reason to believe A. However, in Lewis's analysis, the indication relation is only used in contexts in which an individual does have reason to believe A, and therefore, this objection does not carry much weight.A more serious objection is that, according to the right-to-left part of (A0), Ind i Aϕ is true for every proposition ϕ such that i has reason to believe ϕ, which makes the indication relation trivial.
Apparently, the indication relation must be stronger than material implication.In section 4, I propose a new account of indication that does better justice to Lewis's formulation.

Lewis's theorem
We can now begin to explicate Lewis's definition of a basis for common knowledge as follows: a state of affairs A is a basis for common knowledge of a proposition ϕ in a group P if and only if A holds and the following hold for all i and j in P: R i A holds (C1) According to Lewis, these conditions are necessary but not sufficient for generating an infinite chain of higher-order reasons to believe.In addition, "suitable ancillary premises regarding our rationality, inductive standards, and background information" (Lewis 1969: 53) are required.Lewis develops these premises as follows.
Consider that if A indicates something to i, and if j shares i's inductive standards and background information, then A must indicate the same thing to j. (53) because What A indicates to i will depend, therefore, on i's inductive standards and background information.( 53) Lewis then states: Therefore, if A indicates to i that j has reason to believe that A holds, and if A indicates to i that ___, and if i has reason to believe that j shares i's inductive standards and background information, then A indicates to i that j has reason to believe that ___ (this reason being j's reason to believe that A holds). ( 53) 3 Accordingly, Lewis assumes that the members of P have reason to believe they share the same inductive standards and background information, at least nearly enough so that A will indicate the same things to all of them and, on that basis, he assumes the following: However, Lewis offers no formal proof that this follows from his definition of indication, or from his description of rationality, inductive standards and background information.Therefore, we have to treat this as an axiom.This axiom is needed to introduce higher-order indications that, using (A1), then give rise to higher-order reasons to believe.Lewis now uses (S) to outline a proof that, if conditions (C1)-(C3) are met, there is common knowledge of ϕ, i.e. that all finitely nested formulas R i R j . . .R k ϕ hold for all i; j; . . .; k in P (Lewis's theorem).The first steps of his proof are these: first-order reasons to believe (1) 8i 2 P : Ind i Aϕ C3 (2) 8i 2 P : R i ϕ C1; 1; A1 second-order reasons to believe (3) 8i; j 2 P : Ind i A R j ϕ C2; 1; S (4) 8i; j 2 P : R i R j ϕ C1; 3; A1 third-order reasons to believe (5) 8i; j; k 2 P : Ind i A R j R k ϕ C2; 3; S (6) 8i; j; k 2 P : R i R j R k ϕ C1; 5; A1 higher-order reasons to believe (7) etc: In the next section, I will first explain how Cubitt and Sugden (2003) formalise this account and thereby clarify the plausibility of (S) and how Sillari (2005) proposes a very different approach to prove the theorem.
3 Remarkably, on p. 54 Lewis uses the expression 'I believe that you share my inductive standards and background information' instead of 'I have reason to believe that you share my inductive standards and background information'.This is probably a slip of the pen, because otherwise his account is only about reasons to believe and not about actual beliefs.

Previous proposals for developing the theory
3.1.Cubitt and Sugden Cubitt and Sugden (2003) start their reconstruction of Lewis's theory by giving an interpretation of the key concepts of this theory.First, 'having a reason to believe' is interpreted as a two-place relation between agents and propositions, as follows: To say that some individual i has reason to believe some proposition x is to say that x is true within some logic of reasoning that is endorsed by (that is, accepted as a normative standard by) person i.For x to be true within such a logic of reasoning, it must either be treated as self-evident or be derivable from propositions that are treated as self-evident using the inference rules of the logic.
Self-evidence may be either a priori or obtained through observation; the rules of inference may be deductive or inductive.(Cubitt and Sugden 2003: 184) Second, 'indication' is interpreted as a three-place relation between agents, states of affairs and propositions.Lewis's formulation "if i had reason to believe that A held, i would thereby have reason to believe that x" is read as "i's reason to believe that A holds provides i's reason for believing that x is true".When combined with the above definition of reason to believe, this leads to: Our interpretation of the formula 'A ind i x' is that, in the logic of reasoning that i endorses, there is an inference rule which legitimates inferring x from 'A holds'.( 187) The central concept in this interpretation of Lewis's account is thus the logic of reasoning that someone endorses.This idea has been further elaborated in Cubitt and Sugden (2014).In this paper, the phrase 'logic of reasoning' is replaced by 'reasoning scheme'.Each agent has his own reasoning scheme, which consists of a non-empty set of axioms and a set of inference rules that contains all rules of logically valid inferences.This reasoning scheme is taken to be consistent, i.e. no contradiction can be derived.On this basis they assume that the indication relation has the following properties: 4 8i 2 P : In fact, Cubitt and Sugden (2003) assume a stronger version of (A6): 8i; j 2 P : But in their proof, they only use the special case in which A 0 =A.

Economics and Philosophy
(C4) is based on Lewis's assumption "Suppose you and I do have reason to believe we share the same inductive standards and background information, at least nearly enough so that A will indicate the same things to both of us : : : " (Lewis 1969: 53).This axiom is not required to hold for all possible propositions, but only for the proposition ϕ in the definition of a basis for common knowledge and for propositions that express first-order or higher-order reasons to believe ϕ.
(A6) is motivated as follows: (A6) says that if i's logic legitimates an inference from 'A holds' to the proposition that j has reason to believe 'A 0 holds', and if i has reason to believe that j's logic legitimates an inference from 'A 0 holds' to x, then i's logic legitimates an inference from 'A holds' to the proposition that j has reason to believe x.' (Cubitt and Sugden 2003: 188) As a further explanation they add If i has reason to believe that j's logic legitimates an inference from (A 0 holds) to x, then, because i's logic obeys the rules of deductive inference, i has reason to believe R j (A' holds) !R j x . Hence, given the antecedent of the previous sentence, if i's logic allows an inference from (A holds) to R j (A 0 holds), it also allows an inference from (A holds) to R j (x).Notice that A6 attributes deductive inference only to i's reasons to believe.It does not postulate anything about what i has reason to believe about the inference rules endorsed by j. (188, fn17) Interestingly, Lewis's axiom (S) deductively follows from (C4) and (A6), as is easy to see.
These three assumptions suffice to prove Lewis's theorem.The first steps of the proof in this reconstruction are as follows: first-order reasons to believe (1) 8i 2 P : Ind i Aϕ C3 (2) 8i 2 P : R i ϕ C1; 1; A1 second-order reasons to believe (3) 8i; j 2 P : R i Ind j Aϕ 1; C4 (4) 8i; j 2 P : Ind i A R j ϕ C2; 1; A6 (5) 8i; j 2 P : R i R j ϕ C1; 4; A1 third-order reasons to believe (6) 8i; j; k 2 P : R i Ind j A R k ϕ 5; C4 (7) 8i; j; k 2 P : Ind i A R j R k ϕ C2; 5; A6 (8) 8i; j; k 2 P : R i R j R k ϕ C1; 5; A1 higher-order reasons to believe (9) etc: Cubitt and Sugden have clarified Lewis's theory by offering an interpretation of the two basic concepts of 'reason to believe' and 'indication'.These interpretations are based upon a model in which each person has a logic of reasoning with axioms and inference rules.In addition, they have replaced the crucial axiom (S) by two axioms, both of which, with the help of the aforementioned interpretations, they have argued to be plausible.These two axioms together imply Lewis's axiom (S).However, Cubitt and Sugden's interpretation of 'has reason to believe' has some drawbacks.
First, it offers no way of representing that someone may have reasons for believing two contradictory propositions.If an agent i has reason to believe a proposition ϕ then ϕ is a theorem in the reasoning scheme that i endorses, according to Cubitt and Sugden (2014).But ϕ and not-ϕ cannot both be true in i's reasoning scheme because a reasoning scheme is supposed to be consistent.It is, however, quite conceivable, that someone has reasons to believe two contradictory propositions.Take, for example, the Nixon diamond scenario (Horty 2012: 27-28).The example is set in the time when Nixon was president of the US.The fact that Nixon is a Quaker and that Quakers usually are pacifists is a reason to believe that Nixon is a pacifist.At the same time, the fact that Nixon is a Republican and that Republicans tend not to be pacifists is a reason to believe that Nixon is not a pacifist.
Second, Cubitt and Sugden's account implies that every agent has reason to believe every tautology because his reasoning scheme contains all rules of valid inferences.This consequence is not implausible in itself but it is unclear whether it is in the spirit of Lewis's approach, according to which our actual beliefs are governed by our reasons to believe: "Anyone who has reason to believe something will come to believe it, provided he has a sufficient degree of rationality."(Lewis 1969: 55) In other words, provided it is not too hard to see that we have reason to believe that ϕ we will believe ϕ.Hence, on Cubitt and Sugden's account, we believe all tautologies that aren't too difficult to work out, and it may be doubted whether this prediction is plausible.

Sillari
Whereas Cubitt and Sugden's account is syntactic, Sillari (2005) adopts a semantic approach to prove Lewis's theorem.In this section, I will successively discuss how Sillari interprets the notions 'reason to believe' and 'indication', how he defines 'common reason to believe', and how he proves Lewis's theorem.
For Sillari 'i has reason to believe ___' is a modal operator R i on propositions that has the following axiomatisation:5 is the K axiom of modal logic, which seems acceptable in this context.(B6) is the rule of necessitation that is standard in modal logic.It says that every agent has reason to believe all tautologies.Sillari argues that "it makes sense to require that an agent has reason to believe what logic dictates, although it is not the case that the agents in the model will come to actually believe all logical truths" (Sillari 2005: 289).
https://doi.org/10.1017/S0266267123000238Published online by Cambridge University Press For reasons discussed at the end of the last subsection, this is potentially problematic.
The axiom (B1) and the rule (B6) make R i a normal modal operator, for which Sillari gives a Kripke semantics.For each agent i there is a relation R i on a set of possible worlds W. The semantics of R i ϕ is given in the usual way: R i ϕ is true in a world w in a model M if and only if ϕ is true in each world that is accessible from w: 'Indication' is treated as a modal operator on pairs of propositions 6 with the following axiomatisation: 7 ) is unproblematic: it is just the left-to-right part of Lewis's definition of indication.But (B2) may be too strong an assumption.It entails that agents have reasons to believe all logical consequences of everything they have reason to believe, which is not uncontroversial.Another objection to this axiom is that it does not fit with Lewis's definition of indication because that definition contains no implication from ϕ to ψ.
The semantics of Ind i ϕψ is given by8 M; w This definition is inconsistent with (B3).To see this, note that while (B3) is equivalent to Ind i ϕ ψ !R i ϕ !R i ψ , (S2) yields Ind i ϕ ψ !ϕ !ψ .Now we construct a counterexample with two worlds, w and v: According to (S2), we have w Ind i ϕ ψ, because w R i ϕ and w ϕ !ψ .So, according to (B3), we have w R i ψ.On the other hand, according to (S1), w 6 R i ψ, because it is not the case that v ψ.9This contradiction poses a problem because both (B3) and (S2) are essential to Sillari's account.The former represents Lewis's definition of indication.The latter plays an essential role in Sillari's semantical proof of Lewis's theorem.There is no obvious way, as far as I can see, to reformulate these principles in such a way that the problem is circumvented.
Clearly, this is a serious problem, but let us put it on one side and consider Sillari's proof of Lewis's theorem (Sillari 2005: 390-391).Sillari first introduces a new 6 Sillari thus drops the distinction between 'states of affairs' and 'propositions'.

7
Sillari uses the notation R i ϕ ) i R i ψ but I will use the notation Ind i ϕψ instead that is employed everywhere else in this paper.modal operator CR G for a group of agents G that stands for "members of G have common reason to believe that : : : ".In order to conveniently express the semantic clause for CR G , he uses the concept of G-reachability: "we say that a world v is G-reachable in k steps from world w iff there is a path of length k from v to w such that the edges between adjacent worlds are labelled by the accessibility relations of members of G".It follows that: " M; w CR G ϕ iff M; v ϕ for all worlds v that are G-reachable from w in any numbers of steps." The proof of Lewis's theorem proceeds by induction on the length of the path.Unfortunately, the inductive step of this proof is either incorrect or the formulation of the theorem is trivial, as is shown in detail in the appendix, and it is doubtful that this can be fixed.
In conclusion, Sillari's proposal is flawed in several respects.Most importantly, it uses two principles, (B3) and (S2), that are mutually inconsistent.Moreover, it uses assumptions that are too strong to be plausible and it replaces Lewis's argument with something entirely different, and therefore it hardly counts as an explication of Lewis's account.
In the next section, I will present a new reconstruction of Lewis's theory by developing the notion of 'reason to believe' a bit further than Lewis did.

Reasoning with reasons
Sillari and Cubitt and Sugden treat 'reason to believe' as an operator on propositions.This treatment misses an important aspect of Lewis's account, as the following quotes illustrate: : : : A indicates to i that j has reason to believe that ___ (this reason being j's reason to believe A holds) (Lewis 1969: 53, my emphasis).
: : : A indicates to someone i that ___ if and only if, if i had reason to believe that A held, i would thereby have reason to believe that ___ (52-53, my emphasis).
In the first quote, Lewis identifies one reason with another, which suggests that reasons should be treated as objects, at least in the sense that two reasons can be the same or different.This suggestion is strengthened by the use of 'thereby' in the second quote, which seems to be saying that the reason to believe ___ is based upon the reason to believe that A holds.
A reason to believe something may be seen as a piece of evidence that supports that belief (Égré et al. 2021: 689).For example, seeing a bright flash of light followed by a loud bang is a reason to believe that a thunderstorm is underway.Or, having seen many people driving on the right and never one on the left, is a reason to believe that almost everyone drives on the right (cf. Lewis 1969: 40).
Based on these observations, I propose to analyse Lewis's argument using a logic that allows us to talk about reasons.My logic is a minimal extension of a subset of justification logic (Artemov and Fitting 2019;Kuznets and Studer 2019).Obviously, justifications and reasons are related concepts (Brandom 2009: 5), and therefore it shouldn't come as a surprise that a version of justification logic can be used to reason about reasons to believe.
It bears emphasising that justification logic was originally developed for quite different purposes than the one pursued here.In mathematical logic, it provides a semantics for intuitionistic logic in which justification terms represent proofs.In this context, t : X represents that t is a proof of proposition X.In formal epistemology, justifications have been used to complement standard possibleworlds analyses of knowledge and belief.So, unlike the proposals discussed in the foregoing, the present account of reasons to believe is motivated entirely on independent grounds.
The language of our logic is based on a countable set of atomic propositions, a finite set of (names for) agents, and countable sets of constants and variables that represent reasons.The formulas of the language are defined inductively as follows: 1. each atomic proposition is a formula 2. if α and β are formulas then α !β and α ^β are formulas 3. if α is a formula, i is an agent and r is a reason, then r : i α is a formula.This formula is to be read as 'r is a reason for agent i to believe α' 4. if α is a formula and i is an agent, then 9r r : i α is a formula.
The logic features an operator, '', for constructing composite reasons: 10 if r and s are reasons, then r s is also a reason.Composite reasons are used to define a version of modus ponens: If an agent i has reason s to believe the implication α !β and reason t to believe α, then s t represents his reason to believe β.So two reasons are needed to infer β.The operator is called 'application' because a reason to believe an implication may be seen as a device that applies to any reason to believe α so as to produce a reason to believe β.Besides a set of axioms for classical propositional logic and the rule of modus ponens, our logic has the following application rule:11 In contrast to the accounts of Cubitt and Sugden and Sillari, this logic does not require that agents have a reason to believe for every tautology.This premise is not needed to prove Lewis's theorem, and as we will see, a relatively weak logic suffices for a proof of that theorem: we only have to assume that agents have a reason to believe that α ^β follows from α and β, and a reason to believe that α !γ follows 10 Justification logic has a second operator '' to form composite justifications with an associated deduction rule, which is not needed here.Besides, this rule would make the logic monotonic.That is undesirable because, contrary to proofs in mathematics, reasons to believe are defeasible.For applications of justification logics with this second operator to (justified) common knowledge, see Artemov (2006) and Bucheli et al. (2011).from α !β and β !γ.The appendix shows that these two assumptions are sufficient.
With this logic in place, we can give a new interpretation of the two basic concepts of Lewis's account.
To begin with, I will interpret 'i has reason to believe that ϕ' as 'i has a reason to believe that ϕ'.I will keep the notation R i ϕ, but with a new meaning, which will help to compare our account with those of Cubitt and Sugden (2003) and Sillari (2005).The new meaning of R i ϕ is: 'there is a reason r such that r : i ϕ'.So R i ϕ is an existential claim: that i has a reason to believe ϕ.Hence, whereas from r : i ϕ we can infer R i ϕ, it is not possible to conclude r : i ϕ from R i ϕ.
Let us now turn to the notion of indication.According to Lewis, Ind i Aϕ means that if i had a reason to believe that A holds, he thereby would have a reason to believe ϕ.Now, suppose i has a reason, say r, to believe that A holds and thereby has reason to believe ϕ.I interpret 'thereby' as meaning that the reason to believe ϕ is, at least partly, provided by r.In our logic, we can formalise this by saying that there is a reason s that, together with r, is the reason to believe ϕ.An obvious choice for the latter reason then is s r.Consequently, s is a reason to believe A ! ϕ. 12Therefore, we interpret 'the state of affairs A indicates to i that ϕ' as 'i has a reason to believe that A implies ϕ'.Accordingly, Ind i Aϕ is an abbreviation of 'there is a reason r such that r : i A ! ϕ '.This interpretation closely follows what Lewis says about indication.In particular, this interpretation takes into account the word 'thereby' in Lewis's definition of indication quoted on page 4.
To demonstrate this, let us assume that A indicates ϕ to i.In our interpretation, this means that there exists a reason s such that s : i A ! ϕ .Then we have to show that if i has a reason to believe that A holds he thereby has a reason to believe ϕ.Suppose i has a reason, say r, to believe that A holds.By rule (AR), we know that there indeed is a reason to believe ϕ, namely s r.This reason contains r as a constituent, which does justice to the suggestion of the word 'thereby' that the reason to believe ϕ is partly provided by the reason to believe that A holds.
Interestingly, this interpretation of indication is consistent with "in the logic of reasoning that i endorses, there is an inference rule which legitimates inferring x from 'A holds' " in Cubitt and Sugden (2003: 187).
Our interpretations of the concepts of reason to believe and indication enable us to close the gaps in Lewis's argument and to formally derive Lewis's theorem.We begin with reformulating the conditions for a state of affairs A that holds to be a basis for common knowledge of a proposition ϕ.
Lewis assumed that the agents have a reason to believe that they share their inductive standards and background information and therefore have a reason to believe that A indicates the same things to them.Cubitt and Sugden translated this assumption into their axiom (C4).By replacing all occurrences of Ind i Aψ in this axiom with R i A ! ψ we get: We will only need this assumption in so far as ψ is one of the propositions ϕ; R i ϕ, R i R j ϕ, R i R j R k ϕ, and so on.Before spelling out Lewis's argument, we formulate three theorems of our logic that will simplify the proof: The proofs of these theorems, which can be found in the appendix, require only a relatively weak logic.In particular, there is no need to assume that the agents have a reason to believe for every tautology, as in the accounts of Cubitt and Sugden and Sillari.
The axiom schemas (A1) and (A6) that Cubitt and Sugden needed to prove Lewis's theorem can be easily deduced in our theory.The proofs can be found in the appendix.Now, we can complete the proof of Lewis's theorem: first-order reasons to believe (1) 8i 2 P : R i A C1 (2) 8i; j 2 P : R i A ! R j A C2 (3) 8i 2 P : R i A ! ϕ C3 (4) 8i 2 P : R i ϕ 3; 1; E1 second-order reasons to believe (5) 8i; j 2 P : R i R j A ! ϕ 3; C4 (6) 8i; j 2 P : R i R j A ! R j ϕ 5; E3 (7) 8i; j 2 P : R i A ! R j ϕ 2; 6; E2 (8) 8i; j 2 P : R i R j ϕ 7; 1; E1 third-order reasons to believe (9) 8i; j; k 2 P : R i R j A ! R k ϕ 7; C4 (10) 8i; j; k 2 P : R i R j A ! R j R k ϕ 9; E3 (11) 8i; j; k 2 P : R i A ! R j R k ϕ 2; 10; E2 (12) 8i; j; k 2 P : R i R j R k ϕ 11; 1; E1 higher-order reasons to believe (13) etc: The last column of this proof shows the role of the different axioms and theorems.Axiom (C4) enables the step to the next higher-order proposition, while theorems (E2) and (E3) allow for this proposition to be transformed into a higherorder reason to believe.These theorems thus do the work that axiom (A6) did in Cubitt and Sugden's formalisation.At first sight, explicit reasons do not seem to play a role in this proof.However, their role is visible in the proofs of theorems (E2) and (E3) which can be found in the appendix.
This proof, like Lewis's own proof, provides just the first steps of an infinite series of steps.However, that is not sufficient for a proper proof.A rigorous proof by mathematical induction is given in the appendix.
In conclusion, I have given new interpretations of 'i has reason to believe' as 'i has a reason to believe' and of 'A indicates ϕ to i' as 'i has a reason to believe that A implies ϕ'.A major advantage of this approach is that the two basic concepts of 'having reason to believe' and 'indication' are reduced to a single concept 'reason to believe'.But more importantly, a minimal logic for reasoning about these reasons with minimal assumptions about inferences enabled us to close the gaps in the proof of Lewis's theorem.

From 'reason to believe' to 'actual belief'
A wise man proportions his belief to the evidence.(Hume 2007) Lewis's theory aims to describe how we coordinate our activities and, therefore, it requires an understanding of beliefs.Specifically, the theory must explain how individuals convert their reasons to believe into actual beliefs because it is only actual beliefs that can shape their behaviour.According to Lewis, only the first few orders of actual belief will be formed because common belief, which is an infinite series of ever-higher orders of belief, is unattainable.This is because the iteration of reasons to believe is "a chain of implications, not of steps in anyone's actual reasoning" but actual reasoning is required to form actual beliefs, necessitating ancillary premises about rationality.In this context, rationality does not refer to decision-theoretic or game-theoretic concepts, such as maximizing expected utility or having unlimited deductive power.Instead, it signifies that someone who has reason to believe something will come to believe it.This kind of rationality comes in degrees, and the higher the order of a reason to believe, the higher the degree of rationality it takes to come to actual belief.
In this paper, three reconstructions of Lewis's theory of reasons to believe have been discussed.In this section, I will consider whether these reconstructions can shed some light on the transition of a reason to believe to an actual belief.Cubitt and Sugden (2003) investigate what Lewis's analysis would look like if they added some strong assumptions about the agents' rationality, acknowledging that these assumptions are unrealistic and not in line with Lewis's intentions.The analysis does, however, lead to an interesting conclusion, namely that a basis A for common knowledge of a proposition ϕ may produce not only common reason to believe ϕ but also common (actual) belief of this proposition.This requires assumptions about the rationality of the agents, the basis for common knowledge, and the indication relation.First, every agent has to be a faultless reasoner, that is, he must believe everything he has reason to believe.Furthermore, this basis A must also be a basis for common knowledge that everyone in P reasons faultlessly.Finally, there are two ancillary premises constraining indication: With these assumptions in place, the agents will have common belief of ϕ.Sillari (2005) models the difference between reasons to believe and actual beliefs by introducing an 'awareness structure' on the set of possible worlds.For each agent i there is a set A i of formulas the agent is aware of.A formula A i ϕ, i.e. agent i is aware of ϕ, means that agent i is sufficiently rational to believe ϕ if he has reason to believe ϕ.So an agent actually believes a formula if and only if two conditions are met: he has reason to believe it, and the formula belongs to his awareness set.This can be expressed as The concept of degrees of rationality, as proposed by Lewis, can be modeled using the awareness structure.First-order rationality of an agent i then means that ϕ is in his awareness set.Second-order rationality means that all formulas of the form B j ϕ are in his awareness set.Now suppose that i also has reason to believe that j has first-order rationality.Then he will have the second-order beliefs B i B j ϕ.Similarly, it is possible to model any level of belief.While this account ties in with Lewis's explanation of the conversion of reasons to believe into actual beliefs, it lacks explanatory power because it reduces rationality to a list of formulas that are taken to be given (Paternotte 2011: 264).
These two accounts show that it is difficult to formalise Lewis's account of acquiring higher-order actual beliefs.Lewis's explanation starts with the generation of an infinite series of ever-higher orders of reasons to believe.He then describes the conversion of reasons to believe into actual beliefs.This conversion follows the structure of the series of reasons to believe.For each step in the conversion, an agent needs a higher degree of rationality and reasons to ascribe a higher degree of rationality to the other agents.Lewis does not spell out what kind of rationality is involved in this process.Neither of the two accounts succeeds in clarifying this account.
The reconstruction proposed in section 4 provides insight into why each step in the hierarchy of higher-order reasons to believe is an implication that does not require actual reasoning, whereas each step in the transition from reason to believe into actual belief requires an ever higher degree of rationality.To proceed from n-order reasons to believe to n 1-order reasons to believe only some weak principles of logic are needed.So, logically speaking, this transition is not complex at all.However, the reasons themselves become increasingly complex at each step.As can be seen in the proof of Lewis's theorem, each step requires the use of theorems (E2) and (E3), each of which uses the application rule (AR) that produces composite reasons.This might explain why the demands on the rationality required for the conversion from reasons to believe into actual beliefs increase rapidly.So, further research along this formalisation of Lewis's theory, might be useful.
Note that we do not assume that every agent has reason to believe every tautology.The only two tautologies for which it is required that every agent has a reason to believe are two quite basic ones. 13 In addition to these two assumptions, we need to assume that the agents have a reason to believe theorem (E1), the direct consequence of the application rule. 14 The logic we use is relatively weak, having characteristics that distinguish it from stronger logics.First, it is only a part of justification logic because it lacks the operator and the corresponding axioms.Second, it avoids logical omniscience by only requiring reasons to believe a limited number of tautologies.Third, it is non-monotonic, meaning that it allows for reasons to believe two contradictory propositions.
Lemma (L1).R i α; R i β ' R i α ^β Proof.Now the assumptions R i α and R i β are the existential formulas 9r r : i α respectively 9r r : i β , so we start the deduction by introducing a constant s and the assumption that it is a reason for i to believe α and a constant t and the assumption that it is a reason for i to believe β.
Then we try to introduce the conclusion, also an existential formula, by finding a term τ and showing that it is a reason for i to believe α ^β: Proof.
13 Johnson-Laird et al. (1992: 428) present evidence that reasoning with conjunction is easier than reasoning with any other connective.Moshman (2020: 23) presents evidence that preschool children can already draw logical inferences concerning transitivity.
14 Taken together, the axioms (T1)-(T3) are consistent because having reasons to believe tautologies cannot create a contradiction.

□ of theorem
Theorem 5 (A6).Ind i A R j A ^Ri Ind j Aϕ !Ind i A R j ϕ Proof.

□ Proof of Lewis's theorem
Lewis's theorem states: if a state of affairs A is a basis for common knowledge of a proposition ϕ in a group P (that is, it satisfies the conditions C1, C2 and C3), then there is common knowledge of ϕ, i.e. all finitely nested formulas R i R j . . .R k ϕ hold for all i; j; . . .; k in P.
In order to provide a complete proof of this theorem, we need two definitions and a lemma.The first definition is a recursive definition that captures the set of formulas to which (C4) applies.The second definition formalises the expression 'all finitely nested formulas R i R j . . .:R k ϕ for all agents i; j; . . .; k in P'.