II. Plenitudinous Russellianism

Spencer has introduced, defended, and developed PR.Footnote ²² The view is committed to (1)-(3) above, in the characterization of NR, and consistent with (5). PR, however, rejects (4) (Uniqueness):

PR1 is the thesis that there are structurally identical but numerically distinct SRPs. PR2 implies the negation of (4). According to PR2, “reference relations,” over and above referents (or constituents), also contribute to the determination of the proposition expressed by a simple atomic sentence. I will explain.

Consider the definition of ‘semantic means of reference’ first: “Let's say that m [or M] is the means by which N [(or P)] refers to o (or F) =df m [or M] is a particular chain of causal or historical explanations that leads from o (or F) to the introduction of N [(or P)] (or the use of N [(or P)]).”Footnote ²⁴ Then, the existence condition (EC) for a simple atomic SRP is introduced as follows:

Since there is a plenitude of semantic means of reference (m) to a particular object (o) and a plenitude of semantic means of reference (M) to a specific property (F), EC implies that there is a plenitude of SRPs having o (playing the subject-like role) and F (playing the predicate-like role). This, in turn, implies that a simple atomic proposition is not individuated by its propositional structure, constituents, and the roles that the constituents play. Following Spencer, let's call the propositions that have the same propositional structure, constituents, and semantic roles that the constituents play ‘structurally identical.’ According to PR, there are structurally identical but numerically distinct SRPs. Thus, PR1.

The identity condition (IC) for simple atomic SRPs can be given as follows:

IC allows means of reference to contribute to the identity conditions for SRPs. EC and IC, however, do not let means of reference get into the nature of SRPs. More particularly, and pace all other revisionary accounts of NR, the notion of ‘structure’ employed in the characterization of SRPs, according to PR, is the same as the notion of ‘structure’ employed in the classic versions of NR.

The following example may help. Consider (6) and (7), uttered at the time of Mark Twain:

1. (6) Mark Twain is an author.

2. (7) Samuel Clemens is an author.

Given that the means of reference by which ‘Mark Twain’ refers to Mark Twain is different from the means of reference by which ‘Samuel Clemens’ refers to Mark Twain, by EC and IC, it follows that (6) and (7) semantically express two structurally identical but numerically distinct SRPs. Let us represent these propositions respectively by:

1. (6p) <Mark Twain, being an author>₁

2. (7p) <Mark Twain, being an author>₂

Note that (6p) and (7p) are both singular propositions (thus, their constituents are individuals and properties). They differ in virtue of different means of reference to Mark Twain. Spencer is keen to add that “the subscript is no more a constituent of the proposition expressed than the comma or the pointy brackets themselves.”Footnote ²⁷ Thus, (6p) and (7p) are the same so long as their propositional structures, constituents, or the roles that their constituents play are concerned. They differ in virtue of something ‘external’ to them and this is enough to give them different functions and, thus, different cognitive profiles.Footnote ²⁸

It is not hard to see how PR can solve Frege's Puzzle of Identity and Frege's Puzzle of Cognitive Value.Footnote ²⁹ It suffices to mention that according to PR and assuming that the semantic means of reference by which ‘Hesperus’ refers to Venus is different from the semantic means of reference by which ‘Phosphorus’ refers to Venus, (8) and (9), namely:

1. (8) Hesperus is Hesperus.

2. (9) Hesperus is Phosphorus.

semantically express two structurally identical but numerically distinct SRPs. These propositions can respectively be represented by:

1. (8p) <Hesperus, = , Hesperus>₁

2. (9p) <Hesperus, = , Hesperus>₁,₂

Index 1, is supposed to record the impact of the semantic means of reference associated with ‘Hesperus’ on the semantic content of (8) and index 2 is supposed to record the impact of the semantic means of reference associated with ‘Phosphorus’ on the semantic content of (9), because (9) contains an occurrence of ‘Hesperus’ as well, index 1 does not disappear from (9p). Therefore, Hammurabi may reasonably believe (8p) and not believe (9p) and this can be explained by the semantic fact that (8p) and (9p) are only structurally identical but numerically distinct SRPs.

PR, furthermore, rejects the thesis that “propositions have their constituents essentially”Footnote ³⁰ and accepts gappy propositions (GPs).Footnote ³¹ As a result, PR is able to provide a ‘semantic’ solution to one of the most recalcitrant problems raised by empty names for NR, namely the problem of apparent difference in meaning between sentences like:

1. (10) Vulcan is a planet.

2. (11) Sherlock Holmes is a planet.

Here is the problem: given that ‘Vulcan’ and ‘Sherlock Holmes’ are genuinely empty names, i.e., they have no semantic referents, and assuming NR and that (10) and (11) express GPs, it follows that they express the same GP. Let us represent this GP by:

• (10/11) <___, being a planet>

Thus, (10) and (11) have the same semantic content. Therefore, (10) and (11) should say the same thing, semantically speaking. However, there is a strong intuition that (10) and (11) have different meanings.Footnote ³²

Neo-Russellians, typically, attempt to resolve the tension by explaining (or explaining away) the intuition that (10) and (11) have different meanings by appealing to pragmatics or psychology. In other words, the general Russellian strategy is to ‘divorce’ (intuitive) meaning from semantic content by means of pragmatic or psychological explanations. PR, in contrast, can easily introduce two structurally identical but numerically distinct GPs such that one is the semantic content of (10) and the other is the semantic content of (11). Suppose that the means of attempted reference associated with ‘Vulcan’ is different from the means of attempted reference associated with ‘Sherlock Holmes.’Footnote ³³ By EC and IC, it follows that there are two structurally identical but numerically distinct GPs, which can respectively be represented by:

1. (10gp) <___, being a planet>₁

2. (11gp) <___, being a planet>₂

According to PR, one may conclude, (10) semantically expresses (10gp) and (11) semantically expresses (11gp). Again, indices, like commas and brackets, are not amongst the constituents of the GPs (10gp) and (11gp). If so, then that (10) and (11) have different meanings can be explained by the ‘semantic fact’ that (10) and (11) semantically express different propositions.

III. A Prima Facie Metaphysical Problem

So far, so good. Here, however, is a metaphysical concern regarding the individuation of SRPs. Consider (6p) and (7p) again:

1. (6p) <Mark Twain, being an author>₁

2. (7p) <Mark Twain, being an author>₂

Given PR, (6p) and (7p) only differ externally; nothing internal to them plays any role in their non-identity. They differ from each other in virtue of some facts, namely the semantic facts involving association with specific means of reference, external to the inner nature of these propositions. However, it might be claimed, if (6p) and (7p) differ externally, then they also differ internally, so to speak — otherwise the claim being made is that one and the same thing does and does not have such-and-such external relation. But, on PR, (6p) and (7p) do not differ internally. Therefore, PR is false.

The above concern is based, among other things, on the assumption that if two objects differ externally, then they differ internally. Consider the contraposition of this assumption: “if two objects do not differ internally, then they do not differ externally.” Claims about identity raise thorny issues. The least is that the assumption or its contraposition are not held unequivocally. For example, if one assumes that ‘constitution’ is not ‘identity,’ then the reconstructed ship of Theseus is not the original ship of Theseus. The two, however, are internally identical; they have the same parts and the same form (given an appropriate form of endurantism about their parts, for example). Assuming that the original ship of Theseus and the reconstructed ship differ in some external properties, e.g., their locations, it follows that there are two objects that do not differ internally but they do differ externally.Footnote ³⁴

Admittedly, constitution may well be identityFootnote ³⁵ and the above argument by analogy may not help PR. Having said that, how to provide a metaphysical ground for PR is one thing and whether the view is semantically adequate is another. Here, I put the metaphysical problems that PR may raise aside and focus on the view's semantic adequacy. In particular, I will try to derive one of the odd semantic consequences of PR.

IV. A Semantic Puzzle

Recall:

1. (5) The semantic content of a simple (predicative) ‘that’-clause (⌈that N is F⌉) is the SRP semantically expressed by the simple atomic sentence (⌈N is F⌉) embedded in the ‘that’-clause.

Consider the following two ‘that’-clauses:

1. (6´) That Mark Twain is an author

2. (7´) That Samuel Clemens is an author

Given PR, (6) and (7) express structurally identical but numerically distinct SRPs. Assuming (5), it follows that (6´) and (7´) semantically refer to two different SRPs.Footnote ³⁶ Then, consider the following instance of the application of the principle of substitutivity of co-referential proper names within a simple (predicative) ‘that’-clause, in an extensional context:

(ARG 2)

1. (2.1) That Mark Twain is an author is that Mark Twain is an author.

2. (2.2) Mark Twain is Samuel Clemens.

3. (2.3) That Mark Twain is an author is that Samuel Clemens is an author.

(2.1) expresses a simple (semantic) identity fact, namely (6p), the proposition, is identical to (6p). The semantic content of (2.1), then, can be represented by:

1. (2.1p) <<Mark Twain, being an author>₁, = , <Mark Twain, being an author>₁>

(2.2.) expresses another simple identity fact, namely that Mark Twain, the individual, is identical to Mark Twain. Assuming PR, and that the semantic means of reference by which ‘Mark Twain’ refers to Mark twain is different from the semantic means of reference by which ‘Samuel Clemens’ refers to Mark Twain, the semantic content of (2.2), can be represented by:

1. (2.2p) <Mark Twain, = , Mark Twain>₁,₂

The two indices, 1 and 2, are supposed to record the impact of the means of reference associated with ‘Mark Twain’ and that associated with ‘Samuel Clemens’ on the semantic content of (2.2).

The rule that legitimizes the move from (2.1) and (2.2) to (2.3) is the principle of substitutivity of co-referential proper names within a simple (predicative) ‘that’-clause, in an extensional context (PS1). Let me formulate PS1 explicitly as follows:

By ‘a simple predicative ‘that’-clause,’ in PS1, I mean a ‘that’-clause in which an atomic predicative sentence that contains no intensional terms, including modal operators and attitude verbs, is embedded. By the modifier ‘in an extensional context,’ I mean that the ‘that’-clause itself is not included in the scope of any intensional terms either. Hence, by PS1, (2.3) follows. However, according to PR, (2.1) and (2.2) are true but (2.3) is false because it expresses a false identity, namely that (6p) is numerically identical to (7p). Recall, according to PR, (6p) and (7p) are structurally identical but numerically distinct SRPs. The semantic content of (2.3), thus, can be represented by:

1. (2.3p) <<Mark Twain, being an author>₁, = , <Mark Twain, being an author>₂>

To derive (2.3), given (2.2), the second occurrence of ‘Mark Twain’ in (2.1) should be substituted with ‘Samuel Clemens,’ using (PS1). This use of (PS1) is acceptable because neither the ‘that’-clause nor the sentence that contains the ‘that’-clause include any intensional terms. Let me add that I am reading off the semantic content of (2.3), namely what is represented by (2.3p), from (2.3) itself because, first, (PS1) is a rule concerning the substitution of co-referential proper names, and second, Spencer does not discuss substitution of an individual for itself in a SRP. So, I apply (PS1) to the sentences and read off their semantic contents by assuming PR.

Note that the problem does not extend to ‘that’-clauses such as ‘that Santa Clause lives at the North Pole’ and ‘that Father Christmas lives at the North Pole,’ unless PR accepts true simple atomic identity statements such as ‘Santa Claus is Father Christmas’Footnote ³⁷ and allows substitution of ‘Father Christmas’ for ‘Santa Claus,’ given that both proper names are genuinely empty.Footnote ³⁸

The puzzle is not necessarily based on the assumption that ‘that’-clauses are singular terms referring to SRPs.Footnote ³⁹ It can be reformulated by means of other proposition-designating (singular) terms, for example, explicit proposition descriptions such as ‘the proposition that p.’Footnote ⁴⁰ The structure of the argument will remain intact.

One might be suspicious of (ARG 2) and ARG (3) because in both arguments co-referential proper names are substituted within simple (predicative) ‘that’-clauses which, in turn, are parts of identity statements. One might wonder if there is an argument to the same effect that only appeals to substitution of co-referential proper names within simple (predicative) sentences. There is such an argument; the puzzle, in a different formulation, shows that PR leads to the violation of the principle of substitutivity of co-referential proper names within simple (predicative) sentences. Consider:

(ARG 4)

1. (4.1) That Hesperus is Hesperus is (identical to) that Hesperus is Hesperus.

2. (4.2) Hesperus is such that (that it is Hesperus is (identical to) that Hesperus is Hesperus). (Lambda Introduction, 4.1.)

3. (4.3) Hesperus is Phosphorus.

4. (4.4) Phosphorus is such that (that it is Hesperus is (identical to) that Hesperus is Hesperus). (The principle of substitutivity of co-referential proper names within simple (predicative) sentences (PS2), the first occurrence of ‘Hesperus’ in 4.2 and ‘Phosphorus’ in 4.3.)

5. (4.5) That Phosphorus is Hesperus is (identical to) that Hesperus is Hesperus. (Lambda Elimination, 4.4.)

Once more, (4.1)-(4.3) are true. Let's represent their semantic contents respectively by:

1. (4.1p) <<Hesperus, = , Hesperus>₁, = , <Hesperus, = , Hesperus>₁>

2. (4.2p) <Hesperus, λx [<<x, = , Hesperus>₁, = , <Hesperus, = , Hesperus>₁>]>

3. (4.3p) <Hesperus, = , Hesperus>₁,₂

The rule that legitimizes the move from (4.2) and (4.3) to (4.4) is the principle of substitutivity of co-referential proper names within simple (predicative) sentences (PS2). Let me formulate PS2 explicitly:

By ‘a simple (predicative) sentence,’ in PS2, I mean an atomic predicative sentence that contains no intensional terms, including modal operators and attitude verbs. In the language of classical first-order logic, a translation of PS2 is accepted as an axiom of identity and is essential to the concept of identity. To derive (4.4), substitution of co-referential proper names occurs in the subject-position of a simple (predicative) sentence that has the following form: ‘Hesperus is such-and-such.’ The semantic content of (4.4) can be represented by:

1. (4.4p) <Hesperus, λx [<<x, = , Hesperus>₁, = , <Hesperus, = , Hesperus>₁>]>₂

(4.4) contains three occurrences of ‘Hesperus.’ Index 1, in (4.4p), records the impact of the semantic means of reference associated with ‘Hesperus’ on the content of (4.4). Also, (4.4) contains one occurrence of ‘Phosphorus.’ Index 2, in (4.4p), records the impact of the semantic means of reference associated with ‘Phosphorus’ on the content of (4.4).

By the rule of Lambda Elimination, (4.5) follows from (4.4). However, to repeat, given PR and that the means of reference associated with ‘Hesperus’ is different from the means of reference associated with ‘Phosphorus,’ it follows that (4.5) is false. The semantic content of (4.5) can be represented by:

1. (4.5p) <<Hesperus, = , Hesperus>₂,₁, = , <Hesperus, = , Hesperus>₁>.

I have represented the semantic content of:

1. (4.5.1) That Phosphorus is Hesperus.

by:

1. (4.5.1p) <Hesperus, = , Hesperus>₂,₁

and the semantic content of:

1. (4.5.2) That Hesperus is Hesperus.

by:

1. (4.5.2p) <Hesperus, = , Hesperus>₁

(4.5) includes (4.5.1) and (4.5.2) and (4.5p) includes (4.5.1p) and (4.5.2p). The indices, namely 2, 1, in (4.5.1p), can be interpreted as recording the order of occurrences of ‘Phosphorus’ and ‘Hesperus’ in (4.5.1), and, thus, in (4.5). But this is not crucial for my argument. Again, I am applying (PS2) to the sentences and read off their contents by assuming PR. So long as the semantic means of reference by which ‘Phosphorus’ refers to Venus is different from the semantic means of reference by which ‘Hesperus’ refers to Venus, (4.5.1p) and (4.5.2p) will be non-identical and thus (4.5p), and hence (4.5), will be false.Footnote ⁴¹

One might attempt to block (ARG 4) by reading off the content of (4.5) as represented by (4.5p´), instead of (4.5p):

1. (4.5p´) <<Hesperus, = , Hesperus>₂,₁, = , <Hesperus, = , Hesperus>₂,₁ >

Indices of the two ingredient propositions in (4.5p´) are the same. For my purposes, their order is not at stake, they could be put as ‘1,2.’ Spencer has not explained how the index of the outer-most proposition should be distributed over the ingredient propositions; in fact, the issue has not been raised in the first place. It is noteworthy that this problem does not arise in (ARG 2) and (ARG 3) because substitution of co-referential proper names is directly done into the ‘that’-clause occurring in the identity statement. The point of (4.5p´) is to make the identity between two ingredient propositions, expressed by (4.5), come out true. I will address this line of response in the following section (see, particularly, the last part).

V. Replies and Rebuttals

In reply, the proponent of PR has two general strategies: First, to accept that (ARG 2)-(ARG 4) show that PR leads to the violation of PS1 or PS2 and embrace this consequence. Second, to try to move one step further from NR, and revise PR more radically, such that (ARG 2)-(ARG 4) no longer show that PR leads to the violation of PS1 or PS2.

The first strategy does not take PS1 and PS2 to be obvious truths. Accordingly, one might treat ‘that’-clauses as ‘intensional contexts’ in which co-referential proper names may not be substitutable salve veritate. Given PR, this reply suggests, (ARG 2)-(ARG 4) are not valid, and therefore not sound. If PR is true, then co-referential singular terms may not be substitutable salve veritate and, hence, neither PS1 nor PS2 is necessarily truth-preserving. This is not an exception, the reply continues, as there are many alleged counterexamples to the principle of substitutivity of co-referential singular terms in intensional and hyperintensional contexts. Similarly, here, substitutivity of co-referential singular terms is not allowed and, thus, (ARG 2)-(ARG 4) are not valid. Therefore, there is no objection to PR.

This reply seems to push PR toward Fregeanism, so far as ‘that’-clauses are at stake. The Russellian would not find this strategy promising for three reasons. First, neither PS1 nor PS2 is the principle of substitutivity of co-referential singular terms salve veritate; rather, they are more specific principles. PS1 is the principle of substitutivity of co-referential proper names within simple (predicative) ‘that’-clauses, in an extensional context, and PS2 is the principle of substitutivity of co-referential proper names in simple (predicative) sentences. Simple (predicative) ‘that’-clauses and sentences contain no intensional terms, including modal operators and attitude verbs. Thus, intensional and hyperintensional contexts that provide counterexamples to the principle of substitutivity of co-referential proper names are beside the point. Second, given that proper names are rigid designators, substitutivity of co-referential proper names, even in the context of modal operators and attitude verbs, is central to the Russellian views. In fact, different pragmatic and psychological explanations devised within the Russellian camp are intended to explain away, among other things, the intuitions of substitution failure (within simple (predicative) ‘that’-clauses and sentences) when rigid designators are involved.Footnote ⁴² Third, given that appropriate forms of Lambda Introduction and abstraction are available, (ARG 4) shows that PR leads to the violation of PS2, which is a translation of an axiom of identity. Even if the Russellian is willing to withhold assent to PS1, or disputes its application in (ARG 2) and (ARG 3), it is not clear how PS2 can be compromised, given NR.

The second strategy involves moving one step further from NR and revising PR more radically to save PS1 and PS2. Given that Millianism with regard to proper names and (simple) predicates, namely (1) and (2), and Russellianism with regard to simple atomic sentences, namely (3), are central to NR and PR (PR itself accepts all principles of NR except (4)), the most natural way to develop this line of reply is to disavow (5). Recall:

1. (5) The semantic content of a simple (predicative) ‘that’-clause (⌈that N is F⌉) is the SRP semantically expressed by the simple atomic sentence (⌈N is F⌉) embedded in the ‘that’-clause.

Rejecting (5) requires an alternative semantics for a simple (predicative) ‘that’-clause (⌈that N is F⌉). I will discuss two possibilities.

First, if, according to this alternative semantics, (i) ⌈N is F⌉ satisfies semantic innocence, that is ⌈N is F⌉ makes its standard contribution to the semantic content of ⌈that N is F⌉, and (ii) the semantic content of ⌈that N is F⌉ conforms to a principle of compositionality of semantic content, according to which if the content of ⌈that S⌉ and that of ⌈that R⌉ only differ in one constituent, then they are not identical, then it can be shown that the puzzle will resurge.

Let me illustrate. François RecanatiFootnote ⁴³ provides an alternative semantics for ‘that’-clauses, according to which they are quantified noun phrases whose semantic contents are higher-order properties, or relations. For example, the semantic content of ‘that grass is green,’ according to Recanati, can be represented by:

‘p’ is an objectual variable ranging over truth-evaluable entities. ‘X’ ranges over first-order relations, e.g., BELIEVES, that are the semantic contents of propositional attitude verbs, e.g., ‘believes.’ And ‘x’ ranges over individuals, e.g., John.Footnote ⁴⁴

Accordingly, the semantic content of ⌈that N is F⌉ is not the SRP semantically expressed by the simple atomic sentence (⌈N is F⌉) embedded in the ‘that’-clause. Hence, (5) no longer holds. Now, recall:

1. (6) Mark Twain is an author.

2. (7) Samuel Clemens is an author.

Again, given PR, suppose that (6) and (7) express structurally identical but numerically distinct SRPs, namely:

1. (6p) <Mark Twain, being an author>₁

2. (7p) <Mark Twain, being an author>₂

Also, recall:

1. (6´) That Mark Twain is an author

2. (7´) That Samuel Clemens is an author

Given Recanati's view and semantic innocence for (6) and (7), that is if (6) and (7) make their standard contribution, namely (6p) and (7p), to the semantic content of (6´) and that of (7´), the semantic content of (6´) and that of (7´) can be represented by:

1. (6´´) λXλx [(∃p: TRUE(p) iff <Mark Twain, being an author>₁) X (x, p)]

2. (7´´) λXλx [(∃p: TRUE(p) iff <Mark Twain, being an author>₂) X (x, p)]

Assuming a principle of compositionality of semantic content, according to which if properties X and Y only differ in one constituent then they are not identical, it follows that the property represented by (6´´) is not identical to the property represented by (7´´) because they differ in one constituent, namely (6p) and (7p) occurring on the right-hand side of the biconditionals in (6´´) and (7´´) correspondingly. This validates a new version of (ARG 2), namely (ARG 2´), which has the same formulation, that is (2´.1), (2´.2), and (2´.3) are (2.1), (2.2), and (2.3) respectively, but different content. The content of (ARG 2´) can be represented by:

(ARG 2´p)

1. (2´.1p) <λXλx [(∃p: TRUE(p) iff <Mark Twain, being an author>₁)  X (x, p)], = ,

   λXλx [(∃p: TRUE(p) iff <Mark Twain, being an author>₁) X (x, p)]>

2. (2´.2p) <Mark Twain, = , Mark Twain>₁,₂

3. (2´.3p) <λXλx [(∃p: TRUE(p) iff <Mark Twain, being an author>₁)  X (x, p)], = ,

   λXλx [(∃p: TRUE(p) iff <Mark Twain, being an author>₂) X (x, p)]>

Thus, the puzzle resurges. Again, I am reading off the semantic content of each line, namely (2.1), (2.2), and (2.3), from the line itself, assuming PR and Recanati's semantics for ‘that’-clauses. In particular, (2´.3p) is the semantic content of (2´.3), which is the same as (2.3). I have not recovered (2´.3p) from (2´.1p) and (2´.2p). To repeat, Spencer does not discuss substitution of an individual for itself in a SRP. According to PR, a SRP may change its identity by substituting an individual for itself if the names referring to the individual in the two cases are associated with different semantic means of reference. Given the above-mentioned principle of compositionality of semantic content, the same result follows for properties containing SRPs. According to this proposal, thus, Spencer's view has the conclusion that the semantic content of (6´) is distinct from the semantic content of (7´) and hence (2´.3p) is false. This brings us to the second option for the second strategy.

Second, the proponent of PR might consider a semantics for ‘that’-clauses, according to which though (6) and (7) express distinct SRPs, namely (6p) and (7p), the corresponding ‘that’-clauses, namely (6´) and (7´), have the same semantic content. To achieve this goal, one might reject semantic innocence for (6) and (7) or the aforementioned principle of compositionality of semantic content. Either way, (5), in the characterization of NR, needs to be revised. For example, one might consider a standard Russellian semantics for ‘that’-clauses, according to which they are singular terms referring to (Russellian) propositions, ‘under a uniqueness condition.’ That is to substitute (5) with (5´):

1. (5´) The SRP semantically referred to by a ‘that’-clause (⌈that N is F⌉) is uniquely determined by the semantic content of the proper name and that of the simple predicate (Uniqueness for ‘that’-clauses).

(5´), in effect, cancels out the role of semantic means of reference in the individuation of the semantic contents of ‘that’-clauses. Therefore, though (6) and (7) semantically express structurally identical but numerically distinct SRPs, namely (6p) and (7p), the corresponding ‘that’-clauses, namely (6´) and (7´), semantically refer to one and the same standard SRP, which can be represented by:

1. (6/7p) <Mark Twain, being an author>

(6/7p) has no indices. According to this proposal, (ARG 2)-(ARG 4) can be blocked because the last line of each of these arguments has a true identity statement that includes two ‘that’-clauses that refer to one and the same standard SRP. And this is obvious if one removes the indices from (2.3p), (3.3p), and (4.5p) or uses a technique to assign the same indices to the ingredient propositions involved therein, as was suggested above in (4.5p´), for example.

The above reply, however, is ad hoc, first, and undermines a main motivation for PR, second. It is not clear, in a non-ad hoc way, why semantic means of reference are allowed to contribute to the individuation of SRPs where they are expressed by sentences but the very same semantic means of reference are not allowed to do so where SRPs are referred to by ‘that’-clauses. It is as though when one attempts to entertain a SRP via expressing it by a sentence, one succeeds and can correctly comprehend the proposition itself, but when one attempts to entertain the very same proposition via referring to it by a ‘that’-clause, which contains the very same sentence that expresses the proposition, one fails and cannot comprehend that proposition. (Instead, perhaps, one entertains the standard SRP that represents the class of all structurally identical but numerically distinct SRPs (according to PR) that has the proposition in question as a member.) The least is that there is an explanatory gap here. Furthermore, PR overgenerates, as it were, Russellian propositions by introducing structurally identical but numerically distinct SRPs to solve Frege's Puzzle of Identity and Frege's Puzzle of Cognitive Value, among other problems. Revising the semantics of ‘that’-clauses such that (6´) and (7´), for instance, find the same semantic content brings PR back to the stage in which some Fregean-style objections to NR can be levelled against PR.

For example, consider:

(ARG 5)

1. (5.1) Hammurabi believes that Hesperus is Hesperus.

2. (5.2) Hesperus is Phosphorus.

3. (5.3) Hammurabi believes that Hesperus is Phosphorus.

According to NR, (ARG 5) is sound and the intuition that Hammurabi does not believe that Hesperus is Phosphorus, assuming that he sincerely assents that Hesperus is not Phosphorus, should be explained away by the pragmatics of belief reports or the psychology of belief states, among other ways. If a revised version of PR takes

1. (8´) That Hesperus is Hesperus

2. (9´) That Hesperus is Phosphorus

to have the same semantic content (even if the semantic means of reference associated with ‘Hesperus’ is different from the semantic means of reference associated with ‘Phosphorus’), then (ARG 5) would be sound. This, in turn, would regenerate the counterintuitive consequence that Hammurabi does believe that Hesperus is Phosphorus, namely (5.3). PR, however, was designed to allow (8) and (9), namely:

1. (8) Hesperus is Hesperus.

2. (9) Hesperus is Phosphorus.

express distinct SRPs with different functions, and, thus, different cognitive profiles (see Section 2). The above reply, in effect, makes these distinct SRPs useless for the semantics of belief reports (and propositional attitude verbs in general). Consequently, to explain away the intuition that Hammurabi does not believe that Hesperus is Phosphorus, the proponent of PR, like the proponent of NR, would again need to appeal to the Russellian pragmatic or psychological explanations, or something to the same effect. Then, one might wonder why one should overgenerate Russellian propositions, as PR suggests, in the first place, if at the end of the day the same Russellian explanations are needed.