Abstract
Following Russell, philosophers like Moltmann, Jubien, Boër, and Newman analyse ‘John believes that Mary is French’ as ‘R (John, the property of being French, Mary)’, instead of analysing it as ‘R (John, that Mary is French)’. Thus, for these philosophers, instead of relations holding between agents and truthbearing entities (propositions), propositional attitude verbs, like ‘belief’, express relations holding between agents and the properties and objects our thoughts and speech acts are about. This is also known as the Multiple Relation Theory. In this paper, I will discuss the Multiple Relation Theory primarily in connection with a problem known as Schiffer’s puzzle. Schiffer first presented the puzzle to argue against the so called directreference theory of belief reports advocated, among others, by Salmon and Braun. I will argue that, unlike the directreference theory of belief reports, the Multiple Relation Theory does not provide a solution to Schiffer’s puzzle. In this connection, I will also discuss a slight modification of the Multiple Relation Theory according to which the ways the properties and objects our thoughts and speech acts are about are presented to us are part of the truthconditions of sentences like ‘John believes that Mary is French’. We will see that prima facie such a contextualist version of the Multiple Relation Theory provides a solution to Schiffer’s puzzle. However, concluding, I will argue with new Schiffer cases that, ultimately, also a contextualist version of the Multiple Relation Theory cannot explain all instances of Schiffer’s puzzle. This will undermine the Multiple Relation Theory in general.
Introduction
Following Russell (1912,1913, 1918), philosophers like Moltmann (2003, 2013, Chap. 4), Jubien (2001), Boër (2002), and Newman (2002) analyse (1) as (2a), instead of analysing (1) as (2b).^{Footnote 1}
 (1):

John believes that Mary is French.
 (2a):

R (John, \(\lambda x\) [x is French], Mary).
 (2b):

R (John, that Mary is French).
 (M):

For an nplace relation \(R'\) and entities \(d_{1},\ldots , d_{n}\),
\([\![\)believes, \(\langle R', d_{1},\ldots , d_{n}\rangle ]\!] = \lambda x [R_{(bel, n+2)}(x, R', d_{1},\ldots , d_{n})]\).
There are various reasons why philosophers have advocated or still advocate the Multiple Relation Theory. For example, in (Moltmann 2003), Moltmann reintroduces the Multiple Relation Theory, among others, to explain that inferences like the inferences in (3) aren’t logically valid.
 3a.:

John remembers that Mary is French.
John remembers the proposition that Mary is French.
 3b.:

John wishes that Mary is French.
John wishes the proposition that Mary is French.
Against the Multiple Relation Theory, it has been objected that what is judged or believed must be capable of being true or false. Since a collection of things, like the collection of Mary and the property of being happy, is not capable of being true or false, it has been concluded that the relata of the belief relation cannot be the properties and objects our thoughts and speech acts are about (see, for example, Hanks 2007, p. 140). Moltmann (2003, pp. 105–106) responds to this objection that attitude verbs, like ‘belief’, express modes of predication. For example, according to Moltmann, believing that Mary is happy is predicating, in the belief mode, the property of being happy of Mary. Since here predication is understood as an intentional act aiming at truth, according to Moltmann, the primary bearers of truth are not the relata of the belief relation, but the concrete acts of believing.^{Footnote 3} In this way, an advocate of the Multiple Relation Theory could explain that beliefs are true or false without being committed to the claim that the objects of belief are truthbearing entities.
In this paper, I won’t go into detail about the different arguments for and against the Multiple Relation Theory that have been discussed in the literature. Instead, I will discuss the Multiple Relation Theory primarily in connection with a problem known as Schiffer’s puzzle. Schiffer (2006) first presented the puzzle to argue against the so called directreference theory of belief reports advocated, among others, by Salmon (1986) and Braun (1998). I will argue that, unlike the directreference theory of belief reports, the Multiple Relation Theory does not provide a solution to Schiffer’s puzzle. In this connection, I will also discuss a slight modification of the Multiple Relation Theory according to which the ways the properties and objects our thoughts and speech acts are about are presented to us are part of the truthconditions of sentences like (1). We will see that prima facie such a contextualist version of the Multiple Relation Theory provides a solution to Schiffer’s puzzle. However, concluding, I will argue with new Schiffer cases that, ultimately, also the contextualist version of the Multiple Relation Theory cannot explain all instances of Schiffer’s puzzle. Together with the result that also the noncontextualist version of the Multiple Relation Theory, i.e. (M), does not provide a solution to Schiffer’s puzzle, this will undermine the Multiple Relation Theory in general.
The paper is structured as follows: In Sect. 2, I will argue that the Multiple Relation Theory is committed to what Schiffer calls ‘the specialcase consequence’ and ‘Frege’s constraint’. Following this, in Sect. 3, I will argue with an example from Schiffer that together with the specialcase consequence and Frege’s constraint the noncontextualist version of the Multiple Relation Theory, i.e. (M), leads to contradictions. This is Schiffer’s puzzle. In Sect. 4, I will argue that, unlike the directreference theory of belief reports, the noncontextualist version of the Multiple Relation Theory does not provide a solution to Schiffer’s puzzle. Following this (Sect. 5), I will discuss a contextualist version of the Multiple Relation Theory, and I will argue with new Schiffer cases that, ultimately, also a contextualist version of the Multiple Relation Theory cannot solve Schiffer’s puzzle.
The specialcase consequence and Frege’s constraint
The starting point of Schiffer’s puzzle is a problem regarding de re belief which also arises within the Multiple Relation Theory. For example, both (4) and (5) can be true; e.g. if Ralph sincerely and reflectively utters both ‘Karol Wojtyła is Polish’ and ‘It is not the case that John Paul II. is Polish’.

(4)
Ralph believes that Karol Wojtyła is Polish.

(5)
Ralph disbelieves^{Footnote 4}that John Paul II. is Polish.
Moreover, it seems that according to the Multiple Relation Theory de re belief is simply a special case of de dicto belief. For example, if (4) is true, then, according to (M), Ralph stands in the threeplace belief relation \(R_{(bel, 3)}\) to the property of being Polish and Karol Wojtyła.^{Footnote 5} Since this seems to be tantamount to saying that Karol Wojtyła is believed by Ralph to be someone such that he is Polish, the Multiple Relation Theory seems to be committed to what Schiffer (2006, p. 362) calls ‘the specialcase consequence’:
 The SpecialCase Consequence (S)::

Necessarily, if \(\alpha \) believes/disbelieves that \(\phi _{\beta }\),
then \(\beta \) is believed/disbelieved by \(\alpha \) to be (something/someone) such that \(\phi _{\beta /it}\).

(6)
Karol Wojtyła is believed by Ralph to be someone such that he is Polish.

(7)
John Paul II. is disbelieved by Ralph to be someone such that he is Polish.
Since John Paul II. = Karol Wojtyła, and since we can simply assume that Ralph is both a brilliant logician, i.e. that he is in principle in a position to notice and correct contradictory beliefs, and fully rational, i.e. that he would never let contradictory beliefs pass if he recognises them as such, this leads to the question how a brilliant logician like Ralph can rationally both believe and disbelieve an object o to be (something/someone) such that \(\phi _{it}\). I will call this ‘the problem of rationality regarding de re belief’.
The received solution to the problem of rationality regarding de re belief says that Wojtyła is presented to Ralph by two modes of presentation m and \(m'\) without him recognising that m and \(m'\) are modes of presentation of one and the same person. Since Ralph believes Wojtyła to be Polish under m and disbelieves Wojtyła to be Polish under \(m'\), the solution continues, Ralph cannot be convicted of irrationality. Schiffer calls this ‘Frege’s constraint’ (Schiffer 2006, p. 362):^{Footnote 6}
 (FC):

If an object o is rationally both believed and disbelieved by an agent k to be (something/someone) such that \(\phi _{it}\), then there are two modes of presentation m and \(m'\) such that
 (a):

o is believed by k to be (something/someone) such that \(\phi _{it}\) under m,
 (b):

o is disbelieved by k to be (something/someone) such that \(\phi _{it}\) under \(m'\), and
 (c):

k does not recognise that m and \(m'\) are modes of presentation of one and the same object.
Taken in its obvious intent, Frege’s constraint appears to be a selfevident truth. If an agent k rationally believes o to be (something/someone) such that \(\phi _{it}\) and disbelieves \(o'\) to be (something/someone) such that \(\phi _{it}\), then, in so doing, k takes o and \(o'\) to be distinct. Insofar as k is rational, he/she thereby takes o and \(o'\) differently, even if, in fact, \(o=o'\). Thus, in addition to the specialcase consequence, the Multiple Relation Theory also seems to be committed to Frege’s constraint.
Following Frege’s constraint, advocates of the Multiple Relation Theory have two options. First, they could claim that the modes of presentation implied by Frege’s constraint are part of the truthconditions of sentences like (4) and (5) and (6) and (7) (respectively). In this case, advocates of the Multiple Relation Theory would have to reject (M), and, instead, hold something along the lines of (\(M'\)) (Moltmann 2003, p. 97).^{Footnote 7}
 (\(M'\)):

For an nplace relation \(R'\), entities \(d_{1},\ldots , d_{n}\) and (types of) modes of presentation \(T'\), \(T_{1},\ldots , T_{n}\),
\([\![\)believes/disbelieves, \(\langle \langle R', T'\rangle , \langle d_{1}, T_{1}\rangle ,\ldots , \langle d_{n}, T_{n}\rangle \rangle ]\!]\)
\(= \lambda x [R_{(bel/dis, n+2)}(x, \langle R', T'\rangle , \langle d_{1}, T_{1}\rangle ,\ldots , \langle d_{n}, T_{n}\rangle )].\)^{Footnote 8}
The second option is to stick with (M), and, thus, to claim that the modes of presentation implied by Frege’s constraint are not part of the truthconditions of sentences like (4) and (5) and (6) and (7) (respectively). Nevertheless, just like (\(M'\)), (M) is consistent with Frege’s constraint. For example, an advocate of (M) could claim that \(R_{(bel, n+2)}\) is the existential generalization of a relation \(R_{(bel, n+2)}'\) involving the modes of presentation implied by Frege’s constraint; i.e. that for all x: \(R_{(bel, n+2)}(x, R', d_{1},\ldots , d_{n})\) if and only if there are (types of) modes of presentation \(T'\), \(T_{1},\ldots , T_{n}\) such that \(R_{(bel, n+2)}'(x, \langle R', T'\rangle , \langle d_{1}, T_{1}\rangle ,\ldots , \langle d_{n}, T_{n}\rangle )\).^{Footnote 9} In this way, (M) would provide a solution to the problem of rationality regarding de re belief via Frege’s constraint without being committed to the claim that the modes of presentation implied by Frege’s constraint are part of the truthconditions of sentences like (4) and (5) and (6) and (7) (respectively).
Although both (M) and (\(M'\)) can explain how (4) and (5) can be true of a brilliant and fully rational logician like Ralph, unlike (M), (\(M'\)) could also explain that there can be circumstances in which (4) is true and (8) is false.

(4)
Ralph believes that Karol Wojtyła is Polish.

(8)
Ralph believes that John Paul II. is Polish.
For example, if Ralph is disposed to sincerely and reflectively utter ‘Karol Wojtyła is Polish’ without being disposed to sincerely and reflectively utter ‘John Paul II. is Polish’, we have strong intuitions that (4) is true and (8) is false. However, since, according to (M), both (4) and (8) have the logical form in (9), (M) could not explain this.

(9)
\(R_{(bel, 3)}\) (Ralph, \(\lambda x\) [x is Polish], Karol Wojtyła).
This is also known as Frege’s puzzle.
In (Moltmann 2003, p. 97), Moltmann solves Frege’s puzzle by replacing (M) with (\(M'\)). For example, according to (\(M'\)), (4) has to be analysed as (10), and (8) has to be analysed as (11), where \(T_{KW}\) and \(T_{KW}'\) are two distinct (contextually determined) (types of) modes of presentation of Karol Wojtyła, and \(T_{Pol}\) is a (contextually determined) (type of) mode of presentation of the property of being Polish.

(10)
\(R_{(bel, 3)}\) (Ralph, \(\langle \lambda x\) [x is Polish], \(T_{Pol}\rangle , \langle \)Karol Wojtyła, \(T_{KW}\rangle \)).

(11)
\(R_{(bel, 3)}\) (Ralph, \(\langle \lambda x\) [x is Polish], \(T_{Pol}\rangle , \langle \)Karol Wojtyła, \(T_{KW}'\rangle \)).
Since there can be circumstances in which (10) is true and (11) is false, in this way, an advocate of the Multiple Relation Theory could explain how there can be circumstances in which (4) is true and (8) is false. Such a solution to Frege’s puzzle is also called a ‘contextualist solution to Frege’s puzzle’. Therefore, I will call (\(M'\)) ‘the contextualist version of the Multiple Relation Theory’.^{Footnote 10}
The alternative to a contextualist solution to Frege’s puzzle is a naive solution to Frege’s puzzle. According to a naive solution to Frege’s puzzle, (4) is true if and only if (8) is true; i.e. according to a naive solution to Frege’s puzzle, our intuitions regarding the truthvalues of sentences like (4) and (8) can be misleading (see, for example, Salmon 1986; Braun 1998). Following this, a naive solution to Frege’s puzzle has to provide an explanation of how our intuitions regarding the truthvalues of sentences like (4) and (8) can be misleading. Here an advocate of (M) could build on Salmon’s (1986) or Braun’s (1998) naive solution to Frege’s puzzle in connection with the directreference theory of belief reports. Therefore, I will call (M) also ‘the naive version of the Multiple Relation Theory’.
The discussion between the naive and the contextualist version of the Multiple Relation Theory can be compared with the discussion between the naive version of the directreference theory of belief reports advocated by Salmon (1986) and Braun (1998) and the contextualist version of the directreference theory of belief reports advocated by Crimmins and Perry (1989) and Crimmins (1992). A contextualist theory has the advantage that it can take our intuitions regarding the truthvalues of sentences like (4) and (8) seriously, whereas a naive theory has the advantage that it does not have to introduce modes of presentation as unarticulated constituents; i.e. contents for which no word or morpheme in the sentence stands for. Therefore, just like in connection with the directreference theory of belief reports, prima facie, also in connection with the Multiple Relation Theory both a naive and a contextualist version of the theory seem to be serious options. However, in the next section, I will argue with an example from Schiffer that together with the specialcase consequence and Frege’s constraint the naive version of the Multiple Relation Theory leads to contradictions. Since, as we have seen above, the naive version of the Multiple Relation Theory seems to be committed to both the specialcase consequence and Frege’s constraint, this will undermine the naive version of the Multiple Relation Theory. We will see that, prima facie, the same problem does not arise in connection with the contextualist version of the Multiple Relation Theory.
Schiffer’s puzzle
Take the above example of Ralph. From Ralph’s sincere and reflective utterance of ‘Karol Wojtyła is Polish’ and ‘It is not the case that John Paul II. is Polish’ we infer that both (4) and (5) are true. This means that we presuppose the following disquotational principles connecting sincere assertion and belief, where ‘p’ can be replaced, inside and outside quotation marks, by any standard English sentence lacking indexical or pronominal devices or ambiguities (Kripke 1979, pp. 248–249)^{Footnote 11}:
 (DP):

If a normal English speaker sincerely and reflectively utters ‘p’, then he/she believes that p.
 (\(DP'\)):

If a normal English speaker sincerely and reflectively utters ‘It is not the case that p’, then he/she disbelieves that p.^{Footnote 12}
Taken in their obvious intent, also (DP) and (\(DP'\)) seem to be selfevident truths. In particular, (DP) and (\(DP'\)) seem to be true of belief ascriptions of the form ‘A believes that S’. For example, if a normal English speaker sincerely and reflectively utters ‘Ralph believes that snow is white’, we usually infer that the speaker believes that Ralph believes that snow is white. Similarly, if a normal English speaker sincerely and reflectively utters ‘It is not the case that Ralph believes that snow is white’, we usually infer that the speaker disbelieves that Ralph believes that snow is white.^{Footnote 13}
Now, Schiffer (2006, p. 363) notes that in the example of Ralph even a rational, normal English speaker who knows that ‘Karol Wojtyła = John Paul II.’ is true could sincerely and reflectively utter both (4) and (12); e.g. if the speaker has Fregean intuitions regarding the truthvalues of sentences like (4) and (12).
 (4):

Ralph believes that Karol Wojtyła is Polish.
 (12):

It is not the case that Ralph believes that John Paul II. is Polish.
 (13):

Peter believes that Ralph believes that Karol Wojtyła is Polish.
 (14):

Peter disbelieves that Ralph believes that John Paul II. is Polish.
 (15):

Karol Wojtyła is believed by Peter to be someone such that Ralph believes that he is Polish.
 (16):

John Paul II. is disbelieved by Peter to be someone such that Ralph believes that he is Polish.
 (17):

BEL (Karol Wojtyła, Peter, \(\lambda z [R_{(bel, 3)}\)(Ralph, \(\lambda x [x\) is Polish], z)]).
 (18):

DIS (Karol Wojtyła, Peter, \(\lambda z [R_{(bel, 3)}\)(Ralph, \(\lambda x [x\) is Polish], z)]).
Schiffer’s puzzle shows that together with the specialcase consequence the naive version of the Multiple Relation Theory, i.e. (M), leads to instances of the problem of rationality regarding de re belief that violate Frege’s constraint. Together with the claim that the naive version of the Multiple Relation Theory is committed to both the specialcase consequence and Frege’s constraint, this would refute the naive version of the Multiple Relation Theory.
Prima facie, the same problem does not arise in connection with the contextualist version of the Multiple Relation Theory. Even if Peter does not have two modes of presentation of Karol Wojtyła, he could still attribute two such modes of presentation to Ralph. In this case, according to (\(M'\)), (15) would have the logical form in (19), and (16) would have the logical form in (20), where \(T_{KW}\) and \(T_{KW}'\) are the modes of presentation of Karol Wojtyła that Peter attributes to Ralph.
 (19):

BEL (Karol Wojtyła, Peter, \(\lambda z [R_{(bel, 3)}\)(Ralph, \(\langle \lambda x [x\) is Polish], \(T_{Pol}\rangle , \langle z, T_{KW}\rangle \))]).
 (20):

DIS (Karol Wojtyła, Peter, \(\lambda z [R_{(bel, 3)}\)(Ralph, \(\langle \lambda x [x\) is Polish], \(T_{Pol}\rangle , \langle z, T_{KW}'\rangle \))]).
In Sect. 5, I will discuss such a contextualist solution to Schiffer’s puzzle in more detail. But first I will briefly discuss the possibility to reject the specialcase consequence or Frege’s constraint within the naive version of the Multiple Relation Theory. For example, in (Salmon 2006), Salmon replies to Schiffer’s objection that the directreference theory of belief reports is not committed to (S), but to counterinstances of (S). Therefore, next, I will briefly present Schiffer’s puzzle in connection with the directreference theory of belief reports. Following this, I will argue that, unlike the directreference theory of belief reports, the naive version of the Multiple Relation Theory cannot solve Schiffer’s puzzle by rejecting the specialcase consequence or Frege’s constraint.
Rejecting the specialcase consequence or Frege’s constraint
As said above, Schiffer first presented his puzzle as an objection to the so called directreference theory of belief reports. For example, following the work of Marcus (1961), Donnellan (1970), Perry (1977), Kripke (1980) and Kaplan (1989), so called NeoRussellians, like Salmon (1986) and Braun (1998), hold that:
 (\(NR_{1}\)):

The propositions we say and believe are Russellian propositions; i.e. structured propositions whose basic components are the objects and properties our thoughts and speech acts are about.
 (\(NR_{2}\)):

Names and other singular terms (pronouns, simple demonstratives, indexicals) function as directly referential terms; i.e. the semantic content of ‘n is F’ in a context c is the singular proposition \(\langle o, \varPhi \rangle \), where o is the referent of the name n in c and \(\varPhi \) is the property expressed by the predicate F in c.
 (\(NR_{3}\)):

A sentence of the form ‘n believes/disbelieves that S’ is true in a context c iff the referent of the name n in c believes/disbelieves the proposition expressed by the sentence S in c.^{Footnote 16}
Since the theory consisting of (\(NR_{1}\)), (\(NR_{2}\)), and (\(NR_{3}\)) is committed to a naive solution to Frege’s puzzle according to which our intuitions regarding the truthvalues of sentences like (4) and (8) can be misleading, it is sometimes referred to as ‘the naive version of the directreference theory of belief reports’.^{Footnote 17}
In (Schiffer 2006), Schiffer argues that the naive version of the directreference theory of belief reports is committed to both the specialcase consequence and Frege’s constraint. For example, according to the naive version of the directreference theory of belief reports, to believe of an object x, de re, that it is F simply seems to be to believe de dicto the singular proposition about x that it is F. Therefore, according to Schiffer, also within the naive version of the directreference theory of belief reports the inferences from (13) and (14) to (15) and (16) are valid. Moreover, according to the naive version of the directreference theory of belief reports, (15) has the logical form in (21), and (16) has the logical form in (22), where B stands for the twoplace belief relation holding between agents and Russellian propositions.
 (21):

BEL (Karol Wojtyła, Peter, \(\lambda z [B\)(Ralph, that z is Polish)]).
 (22):

DIS (Karol Wojtyła, Peter, \(\lambda z [B\)(Ralph, that z is Polish)]).
In (Salmon 2006, pp. 271–272), Salmon replies to Schiffer’s objection that the naive version of the directreference theory of belief reports is not committed to (S), but to counterinstances of (S). Braun (2006, p. 376) agrees with Salmon on this point. As Salmon (2006, pp. 271–272) rightly points out, within the naive version of the directreference theory of belief reports, one example of a counterinstance of (S) is provided by Schiffer’s puzzle itself. If (13) and (14) are true, then, according to the naive version of the directreference theory of belief reports, Peter both believes and disbelieves the singular proposition \(\langle \langle \)Ralph, \(\langle \)Karol Wojtyła, being Polish\(\rangle \rangle \), believing\(\rangle \). However, Peter does not thereby both believe and disbelieve the singular proposition \(\langle \)Karol Wojtyła, being (someone) such that Ralph believes that he is Polish\(\rangle \). For example, if Peter believes ‘Karol Wojtyła = John Paul II.’ to be true, then, as a rational, normal English speaker, he is not disposed to sincerely and reflectively utter both (25) and (26).
 (25):

Karol Wojtyła is (someone) such that Ralph believes that he is Polish.
 (26):

It is not the case that John Paul II. is (someone) such that Ralph believes that he is Polish.
This leads to the question whether a similar solution to Schiffer’s puzzle is also available within the naive version of the Multiple Relation Theory. I will argue that it is not. According to (M), both the propositional content of (4) and the propositional content of (8) consist of the threeplace belief relation \(R_{(bel, 3)}\), Ralph, the property of being Polish, and Karol Wojtyła. From this, in turn, it follows within the naive version of the Multiple Relation Theory that (13) has the logical form in (27), and that (14) has the logical form in (28).
 (27):

\(R_{(bel, 5)}\) (Peter, \(\lambda x\lambda y\lambda z [R_{(bel, 3)}(x, y, z)]\), Ralph, \(\lambda x\) [x is Polish], Karol Wojtyła).
 (28):

\(R_{(dis, 5)}\) (Peter, \(\lambda x\lambda y\lambda z [R_{(bel, 3)}(x, y, z)]\), Ralph, \(\lambda x\) [x is Polish], Karol Wojtyła).
If the naive version of the Multiple Relation Theory leads to instances of the problem of rationality regarding de re belief that violate Frege’s constraint, then we have to reject the naive version of the Multiple Relation Theory or Frege’s constraint. In (Schiffer 2006, pp. 364–365), Schiffer notes that, prima facie, an advocate of the naive version of the directreference theory of belief reports could solve his puzzle by rejecting Frege’s constraint. For example, in order to explain that a brilliant logician like Ralph can rationally both believe and disbelieve the singular proposition \(\langle \)Karol Wojtyła, being Polish\(\rangle \), advocates of the naive version of the directreference theory of belief reports already accept a version of Frege’s constraint for propositional modes of presentation; i.e. Salmon’s constraint (see, for example, Salmon 1986).
 (SC):

If a proposition p is rationally both believed and disbelieved by an agent k, then there are modes of presentation m and \(m'\) such that
 (a):

p is believed by k under m,
 (b):

p is disbelieved by k under \(m'\), and
 (c):

k does not take m and \(m'\) to be modes of presentation of one and the same proposition.
We see that it is very likely that within the naive version of the Multiple Relation Theory the solution to Schiffer’s puzzle can neither be to reject the specialcase consequence nor to reject Frege’s constraint. In other words, the naive version of the Multiple Relation Theory has to provide an explanation of how both (27) and (28) can be true, although Peter is both a brilliant logician and fully rational. Since neither \(R_{(bel, 3)}\), nor Ralph, nor the property of being Polish, nor Karol Wojtyła is presented to Peter by two modes of presentation without him recognising that these are modes of presentation of one and the same object/property/relation, it is very unclear whether the naive version of the Multiple Relation Theory can explain this. An advocate of the Multiple Relation could respond that this only shows that we have to reject the naive version of the Multiple Relation Theory, and, instead, accept the contextualist version of the Multiple Relation Theory. However, next, I will argue with new Schiffer cases that even the contextualist version of the Multiple Relation Theory leads to instances of the problem of rationality regarding de re belief that violate Frege’s constraint. This will undermine the Multiple Relation Theory in general.
Schiffer’s puzzle again
According to the contextualist version of the Multiple Relation Theory, the modes of presentation implied by (\(M'\)) are simply the modes of presentation implied by Frege’s constraint. Otherwise, the contextualist version of the Multiple Relation Theory could not explain that both (4) and (5) can be true of a rational logician like Ralph.
 (4):

Ralph believes that Karol Wojtyła is Polish.
 (5):

Ralph disbelieves that John Paul II. is Polish.
 (10):

\(R_{(bel, 3)}\) (Ralph, \(\langle \lambda x\) [x is Polish], \(T_{Pol}\rangle , \langle \)Karol Wojtyła, \(T_{KW}\rangle \)).
 (29):

\(R_{(dis, 3)}\) (Ralph, \(\langle \lambda x\) [x is Polish], \(T_{Pol}\rangle , \langle \)Karol Wojtyła, \(T_{KW}'\rangle \)).
Both (\(M'\)) and Frege’s constraint leave open what modes of presentation are. In this section, I will discuss the three main conceptions of the modes of presentation implied by (\(M'\)) (and Frege’s constraint), and I will argue that, ultimately, on all three conceptions (\(M'\)) leads to instances of the problem of rationality that violate Frege’s constraint. This will suggest that also the contextualist version of the Multiple Relation Theory does not provide a solution to Schiffer’s puzzle.
A first construal of the modes of presentation implied by (\(M'\)) and Frege’s constraint could be that the modes of presentation implied by (\(M'\)) and Frege’s constraint are expressions of a public language. According to such a construal of the modes of presentation implied by (\(M'\)) and Frege’s constraint, (4) has to be analysed as (30), and (5) has to be analysed as (31), where the two public language names ‘Karol Wojtyła’ and ‘John Paul II.’ are the ways Karol Wojtyła is presented to Ralph.
 (30):

\(R_{(bel, 3)}\) (Ralph, \(\langle \lambda x\) [x is Polish], ‘x is Polish’\(\rangle , \langle \)Karol Wojtyła, ‘Karol Wojtyła’\(\rangle \)).
 (31):

\(R_{(dis, 3)}\) (Ralph, \(\langle \lambda x\) [x is Polish], ‘x is Polish’\(\rangle , \langle \)Karol Wojtyła, ‘John Paul II.’\(\rangle \)).
Since, in the above example, Ralph does not recognise that ‘Karol Wojtyła’ and ‘John Paul II.’ are names of one and the same person, prima facie, expressions of a public language seem to be good candidates for the role defined by Frege’s constraint. However, in connection with Kripke’s Paderewski example (Kripke 1979, pp. 265–266), such a conception of the modes of presentation implied by Frege’s constraint reaches its limits; i.e. it leads to an instance of the problem of rationality regarding de re belief that violates Frege’s constraint.
In Kripke’s Paderewski example, Kripke’s Peter gets introduced twice to one and the same name ‘Paderewski’ without him recognising it. Therefore, even as a brilliant and fully rational logician Peter could sincerely and reflectively utter both (32) and (33).
 (32):

Paderewski has musical talent.
 (33):

It is not the case that Paderewski has musical talent.
Following Kripke’s Paderewski example, an advocate of the contextualist version of the Multiple Relation Theory could claim that, instead of expressions of a public language, the modes of presentation implied by (\(M'\)) and Frege’s constraint are bundles of properties or files of information.^{Footnote 19} For example, it is very likely that in Kripke’s example Peter has two distinct files of information of Paderewski; one file containing, among others, the information being a politician, and one file containing, among others, the information being a musician. Following this, an advocate of the contextualist version of the Multiple Relation Theory could claim that since Paderewski is believed by Peter to have musical talent under one file, and disbelieved by Peter to have musical talent under the other file, without him recognising that these are files of one and the same person, Peter cannot be convicted of irrationality. However, even on the files of information conception of the modes of presentation implied by (\(M'\)) the contextualist version of the Multiple Relation Theory leads to instances of the problem of rationality that violate Frege’s constraint.
Assume that although Harry has two names for Cicero in his public language, he has only one file of information of Cicero; i.e. the file containing the information being a Roman orator, being named ‘Cicero’, and being named ‘Tully’.^{Footnote 20} Thus, although Harry has two names for Cicero, he associates one and the same information with ‘Cicero’ and ‘Tully’. Nevertheless, Harry could accept ‘Cicero was a Roman’ without being disposed to accept ‘Tully was a Roman’; i.e. if Harry is irrational or not very reflective. Moreover, following this, a rational, normal English speaker like Sally could be disposed to sincerely and reflectively utter (34) and (35) even if she knows both that ‘Cicero = Tully’ is true and that Harry associates one and the same file of information with ‘Cicero’ and ‘Tully’; e.g. if Sally has strong sententialist intuitions.^{Footnote 21}
 (34):

Harry believes that Cicero was a Roman.
 (35):

Harry does not believe that Tully was a Roman.
 (36):

Sally believes that Harry believes that Cicero was a Roman.
 (37):

Sally disbelieves that Harry believes that Tully was a Roman.
 (38):

Cicero is believed by Sally to be someone such that Harry believes that he was a Roman.
 (39):

Tully is disbelieved by Sally to be someone such that Harry believes that he was a Roman.
 (40):

BEL (Cicero, Sally, \(\lambda z [R_{(bel, 3)}\)(Harry, \(\langle \lambda x [x\) was a Roman], \(T_{Rom}\rangle , \langle z, F_{Cicero}\rangle \))]).
 (41):

DIS (Cicero, Sally, \(\lambda z [R_{(bel, 3)}\)(Harry, \(\langle \lambda x [x\) was a Roman], \(T_{Rom}\rangle , \langle z, F_{Cicero}\rangle \))]).
From this, in turn, it would follow together with Frege’s constraint that Cicero is presented to Sally by two modes of presentation without her recognising that these are modes of presentation of one and the same person.^{Footnote 23} However, since Sally knows that ‘Cicero = Tully’ is true, we can simply assume that Cicero is not presented to Sally by two modes of presentation without her recognising that these are modes of presentation of one and the same person. It follows that on the files of information conception of the modes of presentation implied by (\(M'\)) the contextualist version of the Multiple Relation Theory leads to instances of the problem of rationality regarding de re belief that violate Frege’s constraint.
An advocate of the contextualist version of the Multiple Relation Theory could respond that this only shows that in the above example the modes of presentation implied by (\(M'\)) are expressions of a public language; i.e. that (38) has to be analysed as (42), and that (39) has to be analysed as (43), where the two names ‘Cicero’ and ‘Tully’ play the role of the modes of presentation that Sally attributes tos Harry.
 (42):

BEL (Cicero, Sally, \(\lambda z [R_{(bel, 3)}\)(Harry, \(\langle \lambda x [x\) was a Roman], \(T_{Rom}\rangle , \langle z\), ‘Cicero’\(\rangle \))]).
 (43):

DIS (Cicero, Sally, \(\lambda z [R_{(bel, 3)}\)(Harry, \(\langle \lambda x [x\) was a Roman], \(T_{Rom}\rangle , \langle z\), ‘Tully’\(\rangle \))]).
In light of this, an advocate of the contextualist version of the Multiple Relation Theory could claim that, instead of public language expressions or files of information, the modes of presentation implied by (\(M'\)) are expressions of a language of thought LOT. For example, an advocate of the contextualist version of the Multiple Relation Theory could claim that although Kripke’s Peter does not have two names for Paderewski in his public language, he has two names for Paderewski in his language of thought. Prima facie, the same could be said of Harry; i.e. that although Harry has only one file of information of Cicero, just like he has two names for Cicero in his public language, he also has two names for Cicero in his language of thought. However, as Braun (1998, fn 39) points out, in connection with Kripke’s Paderewski example such a solution presupposes that the language of thought is not the public language; i.e. English. Otherwise, Peter would also have only one name for Paderewski in his language of thought. But then from the fact that Harry has two names for Cicero in his public language it does not automatically follow that he also has two names for Cicero in his language of thought. On the contrary, if Harry’s language of thought is not English, then, since Harry never distinguished two mental files of Cicero, it is very likely that he also never distinguished two mental names of Cicero. This suggests that in connection with the Harry/Sally example the LOT conception of the modes of presentation implied by (\(M'\)) leads to a similar problem as the file of information conception of the modes of presentation implied by (\(M'\)).
We see that on the three main conceptions of the modes of presentation implied by (\(M'\)) and Frege’s constraint also the contextualist version of the Multiple Relation Theory leads to instances of the problem of rationality regarding de re belief that violate Frege’s constraint. This suggests that, just like the naive version of the Multiple Relation Theory, ultimately, also the contextualist version of the Multiple Relation Theory does not provide a solution to Schiffer’s puzzle. This undermines the Multiple Relation Theory in general.
Conclusions
Unlike the naive version of the directreference theory of belief reports, the naive version of the Multiple Relation Theory, i.e. (M), seems to be committed to both the specialcase consequence and Frege’s constraint. Since, together with the specialcase consequence and Frege’s constraint, the naive version of the Multiple Relation Theory leads to contradictions, this undermines the naive version of the Multiple Relation Theory. This was Schiffer’s puzzle. Moreover, even if the naive version of the Multiple Relation Theory is not committed to both the specialcase consequence and Frege’s constraint, it has to provide an explanation of how both (27) and (28) can be true, although Peter is both a brilliant logician and fully rational. Since neither \(R_{(bel, 3)}\), nor Ralph, nor the property of being Polish, nor Karol Wojtyła is presented to Peter by two modes of presentation without him recognising that these are modes of presentation of one and the same object/property/relation, it is very unclear how the naive version of the Multiple Relation Theory could explain this.
In order to solve Schiffer’s puzzle, an advocate of the Multiple Relation Theory could reject the naive version of the Multiple Relation Theory, and, instead, accept the contextualist version of the Multiple Relation Theory; i.e. (\(M'\)). However, as we have seen in Sect. 5, just like the naive version of the Multiple Relation Theory, also the contextualist version of the Multiple Relation theory leads to instances of the problem of rationality regarding de re belief that violate Frege’s constraint. Therefore, Schiffer’s puzzle not only undermines the naive version of the Multiple Relation Theory, but the Multiple Relation Theory in general.
For advocates of the Multiple Relation Theory, a possible way out of the problem is to claim with Jubien (2001) that the relata of the belief relation are always properties and relations; i.e. that there is nothing like de re belief, and, therefore, that there is nothing like the problem of rationality regarding de re belief or Schiffer’s puzzle. However, most advocates of the Multiple Relation Theory hold that, in addition to properties and relations, also individuals can be the relata of the belief relation.
Another possibility would be to distinguish between the assertoric content of a sentence (what we say with an utterance of the sentence) and its semantic content (the meaning of the sentence). Following this, an advocate of the Multiple Relation Theory could claim that (M) and (\(M'\)) are theories of assertoric content, and not theories of semantic content. Therefore, the solution to Schiffer’s puzzle goes, although a speaker who accepts (4) and (12) both believes and disbelieves one and the same assertoric objects, he cannot be convicted of irrationality, since the sentences he thereby uses do not have the same semantic content. However, in order to offer a complete solution to Schiffer’s puzzle, such a theory would have to say what the semantic content of sentences like (4) and (8) is, and how sentences like (4) and (8) can have different semantic contents.
Another possible way out of Schiffer’s puzzle would be to claim with NeoRussellians, like Salmon (1986, 2006) and Braun (1998, 2006), that a sentence like (1) does not have the logical form in (2a), but rather the logical form in (2b). Following this, one could argue with Salmon that Schiffer’s puzzle provides a counterinstance of (S), and, therefore, does not lead to instances of the problem of rationality regarding de re belief that violate Frege’s constraint. However, in (Rinner 2020), I argue that although the naive version of the directreference theory of belief reports advocated by Salmon and Braun is not committed to (S), it nevertheless leads to instances of the problem of rationality regarding de re belief that violate Frege’s constraint. Since the same problem does not arise for the contextualist version of the directreference theory of belief reports advocated, among others, by Crimmins and Perry (1989) and Crimmins (1992), unlike the naive version, the contextualist version of the directreference theory of belief reports would still provide a solution to Schiffer’s puzzle.
Notes
 1.
Lebens (2017) advocates a Multiple Relation Theory for belief without advocating a Multiple Relation Theory for belief ascriptions; i.e. without analysing (1) as (2a). In this paper, my discussion of the Multiple Relation Theory will be restricted to the Multiple Relation Theory as a theory of belief ascriptions; i.e. to theories of belief ascriptions that analyse (1) as (2a). I would like to thank an anonymous reviewer for pointing this out to me.
 2.
An alternative to (M) would be to say that propositional attitude verbs, like ‘belief’ are multigrade predicates (Moltmann 2013, Chap. 4). This requires the distinction between places and positions (cf. Oliver and Smiley 2004). For example, ‘believe’ would be a relation that has two places, and it would be multigrade in its second place. All this won’t affect my discussion of the Multiple Relation Theory.
Note that Moltmann no longer holds that propositional attitude verbs, like ‘belief’ express relations holding between agents, properties, and objects. Instead, Moltmann analyses (1) as (2c), where ‘believe’ takes as its implicit Davidsonian event argument an act of believing, product is a function mapping that act onto its product, Ralph’s belief, and [that Mary is French] is a property of such products, specifying their satisfaction conditions (Moltmann 2017).
 (2c):

\(\exists e\) (believes (e, Ralph) & [that Mary is French] (product(e))).
For Moltmann’s reasons to abandon the Multiple Relation Theory see (Moltmann 2017, App. 2).
 3.
In chapter 12 of The Problems of Philosophy, Russell seems to hold a similar view, since he argues that a world of mere matter would only contain facts, but no truths or falsehoods. I would like to thank an anonymous reviewer for pointing this out to me.
 4.
Here ‘disbelieve’ is defined in terms of ‘believe’. For example, to disbelieve that John Paul II. is Polish means to believe that it is not the case that John Paul II. is Polish. There are different ways to spell this out within the Multiple Relation Theory. For example, Moltmann (2003, p. 99) introduces propositionlike entities, so called attitudinal objects, in order to define ‘believe’ for connectives, like negation, conjunction, and disjunction. According to this account, connectives are predicates expressing properties of attitudinal objects or relations holding between attitudinal objects. Thus, if the thatclause has a propositional content consisting of a structured proposition and the property expressed by the negationpredicate, i.e. the property of being false, ‘believe’ will specify a threeplace relation as in \(M_{Neg}\), where \(f(R_{ent}, p, A)\) is an attitudinal object such that f is a function taking the entertaining relation, \(R_{ent}\), a structured proposition p, and a kind of agent A as arguments and returning there being an agent of kind A standing in \(R_{ent}\) to the constituents of p:
 (\(M_{Neg}\)):

For a structured proposition p,
\([\![\hbox {believes},~\langle [\![Neg]\!], p\rangle ]\!] = \{x\vert R_{(bel, 3)}(x, [\![Neg]\!], f(R_{ent}, p, A))\}\).
 (\(M_{dis}\)):

(a) For an nplace relation \(R'\) and entities \(d_{1},\ldots , d_{n}\),
\([\![\hbox {disbelieves},~\langle R', d_{1},\ldots , d_{n}\rangle ]\!] = \lambda x [R_{(dis, n+2)}(x, R', d_{1},\ldots , d_{n})]\).
(b) For an nplace relation \(R'\) and entities \(d_{1},\ldots , d_{n}\),
\(\lambda x [R_{(dis, n+2)}(x, R', d_{1},\ldots , d_{n})] = \{x\vert R_{(bel, 3)}(x, [\![Neg]\!], f(R_{ent}, \langle \langle d_{1},\ldots , d_{n}\rangle , R'\rangle , A))\}\).
 5.
Strictly speaking, this presupposes that the propositional content of ‘Karol Wojtyła is Polish’ consists of the property of being Polish and Karol Wojtyła; i.e. that names are directly referential terms. Not all advocates of the Multiple Relation Theory accept this. For example, according to Jubien (2001), the relata of the belief relation are always properties and relations and never individuals. Something similar is true of Russell’s original version of the Multiple Relation Theory. For example, according to Russell (1912), the only directly referential terms are so called logically proper names; i.e. demonstratives like ‘this’ and ‘that’ which refer to sensedata or other objects of immediate acquaintance. Nowadays, however, most advocates of the Multiple Relation Theory would accept that the propositional content of ‘Karol Wojtyła is Polish’ consists of the property of being Polish and Karol Wojtyła; i.e. that, in addition to Russell’s logically proper names, also ordinary proper names, like ‘Karol Wojtyła’ and ‘John Paul II.’, are directly referential terms. I will return to this later.
 6.
Frege’s constraint leaves open what modes of presentation are, and what it is for o to be believed by k to be (something/someone) such that \(\phi _{it}\) under m. Rather, the notion of a mode of presentation is functionally defined by Frege’s constraint; i.e. something is a mode of presentation if it plays the role defined by Frege’s constraint. I will return to this later.
 7.
As Moltmann (2003, p. 98) rightly points out, this is a deviation from the spirit of Russell’s original analysis, since Russell’s aim was to avoid modes of presentation. Moreover, one could object that according to (\(M'\)) the relata of the belief relation are pseudo entities, i.e. ordered pairs consisting of objects and modes of presentation. Thus, the objection goes, according to (\(M'\)), John’s believing that Mary is French is not a way the world is or might be, but rather a technical artifact. An advocate of the Multiple Relation Theory could respond that there are other ways to claim that the modes of presentation implied by Frege’s constraint are part of the truthconditions of sentences like (4) and (5) and (6) and (7). For example, an advocate of the Multiple Relation Theory could hold something along the lines of (\(M''\)):
 (\(M''\)):

For an nplace relation \(R'\), entities \(d_{1},\ldots , d_{n}\) and (types of) modes of presentation \(T'\), \(T_{1},\ldots , T_{n}\),
\([\![\)believes/disbelieves, \(\langle R', d_{1},\ldots , d_{n}, T', T_{1},\ldots , T_{n}\rangle ]\!] = \lambda x [R_{(bel/dis, 2n+3)}(x, R', d_{1},\ldots , d_{n}, T', T_{1},\ldots , T_{n})]\).
 (2d):

\(R_{(bel, 5)}\) (John, \(\lambda x\) [x is French], Mary, T, T’)
 8.
Again, ‘disbelieve’ has to be defined in terms of ‘believe’ by first defining ‘believe’ for negation as in \(M_{Neg}'\), where T is a mode of presentation of the structured proposition p:
 (\(M_{Neg}'\)):

For a structured proposition p and a (type of) mode of presentation T,
\([\![\)believes, \(\langle [\![Neg]\!], \langle p, T\rangle \rangle ]\!] = \{x\vert R_{(bel, 3)}(x, [\![Neg]\!], \langle f(R_{ent}, p, A), T\rangle )\}\).
 (\(M_{dis}'\)):

For an nplace relation \(R'\), entities \(d_{1},\ldots , d_{n}\) and (types of) modes of presentation \(T'\), \(T_{1},\ldots , T_{n}\),
\(\lambda x [R_{(dis, n+2)}(x, \langle R', T'\rangle , \langle d_{1}, T_{1}\rangle ,\ldots , \langle d_{n}, T_{n}\rangle )]\)
\(= \{x\vert R_{(bel, 3)}(x, [\![Neg]\!], \langle f(R_{ent}, \langle \langle d_{1},\ldots , d_{n}\rangle , R'\rangle , A), \langle \langle T_{1},\ldots , T_{n}\rangle , T'\rangle \rangle )\}\).
 9.
See for example (Salmon 1986) for a discussion of a similar theory of belief in connection with the directreference theory of belief reports. There Salmon claims that the twoplace belief relation holding between agents and Russellian propositions is the existential generalization of a threeplace belief relation holding between agents, Russellian propositions, and propositional modes of presentation; i.e. that an agent x believes a proposition p if and only if there is a mode of presentation m of p such that x believes p under m.
 10.
Note that also a contextualist version of the Multiple Relation Theory could explain that the inferences in (3) aren’t logically valid. Since, just like the RelationalAnalysis, a contextualist version of the Relational Analysis, like Crimmins and Perry’s theory (1989) and Crimmins (1992), has difficulties in explaining this, the Objectivization Effect would also be a reason to prefer a contextualist version of the Multiple Relation Theory to a contextualist version of the Relational Analysis.
 11.
Sentences containing indexical or pronominal devices are excluded, since, for example, from Ralph’s sincere, reflective utterance of ‘I am hungry’ it does not follow that he believes that I (the author) am hungry (Kripke 1979, p. 249).
 12.
Note that (\(DP'\)) follows from (DP) and the fact that to disbelieve that p means to believe that it is not the case that p, since the following principle is simply an instance of (DP), where ‘p’ is again restricted to standard English sentences lacking indexical or pronominal devices or ambiguities:
 (DP*):

If a normal English speaker sincerely and reflectively utters ‘It is not the case that p’, then he/she believes that it is note the case that p.
 13.
One could object that we usually also infer that a speaker does not believe that John Paul II. is Polish if the speaker is not disposed to sincerely and reflectively utter ‘John Paul II. is Polish’. Nevertheless, so called Naive Russellians, like Salmon (1986) and Braun (1998), have questioned the disquotational principle we seem to invoke when we make such inferences:
 (SDP):

If a normal English speaker is not disposed to sincerely and reflectively utter ‘p’, then he/she does not believe that p.
 14.
Note that although it is very likely that in the above example Peter attributes two modes of presentation of Karol Wojtyła to Ralph, according to (M), these modes of presentation are not part of the truthconditions of sentences like (13) and (14) and (15) and (16) (respectively). For example, according to (M), both the embedded sentence of (13) and the embedded sentence of (14) have the logical form in (9):
 (9):

\(R_{(bel, 3)}\) (Ralph, \(\lambda x\) [x is Polish], Karol Wojtyła).
Although Russell does not discuss embedded cases, there is no inprinciple obstacle to extending the Multiple Relation Theory to such cases. I would like to thank an anonymous reviewer for pointing this out to me.
 15.
As the name suggests, just like the Multiple Relation Theory, the NeoRussellian theory also goes back to Russell (1905, 19101911, 1912). However, according to Russell, the only directly referential terms are so called logically proper names; i.e. demonstratives like ‘this’ and ‘that’ which refer to sensedata or other objects of immediate acquaintance.
 16.
Here to disbelieve a proposition p means to believe its negation.
 17.
Not all directreference theorists accept (\(NR_{3}\)). For example, Crimmins and Perry (1989) and Crimmins (1992) hold that ‘believe’ expresses a threeplace relation holding between agents, Russellian propositions and contextually determined modes of presentation. This is also known as ‘the contextualist version of the directreference theory of belief reports’, since it provides a contextualist solution to Frege’s puzzle according to which there can be circumstances in which (4) is true and (8) is false.
 18.
Note that Schiffer’s puzzle is not a problem for the contextualist version of the directreference theory of belief reports, since, according to Crimmins and Perry, (15) has the logical form in (23), and (16) has the logical form in (24), where m and \(m'\) are two (contextually determined) modes of presentation of the singular proposition that Karol Wojtyła is Polish that Peter attributes to Ralph.
 (23):

BEL (Karol Wojtyła, Peter, \(\lambda z [B\)(Ralph, that z is Polish, m)]).
 (24):

DIS (Karol Wojtyła, Peter, \(\lambda z [B\)(Ralph, that z is Polish, \(m'\))]).
 19.
See for example Recanati’s theory of mental files (Recanati 2012).
 20.
We could even assume that Harry never distinguished between two Cicero files in the past. For example, we could assume that Harry got the information by reading a book, where it was written that Cicero was a Roman orator who is also called ‘Tully’.
 21.
With sententialist intuitions I mean that Sally thinks that a sentence of the form ‘A believes that S’ is true if and only if the referent of A believes the sentence S to be true, or at least that she has intuitions that would be in accordance with such an analysis of belief ascriptions.
 22.
Note that according to the file of information conception of the modes of presentation implied by (\(M'\)), the contextually determined file of Sally’s utterance of (34) has to be the file that Harry associates with his uses of ‘Cicero’, and the contextually determined file of Sally’s utterance of (35) has to be the file that Harry associates with his uses of ‘Tully’. Otherwise, it would be very unclear what it means to be a contextually determined mode of presentation according to the file of information conception of the modes of presentation implied by (\(M'\)). Thus, since Harry associates one and the same file of information with ‘Cicero’ and ‘Tully’, according to the file of information conception of the modes of presentation implied by (\(M'\)), the contextually determined file of Sally’s utterance of (34) is simply the contextually determined file of Sally’s utterance of (35); i.e. \(F_{Cicero}\).
 23.
Note that here we do not apply Frege’s constraint to Harry’s beliefs, but to Sally’s beliefs. Since, unlike Harry, Sally is rational, from (40) and (41) it follows together with Frege’s constraint that Cicero is presented to Sally by two modes of presentation without her recognising that these are modes of presentation of one and the same person.
References
Boër, S. E. (2002). On the multiple relation theory of judgement. Erkenntnis, 56, 181–214.
Braun, D. (1998). Understanding belief reports. Philosophical Review, 107, 555–95.
Braun, D. (2006). Illogical, but rational. Noûs, 40, 376–79.
Crimmins, M. (1992). Talk about beliefs. Cambridge, MA: MIT Press.
Crimmins, M., & Perry, J. (1989). The prince and the phone booth: Reporting puzzling beliefs. The Journal of Philosophy, 86, 685–711.
Donnellan, K. (1970). Proper names and identifying descriptions. Synthese, 21, 335–358.
Kaplan, D. (1989). Demonstratives. In J. Almog, H. Wettstein, & J. Perry (Eds.), Themes from Kaplan (pp. 481–563). Oxford: Oxford University Press.
Hanks, P. (2007). How Wittgenstein defeated Russell’s multiple relation theory of judgment. Synthese, 154, 121–46.
Jubien, M. (2001). Propositions and the objects of thought. Philosophical Studies, 104, 47–62.
Kripke, S. (1979). A puzzle about belief. In A. Margalit (Ed.), Meaning and use (pp. 239–83). Dordrecht: Reidel.
Kripke, S. (1980). Naming and necessity. Oxford: Blackwell.
Lebens, S. (2017). Bertrand Russell and the nature of propositions: A history and defence of the multiple relation theory of judgement. New York: Routledge.
Marcus, R. B. (1961). Modalities and intensional languages. Synthese, 13, 303–322.
Moltmann, F. (2003). Propositional attitudes without propositions. Synthese, 135, 77–118.
Moltmann, F. (2013). Abstract objects and the semantics of natural language. Oxford: Oxford University Press.
Moltmann, F. (2017). Cognitive products and the semantics of attitude verbs and deontic modals. In F. Moltmann & M. Textor (Eds.), Actbased conceptions of propositional content. Contemporary and historical contributions. Oxford: Oxford University Press.
Newman, A. (2002). The correspondence theory of truth. Cambridge: Cambridge University Press.
Oliver, A., & Smiley, T. (2004). Multigrade predicates. Mind, 113, 609–81.
Perry, J. (1977). Frege on demonstratives. Philosophical Review, 86, 474–497.
Recanati, F. (2012). Mental files. Oxford: Oxford University Press.
Rinner, S. (2020). Naive Russellians and Schiffer’s puzzle. Erkenntnis,. https://doi.org/10.1007/s10670020002183.
Russell, B. (1905). On denoting. Mind, 14, 479–493.
Russell, B. (1910–1911). Knowledge by acquaintance and knowledge by description. Proceedings of the Aristotelian Society, 11, 108–128.
Russell, B. (1912). The problems of philosophy. Oxford: Oxford University Press.
Russell, B. (1913). Theory of knowledge. London: Routledge.
Russell, B. (1918). Lectures on logical atomism. In R. Marsh (Ed.), Logic and knowledge (p. 1956). London: Allen and Unwin.
Salmon, N. (1986). Frege’s puzzle. Cambridge, MA: MIT Press.
Salmon, N. (2006). The resilience of illogical belief. Noûs, 40, 369–75.
Salmon, N. (2011). A note on Kripke’s puzzle about belief. In A. Berger (Ed.), Saul Kripke (pp. 235–252). Cambridge: Cambridge University Press.
Schiffer, S. (2006). A problem for a directreference theory of belief reports. Noûs, 40, 361–68.
Acknowledgements
Open Access funding provided by Projekt DEAL. I would like to thank Hannes Leitgeb and three anonymous reviewers for their helpful comments on earlier drafts of the paper. This work was generously supported by the Fritz Thyssen Stiftung (Resesarch Stipend).
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rinner, S. The multiple relation theory and Schiffer’s puzzle. Synthese 198, 9117–9137 (2021). https://doi.org/10.1007/s11229020026231
Received:
Accepted:
Published:
Issue Date:
Keywords
 The multiple relation theory
 Schiffer’s puzzle
 De re belief
 Proper names