Stanford Encyclopedia of Philosophy
This is a file in the archives of the Stanford Encyclopedia of Philosophy.

Indexicals

First published Fri Sep 14, 2001; substantive revision Mon Oct 15, 2007

Indexicals are linguistic expressions whose reference shifts from context to context: some paradigm examples are ‘I’, ‘here’, ‘now’, ‘today’,‘he’, ‘she’, and ‘that’. Two speakers who utter a single sentence that contains an indexical may say different things. For instance, Fred and Wilma say different things when they utter the sentence ‘I am female’. Many philosophers (following David Kaplan 1989a) hold that indexicals have two sorts of meaning. The first sort of meaning is often called ‘character’ or ‘linguistic meaning’; the second sort is often called ‘content’. Using this terminology, we can say that the word ‘I’ has a single character (or linguistic meaning), but has different contents in different contexts.

Philosophers have several reasons for being interested in indexicals. First, they wish to describe their meanings and fit them into a more general theory of meaning. Second, they wish to understand the logic of arguments containing indexicals, such as Descartes's Cogito. Third, they think that reflection on indexicals may give them some insight into such matters as the nature of belief, self-knowledge, first-person perspective, and consciousness.

1. Some Examples, Some Terminology, and Some Distinctions

1.1 Examples of Indexicals and Some Terminology

The indexicals that philosophers have studied most are the pronouns ‘I’, ‘he’, ‘she’, ‘this’, and ‘that’; the adverbs ‘here’, ‘now’, ‘actually’, ‘presently’, ‘today’, ‘yesterday’, and ‘tomorrow’; and the adjectives ‘my’, ‘his’, ‘her’,‘actual’, and ‘present’. This list comes (more or less) from David Kaplan (1989a), whose work on indexicals is perhaps the most influential in the field.

An indexical's referent and content are determined by its linguistic meaning (character) and such contextual factors as the time, location, and intentions of the speaker. Indexicals are also commonly called context-sensitive expressions because their contents vary from context to context. The term ‘indexical’ is commonly (though not always) restricted to simple expressions, such as ‘I’and ‘today’, whereas the term ‘context-sensitive’ is often applied both to simple indexicals and to complex expressions that contain simple indexicals, such as ‘the man I love’ and ‘I am female’.

1.2 Indexical and Non-indexical Uses of Pronouns

Some of the expressions in Kaplan's list have non-indexical uses. ‘He’, ‘his’, ‘she’, and ‘her’ are sometimes used like bound variables in formal languages. For example, the occurrence of ‘he’ in (1) (on the relevant understanding) functions like an occurrence of a variable that is bound by the occurrence of the quantifier phrase ‘every man’. Similarly, ‘her’ in (2) (under the appropriate reading) is bound by ‘every girl’.

  1. Every man believes that he is smart.
  2. Every girl loves her father.

These same pronouns are also sometimes used as unbound anaphora. That is, some of their occurrences seem not to be bound by prior quantifier phrases, or other linguistic expressions, and yet depend for their interpretation on prior occurrences of linguistic expressions. (See the entry on anaphora.) For example, ‘he’ appears to be used as an unbound anaphor in discourse (3) and ‘she’ seems to be so used in (4).

  1. Johnny hit a home run. He was very happy.
  2. The woman who bought a newspaper was in a hurry. She forgot her change.

Finally, there are the uses of these pronouns in which we shall be interested, the indexical (or demonstrative or deictic) uses, as in (5) and (6).

  1. He likes sardines [pointing at Fred], but he does not [pointing at Barney].
  2. His car is dirty [pointing at Alfred], but his car is clean [pointing at Alonzo].

Most philosophers and linguists think that these different uses of these pronouns are closely related, and are not merely uses of distinct homonymous words. See section 5.4 for more on this topic. But in most of what follows, we shall ignore the non-indexical uses of these pronouns, and concentrate on their indexical uses.

1.3 Pure Indexicals and True Demonstratives

Kaplan (1989a) distinguishes between two different sorts of indexical, pure indexicals and true demonstratives. The true demonstratives include ‘he’, ‘she’, ‘his’, ‘her’, and ‘that’, while the pure indexicals include ‘I’, ‘today’, ‘tomorrow’, ‘actual’, ‘present’, and (perhaps) ‘here’ and ‘now’. (More on ‘here’ and ‘now’ below.) The two types of indexical differ in how their references and contents are determined. The reference and content of a true demonstrative in a context depends (roughly) on the speaker's accompanying demonstrations or intentions. For example, the reference and content of ‘that’ in a context is determined (in part) by the speaker's pointing gestures or by the speaker's intention to refer to a particular object. (See section 2 for more on the nature of reference-fixing for true demonstratives.) The reference and content of a pure indexical in a context does not depend on these sorts of speaker intentions and actions. For example, the reference of ‘I’ in a context is always the speaker, whether or not she points at herself, and the reference of ‘tomorrow’ in a context is always the day after the day of the context. We can reasonably say that the reference and context of a pure indexical is automatic, whereas the reference and content of a true demonstrative is not. (See Perry 1997, 2001.)

From here on, we shall use the term ‘demonstrative’ to mean true demonstrative, in the above sense. ‘Indexical’ shall be used here as a generic term, so that it encompasses both (true) demonstratives and pure indexicals.

Kaplan includes ‘here’ and ‘now’ in his list of pure indexicals, but this is problematic. Every utterance of ‘here’ automatically refers to a spatial location that includes the exact location of the speaker, but the extent of the spatial location can vary from utterance to utterance. If John is in Los Angeles speaking by phone with someone in Hong Kong and says ‘Susan is here’, he may well be saying that Susan is in Los Angeles. But if John's wife calls out ‘Where are you?’ from the other end of their house, and John answers ‘I am here’, it seems unlikely that he is merely saying that he is in Los Angeles.[1] Similar remarks go for ‘now’ and the time interval surrounding the utterance.[2] Thus it may be that ‘here’ and ‘now’ are demonstratives rather than pure indexicals.

1.4 Which Expressions are Indexicals?

Our initial list of indexicals in English (basically, Kaplan's list) is incomplete. A complete list would include at least the plural expressions ‘we’, ‘ours’, ‘they’, ‘theirs’,‘these’, and ‘those’. (For discussion of plural indexicals, see Nunberg 1993.) There may be still more indexicals in English, but how many more is controversial.

Many philosophers and linguists claim that words and morphemes that indicate tense are indexicals, because (very roughly) they refer to different times (or time intervals) from context to context. (See Reichenbach 1947, Partee 1973, Salmon 1989, Enc 1987, Ogihara 1996, and King 2003.) Some theorists have argued (Kratzer 1977, Lewis 1979b) that modal expressions, such as ‘necessarily’ and ‘possibly’, are indexical, because they vary in the type of modality they express from context to context (for example, nomological possibility in one context, metaphysical possibility in another, and epistemic possibility in yet others). The subjunctive (or counterfactual) conditional connective "if it were the case that … then it would be the case that …" seems to be context-sensitive, because the range of possibilities relevant for determining the truth of such sentences seems to shift from context to context (see Lewis 1973, pp. 66-68). ‘Come’, ‘go’, ‘left’, and ‘right’ seem to invoke different points of reference, or different perspectives, in different contexts (see Fillmore 1972, 1975 and Lewis 1979b).

Some philosophers have claimed that propositional attitude verbs, such as ‘believe’ and ‘know’, are indexicals. Richard (1990) claims that the sentences ‘Lois believes that Superman can fly’ and ‘Lois believes that Clark Kent can fly’ have the same truth value in some contexts, but different truth values in other contexts, though Lois undergoes no relevant changes. He argues that this occurs because, in different contexts, the verb ‘believes’ invokes different translation relations between the sentences inside the ‘that’-clauses of the belief sentences and the sentences that the believer accepts; therefore, ‘believes’ expresses different relations in different contexts. (See the entry on propositional attitude reports.) Cohen (1988), DeRose (1995), and Lewis (1996) claim that the sentence ‘George knows that he has a hand’ can be false in a context in which the speaker is considering skeptical arguments, but true in another, more ordinary, context in which the speaker is not considering skeptical arguments, even though no relevant change occurs in George. They explain this by claiming that ‘know’ is an indexical that expresses different relations in different contexts, depending upon the standards of justification in force in the speaker's context or the relevant alternatives that the speaker is considering in her context.

The adjective ‘rich’ seems to be context-sensitive, for the truth value of ‘Myles is rich’ seems to vary from context to context, depending on which property or comparison class is salient in the context (for example, the class of all Americans, the class of philosophers, the class of university presidents, or the class of CEO's of large organizations). There are at least two competing accounts of this apparent context-sensitivity. On one, ‘rich’ is a unary predicate whose content and extension varies from context to context. On a second account, ‘rich’ is a context-insensitive binary predicate (x is rich for a y) that has an associated hidden variable whose value in a context is a comparison property or class. The value of the hidden variable can be supplied by a pronounced predicate, as in the sentence ‘Myles is rich for a philosopher’. But if no such predicate is pronounced, as in ‘Myles is rich’, then context supplies a comparison property or class to serve as the second argument of the binary relation expressed by ‘rich’. The apparent context-sensitivity of other comparatives, such as ‘tall’, ‘large’, ‘heavy’, ‘hot’, and ‘fast’, might also be explained in either of these two competing ways. (See Kennedy 2007 for more on comparative adjectives.) Some theorists (Partee 1989, Condoravdi and Gawron 1996) have argued in favor of the second sort of account for certain expressions that seem to have indexical uses, such as ‘local’. A typical speaker who utters ‘A local bar is selling cheap beer’ is likely to mean (roughly) that there is a bar near him that is selling cheap beer. But a speaker who utters ‘Every football fan watched the Superbowl at a local bar’ probably does not mean that every football fan watched the Superbowl at a bar near him (that is, the speaker). Rather, he is likely to mean that each football fan x watched the Superbowl at some bar that is local to x. This variation can be explained by supposing that ‘local’ has a hidden variable associated with it (y is local to x), whose value is supplied by context in the first case, but which gets bound by the quantifier ‘every football fan’ in the second.

According to Stanley and Szabo (2000), all nouns have an associated hidden variable that can be bound or contextually filled. They argue that this explains how the same quantifier phrase can seemingly quantify over different domains in different contexts. For example, a speaker who utters ‘Every student is present’ in one context might mean that every student in school S is present, whereas a different speaker in a different context may utter the same sentence and mean that every student in class C is present. Stanley and Szabo claim that the sentence has different contents in those contexts, because the contexts supply different properties as values for the hidden variable associated with the noun ‘student’.

On some views, the contents and extensions of vague expressions shift from context to context. ‘Bald’ is a paradigm vague expression. Lewis (1979b) and Soames (1999) hold that, if David has an appropriate number and distribution of hairs on his head, then ‘David is bald’ may be true in one context and false in another. Lewis and Soames explain this by holding that the extension of ‘bald’ varies from context to context; Soames holds that it expresses different properties in different contexts. Both of them extend this same view to all vague expressions. Since nearly every expression is vague, their views imply that nearly every expression is an indexical.

Some philosophers resist claims that indexicality extends (much) beyond Kaplan's list. For instance, Cappelen and Lepore (2005) use arguments from assertion ascriptions against the view that comparative adjectives are indexical. Cappelen and Lepore hold that if John says ‘Myles is rich’, then Bill can truly say ‘John said that Myles is rich’. But if ‘rich’ were context-sensitive, then ‘rich’ could have a different content in John's context than it does in Bill's: the content of ‘rich’ in John's context could be (roughly) rich for a philosopher, while the content of ‘rich’ in Bill's context could be (roughly) rich for a CEO. If so, then Bill's report would be incorrect. So Cappelen and Lepore conclude that ‘rich’ is not context-sensitive. Cappelen and Lepore say that the content of ‘rich’ in every context is simply the property of being rich (period). Other philosophers, such as Richard (2004) and McFarlane (2007), have similar concerns about comparative adjectives in attitude ascriptions, but they (unlike Cappelen and Lepore) conclude that the truth of a sentence must be relativized to untraditional parameters, such as standards of wealth.

Summarizing: indexicality in English extends beyond Kaplan's list, though how far beyond is controversial. In what follows, however, we shall concentrate on uncontroversial cases, and mainly on the expressions in Kaplan's list.

2. Reference-fixing for Demonstratives

One major topic of work on indexicals is reference-fixing for (true) demonstratives. As mentioned before, (true) demonstratives differ from pure indexicals, in that the reference and content an utterance of a demonstrative is not fixed "automatically" by the context's speaker, time, and location. Something more is required to fix the reference of a demonstrative. The nature of this "extra something" is controversial, but two obvious candidates are pointing gestures and speakers' intentions.

In his 1989a, Kaplan emphasizes the role of pointing gestures in fixing the reference of a demonstrative. More precisely, he says that the reference of a demonstrative in a context is fixed by a demonstration. He describes a demonstration as "typically, though not invariably, a (visual) presentation of a local object discriminated by a pointing" (1989a, p. 490). Kaplan, however, changes his mind in his 1989b.[3] He there says that a demonstration is "typically directed by the speaker's intention to point at a perceived individual on whom he has focused". He calls such intentions directing intentions and then says that he has come to "regard the directing intention, at least in the case of perceptual demonstratives, as criterial, and to regard the demonstration as a mere externalization of this inner intention." (1989b, p. 582)

Other theorists have proposed different accounts. Devitt (1981) says that the referent of an utterance of ‘that’ is the item that stands in a certain causal relation to the utterance. McGinn (1981) proposes that the referent of an utterance of ‘that F’ is the first F to intersect the line projected from the speaker's pointing finger. Wettstein (1984) says that the reference of ‘that’ is determined by the cues that a competent and attentive addressee would reasonably take the speaker to be exploiting. Reimer (1991a, 1991b) argues, contra Kaplan's later view, that demonstrative utterances can refer to objects that are not the targets of the speaker's directing intentions. Bach (1992a, 1992b) defends (roughly) a version of Kaplan's later view from Reimer's criticisms; Bach says (roughly) that the object to which a speaker refers with a demonstrative is fixed by certain of the speaker's communicative intentions.

One prima facie problem for demonstration-theories is that some utterances of demonstratives seem to refer even though the speaker does not produce a demonstration (for instance, a pointing gesture). If ‘here’ and ‘now’ are demonstratives (as suggested earlier), then they may present a particular difficulty for demonstration-theories, for demonstrations seem irrelevant to determining their referents in contexts.

One prima facie problem for intention-theories is that speakers typically have a large number of intentions when they use demonstratives, and these intentions may conflict (as Bach recognizes in his 1992a and 1992b; see also Perry 1997). For example, a speaker who utters ‘he’ may intend to speak about Joe, about the man that she sees, about the man about whom others are speaking, and about the man at whom she is pointing. The speaker may think that these are the same person when they are not. Different intention-theories can select different of these intentions as reference-fixing, and so make different predictions about who the referent is in certain cases. Not all intention theories have been completely clear about what they take the relevant reference-fixing intention to be.

3. Kaplan's Theory of Indexicals

Thus far, we have relied on a rough and ready distinction between two sorts of meanings of indexicals, character (or linguistic meaning) and content. In this section, we consider Kaplan's theory of these meanings. We begin with Kaplan's theory because (as mentioned before) it is perhaps the most influential in the field. We first (re-)present an example that motivates some of Kaplan's distinctions. We then present Kaplan's theory. In section 4, we consider an important criticism of Kaplan's theory, and some alternatives to Kaplan's theory.

3.1 An Example and Some Intuitive Distinctions

Let us return to the example we considered at the beginning of this article.

  1. Fred: "I am female."
  2. Wilma: "I am female."

There is a clear sense in which Fred's utterance and Wilma's utterance share a meaning, for they utter the very same unambiguous sentence. We say that their utterances have the same linguistic meaning. Nevertheless, their utterances also seem to differ in meaning, in some sense, for Fred and Wilma say different things: Fred says that he is female, whereas Wilma says that she is female. Moreover, Fred says something that is false, while Wilma says something that is true. Traditionally, this difference in truth value would be taken to show that Fred and Wilma assert different propositions. In view of these considerations, let us say that the sentence ‘I am female’ has a different content in a context in which Fred is the speaker than it does in a context where Wilma is the speaker. We will take the content of a full declarative sentence, in a context, to be a proposition.

So far, we have an intuitive distinction between two sorts of meaning for utterances of indexical sentences: linguistic meaning and content. The theories of meaning that we shall consider below, beginning with Kaplan's, attempt to describe these (apparent) meanings more systematically.

Some theorists, however, do not find the above intuitions and distinctions compelling. Lewis (1980), for instance, thinks that these intuitions are shaky, at best. In any case, he questions their significance for semantic theory. Philosophers who eschew meanings altogether (such as those who favor Davidsonian theories of meaning) seek semantic theories that ascribe only extensions to indexical expressions (e.g., truth values to sentences, and referents to singular terms), with respect to contexts and (perhaps) other parameters. These theorists would not take the extra step of hypothesizing the existence of propositions or other sorts of meanings. See, for example, Burge (1974), Weinstein (1974), Larson and Segal (1995), and Lepore and Ludwig (2000). Nevertheless, in most of what follows, we concentrate on theories of meaning for indexicals that try to respect the above distinctions and intuitions in the most straightforward way possible, by hypothesizing (at least) two sorts of meaning.

3.2 Some Basics of Kaplan's Theory

In Kaplan's theory, linguistic expressions have contents in, or with respect to, contexts. Each context has at least an agent, time, location, and possible world associated with it. The content of ‘I’ with respect to a context c is the agent of c; the content of ‘here’ is the location of c; the content of ‘now’ is the time of c; and the content of ‘actually’ is the world of c. The content of a predicate, with respect to a context, is a property or relation. The content of a sentence, with respect to a context, is a structured proposition, that is, a proposition that can have individuals, properties, and relations as constituents. The content of a sentence S with respect to c is made up of the contents of the words in S with respect to c.[4]

To illustrate, consider the sentence ‘I am female’. Suppose that the agent of context c is Fred. Then the content of ‘I’ in c is Fred himself, while the content of ‘is female’ in c is the property of being female. The content of the whole sentence, in c, is a proposition whose constituents are just these two items. We can represent this proposition with the following ordered pair.

<Fred, being female>

The content of ‘I’ with respect to a context c* in which Wilma is the agent is Wilma herself, and the content of ‘I am female’ in c* is the proposition <Wilma, being-female>. Thus the word ‘I’ and the sentence ‘I am female’ have different contents in different contexts.

The content of a sentence, with respect to a context, is a proposition, and that proposition has a truth value at any possible world, including the world of the context. Suppose that w is the world of contexts c and c* above, in which Fred and Wilma are the agents, respectively. The content of ‘I am female’, with respect to context c is the proposition <Fred, being-female>. This proposition is false at w. But the content of ‘I am female’ with respect to context c* is the proposition that Wilma is female, and this proposition is true with respect to w.

On Kaplan's theory, we can also speak about the truth values of sentences, as opposed to contents (or propositions). The truth value of a sentence (as opposed to a proposition) depends on two parameters, context and world, on this theory. For example, the content of the sentence ‘I am female’ in context c is the proposition that Fred is female, and this proposition is false with respect to w (the world of context c). So we can say that the sentence is false with respect to c and w. By contrast, the content of this sentence at context c* is the proposition that Wilma is female, and this proposition is true at world w, so the sentence ‘I am female’ is true with respect to c* and w. (Notice that the world is the same both times, but the context is different.) Thus the sentence's truth value is doubly-relativized to both context and world. This sort of double-relativization is often called double-indexing. (See Vlach 1973 and Kamp 1973 for early examples of semantic theories for indexicals that use double-indexing.)

When a sentence is true with respect to context c and the world of context c, we say simply that the sentence is true at c, without mentioning a world. So the sentence ‘I am female’ is false at context c and true at context c*.

The content of a sentence, with respect to a context, can be also evaluated for truth at a world other than the world of the context. For example, the content of ‘I am a philosopher’, with respect to c, is the proposition that Fred is a philosopher. This proposition is false at w, the world of context c (let's suppose). But this proposition is true at some other world, say w*, in which Fred is a philosopher. Thus, the sentence ‘I am a philosopher’ is false with respect to c and w, but true with respect to c and w*. (Notice that the context is the same both times, while the world is different.) Therefore, the sentence ‘It is possible that I am a philosopher’ is true with respect to c and w; and the sentence is also simply true with respect to c.

We have considered the content of a sentence with respect to a context, and the truth value of a sentence with respect to both a context and a world (the truth value of the sentence was doubly-relativized). We can similarly speak of the content of a singular term with respect to a context, and its extension or referent with respect to a context and a world. The definite description ‘the person who invented bifocals’ has the same content with respect to all contexts; this content includes (roughly speaking) the property of being-a-person, the relation of inventing, and so on. But the referent of ‘the person who invented bifocals’, with respect to a context and a world, varies from world to world, because the person who invented the bifocals varies from world to world. (We assume here, with Kaplan, that definite descriptions are singular terms rather than quantifier phrases.) The situation is reversed for ‘I’. The content of ‘I’ varies from context to context: its content is Fred in one context, Wilma in another, and so on. But given a single context c, the referent of ‘I’ with respect to c and world w is the same for any world w whatsoever. For instance, if Fred is the content of ‘I’ with respect to context c, then the referent of ‘I’, with respect to c and any world w whatsoever, is Fred. Thus, for all worlds w, ‘I am hungry’ is true at c and w if and only if Fred is hungry in w. When a singular term refers to object o with respect to context c and the world of c, we can simply say that it refers to o in c, without mentioning a world. Thus ‘I’ refers to Fred in context c above.

Predicates also have extensions with respect to pairs of contexts and worlds. For instance, the content of ‘is female’ at any context c is the property of being female. This property has an extension at any world w, namely the set of objects that have the property of being female in w. Thus the extension of the predicate ‘is female’ at context c and world w is the set of females in w. If s is the extension of ‘is female’ at c and the world of c, then we can simply say that its extension at c is s, without mentioning a world.

The content of an expression in a context determines a corresponding intension, which is a function from possible worlds to extensions. For instance the content of ‘is female’ at (any) context c is the property of being female. The corresponding intension of ‘is female’ at c is a function on possible worlds whose value at any world w is the extension of ‘is female’ at c and w, namely the set of females in w. The content of ‘I’ in a context c in which Fred is the agent is Fred himself. The corresponding intension of ‘I’ in c is a function whose value at any world w is the referent (extension) of ‘I’ with respect to c and w, namely Fred himself. The content of ‘I am female‘ at c is the proposition that Fred is female, and the sentence's corresponding intension in c is the function whose value at any world w is the truth value of that proposition at w, which is also the extension of the sentence at c and w. Two expressions may have have the same intension in a context c and yet have different contents in c. For instance, the contents of ‘I am female‘ and ‘I am female, and I am either smoking or not smoking’ have different contents in c: one is the structured proposition that Fred is female, while the other is the structured proposition that Fred is female and Fred is either smoking or not smoking. (The latter proposition contains the property of smoking as a constituent, whereas the former does not.) Yet these propositions have the same truth values at all worlds, and so the two sentences have the same intension in c. We can, however, represent contents with intensions, when we can afford to ignore fine-grained differences in content. This is what Kaplan does when he sets out his logic for indexicals (see section 3.7).

3.3 Adding True Demonstratives

Kaplan contemplates two ways of extending his theory to (true) demonstratives. The more straightforward way (and the way that he seems to prefer in his 1989b) adds further suitable features to contexts. For instance, if each context has an associated day, then we can say that the content of ‘today’ in a context is the day of the context, and that its character is a function on contexts whose value at each context is the day of the context. The content of ‘you’ with respect to a context is the addressee of the context. The content of ‘that’ in a context is the demonstatum of the context. If we wish to deal with sentences that contain more than one occurrence of ‘you’ or ‘that’, then we can add sequences of addressees and demonstrata to contexts, and add subscripts to occurrences of ‘you’ and ‘that’. For instance, the content of ‘you1’ in context c is the first addressee of c, the content of ‘you2’ is the second addressee of c, and so on, and the content of ‘that1’ in c is the first demonstratum of c, the content of ‘that2’ is the second demonstratum, and so on. (See section 5.2 for more on multiple occurrences of demonstratives.)

The second way in which Kaplan (1989a) contemplates adding (true) demonstratives to the above theory (and the way he prefers in his 1989a) involves dthat-terms. A dthat-term is a term of the form "dthat[t]", where t is a singular term, such as a definite description. Its content in any context c is the object to which the term t refers in c. For example, the content of ‘dthat[the dog at whom I am now looking]’ is Fido in a context c in which Fido is the dog at which the agent of c is looking at the time of c (in the world of c). Kaplan (1989a) holds that a demonstration presents a demonstratum in a particular way. He uses definite descriptions to represent the ways in which demonstrations present demonstrata, and he uses dthat-terms to represent the demonstrative ‘that’ together with a type of demonstration. Thus Kaplan (1989a) might use the formal sentence ‘Dthat[the dog I see to my left] is larger than dthat[the dog I see to my right]’ to represent Fred's sentence-cum-demonstrations when he utters ‘That dog is larger than that dog’ while pointing at dogs to his left and right. If c is a context in which the agent sees the dog Fido to his left and the dog Rover to his right, then the content of the formal sentence in c is <Fido, Rover, being larger than>. (For critical discussion of this view of demonstratives, see Salmon 2002.)

3.4 Character

Kaplan takes the linguistic meaning, or character, of an expression to be a function from contexts to contents that delivers the expression's content at each context.[5] So, for example, the character of ‘I’ is a function on contexts whose value at any context is the agent of the context; its value at a context in which Fred is the agent is just Fred himself, whereas its value at a context in which Wilma is the agent is Wilma. The character of ‘here’ is a function whose value at each context c is the location of c. The character of a simple predicate, like ‘is female’, is a function on contexts that delivers the appropriate property or relation at every context (in this case, the character delivers the same property at every context, namely being-female). The character of a sentence is a function from contexts to the structured propositional content of that sentence at each context. For instance, the character of ‘I am female’ is a function whose value at any context c is the proposition <the agent of c, being female>. If Fred is the agent of c, then the value of this function at c is <Fred, being female>.

3.5 Direct Reference and Rigid Designation

Kaplan (1989a) claims that indexicals are devices of direct reference. By this he means that the content of an indexical, with respect to a context c, is simply the object to which it refers in c; its content is not a property (or descriptive condition) that determines the referent with respect to a context and world. For instance, the content of ‘I’ in c is just the agent of c; its content in c does not include the property of being-the-agent-of-c, or any other sort of property.[6]

Kaplan (1989a) also says that indexicals are rigid designators. The notion of a rigid designator comes from Kripke (1980), who defines a rigid designator to be an expression that has the same extension (or referent) with respect to all possible worlds.[7] When Kaplan claims that indexicals are rigid designators, he means (roughly) that, once a referent for an indexical is determined by a context, that same object is the one that is relevant for determining the truth value of a sentence containing that indexical at all worlds. For example, if Fred is the agent of context c, then Fred's state of hunger (and no one else's) is what is relevant for determining the truth of ‘I am hungry’ with respect to c and any world w whatsoever, whether or not w is the world of c. More precisely, if individual x is the referent of ‘I’ with respect to context c and the world of c, then: for all worlds w whatsoever, x is the referent of ‘I’ with respect to c and world w. Similarly for all other indexicals: once the referent is fixed for a context c and the world of c, the referent is that same object with respect to c and all other worlds.[8]

3.6 Utterances and Expressions in Kaplan's Theory

We began in section 3.1 with some intuitions about Fred's and Wilma's utterances in (7) and (8). It is important to note that utterances are not the same as linguistic expressions; this is shown by the fact that in (7) and (8), Fred and Wilma engage in two utterances of one linguistic expression (the sentence ‘I am female’). Rather, utterances are actions in which an agent utters an expression. Kaplan's theory does not ascribe contents or characters to utterances. It instead ascribes characters to expressions and contents to expressions relative to contexts. (We can, alternatively, think of the theory as ascribing contents to pairs of expressions and contexts, which we can call ‘expressions-in-contexts’ or ‘occurrences’, as Kaplan calls them.) In fact, Kaplan's theory ascribes contents to expressions in contexts in which the agent is not uttering the expression. For instance, the sentence ‘I am silent’ has a content with respect to a context in which Fred is not speaking: its content in that context is the proposition that Fred is silent, which is true in the world of the context. This is why Kaplan speaks of the agent of the context, rather than the speaker of the context. Kaplan's reasons for detaching content from utterances in this way will become clearer when we turn to his logic for indexicals.

Nevertheless, Kaplan's theory still has interesting implications for utterances. For instance, Fred and Wilma utter the sentence ‘I am female’, and Kaplan's theory says that this sentence has a certain character that determines a content in every context. Fred's utterance has a certain agent (Fred himself), and occurs at a certain time, place, and world, so his utterance determines a certain Kaplanian context, and the sentence that Fred utters has a content in that context. If Fred assertively utters that sentence in that context, then he (plausibly) asserts that sentence's Kaplanian content in that context. So Kaplan's theory, together with some other plausible assumptions, implies that Fred asserts a certain proposition. Similar remarks go for Wilma. We can thus use our intuitions about Fred's and Wilma's utterances to confirm (or disconfirm) Kaplan's theory. (For more on Kaplan's theory and utterances, see sections 5.2 and 5.3 below.)

3.7 Logic, Logical Truth, Validity, and Necessity

Kaplan's (1989a) formal theory contains an elaborate logic. We shall concentrate here on aspects of the logic that can be understood without going deeply into formal details.

In standard first-order logic, validity is defined as truth in all structures (or models) of a certain sort. In modal logic, validity is defined as truth at every world in every structure (or model) of a certain (other) sort. Kaplan similarly defines validity as truth at every context in every LD structure (‘LD’ stands for ‘Logic of Demonstratives’).

An LD structure includes a set W (the set of worlds), a set C (the set of contexts), a set T (the set of integers, representing times), and a set U (the set of individuals). Each LD structure also contains an interpretation function that assigns an intension to every predicate and individual constant of the formal language; these intensions represent the contents of those expressions in the structure.[9] Each context in C has an associated agent, time, position, and world. Kaplan requires that each LD structure ensure that the agent of any context c exists in the world of c and is located at the time and position of c in the world of c. Every LD structure ensures that the content of ‘I’ with respect to a context c is the agent of c: more accurately, the structure ensures that the content is an intension whose value at every world in the structure is the agent of c. Each structure must also ensure that the extension (or referent) of ‘I’ in c is the agent of c. Similarly, each structure ensures (roughly speaking) that the referent of ‘here’ in every context c is the position of c, and its content in c is an intension whose value at any world is the position of c. Similarly for ‘now’. The content (intension) of every complex expression in a context c and structure M is determined by the expression's grammar and the contents (intensions) in c and M of the expressions that appear in the sentence. Kaplan defines truth at a context and world within an LD structure in a standard way that is familiar from (modal) predicate logic.

Kaplan says that a sentence (or formula) is valid, and is a logical truth, iff it is true at every context in every LD structure. The logical truths include those of first-order logic. Some logical truths contain occurrences of indexicals: for instance, the (formal analog of the) sentence ‘If I am hungry, then I am hungry’ is a logical truth, for it is true at every context in every LD structure (including contexts in which the agent of the context is not speaking; see the previous section). There are also logical truths that are peculiar to indexicals. For instance, the sentence ‘I exist’ (or its formal analog) is true at every context in every LD structure, and so is a logical truth. ‘I am here now’ is also a logical truth. (For critical discussion of this last result, see Vision 1985, Salmon 1991, Smith 1989, Predelli 1998a, and Corazza et al. 2002.) Both of these results are due to Kaplan's stipulation that an LD structure ensure that the agent of a context c exists in the world of c and is located at the time and position of c in the world of c.

Some logical truths that are peculiar to indexicals are merely contingently true at some contexts in some LD structures. Consider, for instance, an LD structure M in which Fred exists at some of the worlds in M, but fails to exist at other worlds in M, and consider a context c in M in which Fred is the agent. The sentence ‘I exist’ is true with respect to c and the world of c in M (and so is true at c in M), but it is false with respect to c and some other worlds in M. Thus, ‘I exist’ is true at c in M, but ‘Necessarily, I exist’ is false at c in M. Thus ‘I exist’ is a logical truth that is only contingently true at some contexts in some LD structures. Parallel remarks hold for ‘I am here now’.

If ‘I exist’ is a logical truth, then it is reasonable to think that Fred knows a priori the proposition that he asserts when he assertively utters ‘I exist’ (at least when he considers the proposition in that way). If he does know this proposition a priori, then Fred has a priori knowledge of a contingent proposition. Kaplan thus claims that his logic of indexicals provides examples of Kripke's (1980) contingent a priori. (For discussion, see Salmon 1991 and Forbes 1989, 2003.)

Kaplan says that argument A is valid iff: for every context c in every LD structure M, if all of the premises of A are true at c in M, then the conclusion of A is also true at c in M. Under this definition of argument validity, arguments (9) through (10) are valid.

  1. I think. Therefore, I exist.
  2. I think. Everything that thinks exists. Therefore, I exist
  3. This is a hand. If this is a hand, then I am not a brain in a vat. Therefore, I am not a brain in a vat.

In fact, the conclusion of arguments (9) and (10) is a logical truth, and that is sufficient to ensure that both arguments are valid. Thus Kaplan's logic of indexicals may help us understand the logic of some philosophically interesting arguments. (For further discussion of the logic of indexicals and its relevance to Descartes's Cogito, see Forbes 2003.)

4. A Criticism of Kaplan's Theory and Some Alternatives

4.1 Some Preliminaries Concerning Belief and Cognitive Significance

Kaplan's theory is by no means universally accepted. The most common objections to Kaplan's theory concern belief and cognitive significance.[10] To understand the apparent problems, consider Fred's utterance in (12).

  1. Fred: "You are hungry" [addressing Barney].

Suppose that Fred assertively utters (12). Then it seems that he asserts the proposition that (12) expresses in his context. If this proposition is the same as its (alleged) Kaplanian content, then he asserts the Kaplanian content. Furthermore, if Fred utters the sentence sincerely, then he believes the proposition that (12) expresses in his context. Now according to Kaplan's theory, the content of (12) in Fred's context is a singular proposition, that is, a proposition that contains an individual as a constituent, in this case Barney. Many philosophers think that singular propositions could not be the things that people believe, and so Kaplan's theory cannot account for the cognitive significance of indexicals. What follows is an example intended to show this.

4.2 An Example and a Criticism of Kaplan's Theory

Imagine that Fred is looking at Barney, but that Barney is turned so that Fred directly sees only his left side. Suppose that, at the same time, Fred is viewing Barney's right side indirectly, via a mirror. Suppose the right side of Barney's face is masked; suppose finally that Barney is wearing an unusual costume, in which the left side appears to be a business suit while the right side appears to be a pair of swimming trunks. Then Fred might reasonably and sincerely utter (13), while addressing Barney and pointing at the mirror image.

  1. You [addressing Barney] are wearing a business suit, but he [pointing at the mirror] is not wearing a business suit.

On Kaplan's view, the content of (13) in Fred's context is a proposition that contains Barney as a constituent twice over. It is the proposition that Barney is wearing a business suit, but Barney is not wearing a business suit. Thus, on Kaplan's theory, Fred believes a contradictory proposition, one whose immediate constituents are a proposition and its negation. But Fred (let us suppose) is a perfectly rational person. So he would never believe an outright contradiction. Therefore, many philosophers conclude, Kaplan's theory of indexicals is incorrect.

4.3 Some Alternatives to Kaplan's Theory

The objection is a variant on Gottlob Frege's puzzle of cognitive significance (see also the entries on the sense/reference distinction, and propositional attitude reports). Frege (1892) uses puzzles like this to motivate his semantic theory, and so we might first look to him to find a solution to the problem. Frege (1984) contains a brief discussion of indexicals. One view that can be extracted from this article, together with Frege (1892), is the following. Utterances of expressions have both a referent and a sense. The sense of an utterance of a full sentence is a Thought. A person who sincerely and assertively utters a sentence asserts and believes the Thought (sense) expressed by that utterance. (Thus, sense plays roughly the same role in this Fregean theory that content does in Kaplan's.) The sense of an utterance of an indexical, such as ‘you’, can also be expressed by an utterance of a definite description that contains no indexicals. The relevant definite description is one whose utterance would be cognitively equivalent, for the speaker, to the utterance of the indexical. The referent of the utterance of the indexical is the referent of the relevant definite description.

It is controversial whether Frege really held this theory about indexicals, especially the thesis that utterances of indexicals have senses that can be expressed by definite descriptions that contain no indexicals. Nonetheless, let us call it Frege's theory

On Frege's theory, the sense of Fred's utterance of ‘you’ might also be expressed (roughly) by the definite description ‘the person wearing a business suit’. The sense of Fred's utterance of ‘he’ might be expressed (roughly) by ‘the person wearing swimming trunks’. So the Thought expressed by Fred's utterance of the full sentence in (13) might also be expressed by ‘the person wearing a business suit is wearing a business suit, but the person wearing swimming trunks is not’. The Thought expressed by the latter sentence is not contradictory. Therefore, Fred does not believe a contradiction, according to Frege's theory. Thus Frege's theory seems to solve the apparent problem with Kaplan's theory.

But Perry (1977) and Kaplan (1989a) have argued that there are problems with Frege's own theory. (For related discussion, see also Burks 1949 and Castaneda 1966, 1967.) Suppose that Fred sincerely utters ‘Today is July 4, 2001’ on July 3, 2001. According to Frege's theory, there is some non-indexical description that captures the sense of Fred's utterance of ‘today’. But, as Perry (1977) points out, Fred may find it very difficult to produce a description that contains no indexicals that he would be willing to substitute for his utterance of ‘today’ and that uniquely picks out one day. (In fact, in the previous paragraph the definite descriptions that we substituted for Fred's utterances of ‘you’ and ‘he’ almost certainly do not have unique referents.) Moreover, Perry says, it is possible that any such description that Fred would provide would not refer to the same day as his utterance of ‘today’. For instance, Fred might be inclined to express the sense of his utterance of ‘today’ with the description ‘the day in 2001 during which Americans celebrate the signing of the Declaration of Independence’. If so, then Frege's theory entails that Fred's utterance of ‘today’ on July 3, 2001 refers to July 4, 2001. So Frege's theory entails that Fred's utterance of ‘Today is July 4, 2001’ is true, and that he asserts and believes a truth. But Fred's utterance is false (no matter how he is inclined to describe the day on which he produces his utterance), and he asserts and believes a falsehood. So Frege's theory is incorrect. Kaplan raises a related modal problem for Frege's view. Suppose that Fred utters ‘If I exist, then I am speaking’, and suppose that the sense of his utterance of ‘I’ can be expressed by ‘the person speaking’. Then on Frege's theory, Fred's utterance expresses the same sense as ‘If the person speaking exists, then the person speaking is speaking’. This expresses a necessary truth, but Fred's utterance clearly does not.

One further apparent difficulty with Frege's view is that two utterances containing indexicals would rarely, if ever, express the same sense (or have the same content, to use our previous terminology). Consider, for example, (14) and (15).

  1. Fred: "I am hungry."
  2. Wilma: "You are hungry" [addressing Fred].

We are inclined to say that Fred's and Wilma's utterances say the same thing (in some sense). Furthermore, we think that Fred and Wilma (in some sense) assert and believe the same thing. Kaplan's theory validates these judgments, for the sentences have the same Kaplanian contents in their respective contexts, namely the singular proposition that Fred is hungry, and Fred and Wilma assert and believe that proposition. But it's highly unlikely that Fred's utterance and Wilma's utterance would express the same descriptive Fregean sense.

Schiffer (1978, 1981) avoids some of the problems with Frege's theory by allowing the relevant definite descriptions to contain the indexicals ‘I’ and ‘now’. For instance, on Schiffer's theory, Fred's utterance of ‘you’ in (13) might be cognitively equivalent, for him, to the description ‘the person whom I am now addressing’, while his utterance of ‘he’ might be cognitively equivalent to ‘the person whom I am now viewing in a mirror’. If so, then, on Schiffer's theory, Fred believes a singular proposition, but one that is not contradictory. Such a theory may avoid Perry's "wrong referent" objection, for the "I-now" description that Fred would use to replace ‘today’ would probably be something like ‘the day during which I am now speaking’, which would pick out the correct day. Kaplan's objection concerning ‘I’ and modality would be avoided, because an utterance of ‘I’ would have the speaker as its content. Schiffer avoids the problem of two utterances' never having the same content by distinguishing between the semantic content of an utterance and the proposition that the speaker believes. On Schiffer's view, Fred's utterance and Wilma's utterance have the same semantic content, namely the singular proposition that Fred is hungry. But Schiffer denies that Fred and Wilma believe the same singular proposition.

Schiffer, however, does not avoid all of the apparent problems raised above. On his view, two people will only very rarely believe the same proposition containing a contingently existing individual as a constituent. Moreover, Schiffer denies that we typically believe what we say; that is, we often do not believe the propositions that are the semantic contents of our utterances. Finally, Schiffer's view entails that certain utterances that seemingly express the speaker's contingently true beliefs actually express necessarily true beliefs. For instance, if the belief content that Fred expresses by uttering ‘you’ in (11) can be expressed by ‘the person whom I am now addressing’, then an utterance by Fred of ‘If you exist, then you are the person whom I am now addressing’ would express his belief in a necessarily true proposition; but it seems that he is expressing his belief in a contingent proposition. Austin (1990) presents further criticisms of this view.

Lewis (1979a) and Chisholm (1981) use examples like (13) to argue that people believe properties rather than propositions. These properties are roughly expressible by phrases or sentences containing ‘I’ and ‘now’. For example, according to Lewis and Chisholm, Fred in example (13) believes a property which might be expressed as follows: being a thing that addresses exactly one person, who is wearing business suit, and that views through a mirror exactly one person, who is not wearing a business suit. We might use ‘I’ and ‘now’ to express this property as follows: I am now addressing exactly one person, who is wearing a business suit, and viewing exactly one person through a mirror, who is not wearing a business suit. In many respects, Lewis's and Chisholm's theories of indexical belief are very similar to Schiffer's theory. (Their theories of meaning might not be alike: Chisholm, unlike Schiffer, holds that such properties are not only the objects of belief, but also the contents of utterances.) Thus Chisholm's and Lewis's theories are subject to some of the same difficulties as Schiffer's, as Austin (1990) points out.[11]

Evans (1981) proposes that the content of an utterance of an indexical consists (roughly) of the speaker, or the time of utterance, together with a relation that resembles its Kaplanian character. On this view, Fred's utterance of ‘you’ in (13) is (roughly representable by) an ordered pair whose first member is Fred and whose second member is (roughly) the relation addressing. Together, the members of this pair gives us a property, being-a-thing-that-Fred-addresses, that picks out Barney. The content of Fred's utterance of ‘he’ in (13) consists of Fred plus (roughly) the relation demonstrating. This pair also determines a property that picks out Barney. Nevertheless, on Evans's view, Fred's utterance does not express a contradictory proposition. In some important respects, Evans's proposal resembles that of Schiffer, Lewis, and Chisholm, and may be subject to some of the same difficulties. For instance, on Evans's view there is no sense in which Fred and Wilma say or believe the same thing in examples (14) and (15). Evans's theory might also be vulnerable to modal objections similar to those that seemingly afflict these other theories, if the theory is filled out in certain natural ways.

Peacocke (1992) proposes a neo-Fregean theory according to which senses, or concepts (as he calls them), are primitive, irreducible entities. However, each concept can be uniquely identified by describing the conditions under which a thinker grasps that concept (that is, by describing conditions under which a person can entertain a proposition that contains that concept as a constituent). The indexical concepts fall into types, e.g., first-person concepts and perceptual demonstrative concepts. For instance, in example (13), Fred grasps both a ‘you’ concept and a ‘he’ concept. (If Fred were in a perceptually identical situation, but looking at Barney's twin rather than Barney, then Fred would be grasping different ‘you’ and ‘he’ concepts, though they would be similar in type.) We can uniquely describe the concept Fred grasps by saying what it takes for a person to grasp that concept (we will not attempt to describe those conditions here). Peacocke's theory avoids many of the objections to Frege's theory. However, Peacocke's theory entails that Fred and Wilma believe different propositions in example (14)-(15).

4.4 Kaplanian Responses to the Criticism

The above survey of alternatives to Kaplan's theory was initially motivated by an apparent problem that Kaplan's theory has with cognitive significance and belief. Let's now consider how adherents to Kaplan's theory have responded to this problem. Consider once again the example of Fred in (13).

  1. You [addressing Barney] are wearing a business suit, but he [pointing at the mirror] is not.

The difficulty was that, on Kaplan's theory, Fred seems to assert and believe a contradictory singular proposition, one that contains the singular proposition that Barney is wearing a business suit, and the negation of that very same proposition.

In reply, Kaplan (1989a) and Perry (1979) hold that a singular proposition can be entertained and believed in different ways. These ways of entertaining and believing a proposition correspond to characters. Thus Kaplan says that an agent can believe a proposition under one character, but fail to believe it under another character. For instance, Fred in (13) believes the proposition that Barney is wearing a business suit under the character of ‘You are wearing a business suit’, but fails to believe that proposition under the character of ‘He is wearing a business suit’; in fact, Fred believes the negation of that proposition under the character of ‘He is not wearing a business suit’. On Kaplan's view, Fred really does believe a contradictory proposition, but he believes the conjuncts of this proposition under suitably different characters, which is why he still counts as rational.

Perry (1979) elaborates on this view by distinguishing between (i) the proposition that an agent believes and (ii) the belief state in virtue of which the agent believes that proposition. For any one proposition, there are many belief states that would enable an agent to believe that proposition. An agent can be in one of these belief states, while failing to be in another. Belief states can be classified into types according to the characters of the sentences that they dispose the agent to assert. For instance, a belief state that would cause an agent to sincerely assert ‘You are wearing a business suit’ is distinct from a belief state that would cause him to sincerely assert ‘He is wearing a business suit’, because the two sentences differ in character. A rational agent could be in a belief state of the first type without being in a belief state of the second type. In fact, a rational agent could be in the first sort of belief state, while also being in a second sort that causes him to utter ‘He is not wearing a business suit’. Thus a rational agent could believe a proposition and its negation, as long as he does so by being in suitably different belief states.

Kaplan's response leaves us with the question "What does it mean to believe a content under a character?" Perry's postulation of belief states is a first step towards answering the question, but his work leaves the nature of belief states relatively unclear. Both Kaplan and Perry think that ways of believing either are, or correspond one-to-one with, characters. This assumption is problematic. We can easily imagine that Fred, while viewing Barney, says ‘He [pointing directly at Barney] is wearing a business suit, but he [pointing at the mirror] is not’. If the two occurrences of ‘he’ have the same character, then, on Kaplan's and Perry's view, Fred rationally believes a proposition under one character and the negation of that same proposition under the "negation" of that same character. This is exactly the sort of situation that Kaplan's and Perry's view should disallow. For further discussion and criticisms, see Wettstein (1986), Taschek (1987), and Crimmins (1992, chapter 1). For elaborations on, and modifications of, the Kaplan-Perry theory, see Perry (1997, 2001). See also section 5.2 for related issues.

5. Other Topics Concerning Indexicals

In this section, we discuss a variety of additional issues about indexicals and context-sensitive expressions.

5.1 Complex Demonstratives

Complex demonstratives are expressions of the form that N or this N, where N is a common noun phrase. Examples include ‘this dog’, ‘that red car’, and ‘that woman who is standing by the door’. Complex demonstratives raise several interesting issues. Speakers seem to use complex demonstratives to refer to objects in much the same way that they use the simple demonstratives ‘this’and ‘that’. That is some reason to think that both simple and complex demonstratives are singular terms, that is, expressions whose extensions with respect to contexts are simply objects. But complex demonstratives have the same syntactic form as paradigm quantifier phrases, such as ‘some man’ and ‘every woman’. Most semanticists deny that these quantifier phrases are singular terms. Furthermore, complex demonstratives seem to describe objects in much the way that definite descriptions do, and many semanticists since Bertrand Russell have held that definite descriptions are quantifer phrases and not singular terms. So there are some reasons to think that complex demonstratives are quantifier phrases rather than singular terms.

However, most theorists have assumed that complex demonstratives are singular terms. Let us assume, for the moment, that they are. (We will return to quantificational views later.) Even given this assumption, there remain at least two major questions about complex demonstratives. First, do the common noun phrases that appear in them play some role in determining their referents? For example, must a person be a crook in order to be the referent of ‘that crook’ in a context? Second, what do these common noun phrases contribute to the contents of complex demonstratives? For instance, does ‘That crook is untrustworthy’ express, in a context, a proposition that has the property of being-a-crook as a constituent? Or does the phrase ‘that crook’ contribute only its referent to the proposition expressed?

Many (though not all) theories of complex demonstratives that say that they are singular terms can be classed into three types, according to how strong a semantic role they attribute to the common noun phrases. The first type says that the common noun phrase in a complex demonstrative plays no semantic role in determining the referent of the complex demonstrative. On such views, the referent of ‘that crook’ in a context need not be a crook. Furthermore, views of this type say that the content of the common noun phrase is not a constituent of the content of the complex demonstrative; the content of a complex demonstrative in a context is just its referent. The common noun phrase serves merely as a pragmatic cue that helps the speaker's audience figure out what the speaker's intended referent is. Call theories of this sort minimal theories, because they assign a minimal, or non-existent, semantic role to the common noun phrase. Larson and Segal (1995) endorse (roughly) a minimal theory (they do not, however, accept the existence of Kaplan-style contents).

Theories of the second type say that the common noun phrase does help determine the referent, but say that its content does not appear as a constituent of the content of the complex demonstrative. On such views, a person must be a crook in order to be the referent of ‘that crook’ in a context, but the property of being-a-crook is not a constituent of the complex demonstrative's content. The content of the complex demonstrative is just its referent. Kaplan (1989a) does not explicitly endorse this type of theory, but his incidental remarks about complex demonstratives suggest that he would favor it. Braun (1994), Borg (2000), and Salmon (2002) argue explicitly for views of this sort. Call theories of this sort intermediate theories.

Theories of the third type say that the common noun phrase helps determine the referent; moreover, the content of the common noun phrase appears as a constituent of the content of the complex demonstrative. Richard (1993) endorses a view of this sort. Let's call theories of this sort maximal theories.

Advocates of minimal theories describe cases in which a speaker apparently refers to a person with an utterance of ‘that crook’, even though the person is not a crook. But advocates of intermediate and maximal theories reply by distinguishing between speaker reference and semantic reference (see Kripke 1977): they say that, in such cases, the speaker refers to the non-crookish person, though the complex demonstrative itself does not (semantically) refer to that person in that context. Some advocates of maximal theories claim that sentences like (16) are logically or analytically true, whereas (they claim) this would not be so on minimal and intermediate theories, because those theories say that the content of the common noun phrase is not part of the content of the proposition expressed.

  1. If that crook exists, then that crook is a crook.

Advocates of intermediate views respond by admitting that (16) is true in all contexts (ignoring reference failure). But (they claim) this is not because the content of ‘crook’ is part of the content of the complex demonstrative. Rather, (16) is true in all contexts because ‘that crook’ refers in a context to a person only if the relevant person is a crook in the world of that context. Therefore, if the antecedent of (16) is true in a context, then so is its consequent. Intermediate theorists point out that (17) seems to be false in many contexts, which seems contrary to maximal theories.

  1. Necessarily: if that crook exists, then that crook is a crook.

Maximal theorists, however, may add rigidifying devices (such as ‘actually’) to the contents of complex demonstratives to avoid this difficulty.

Let us turn now to views that hold that complex demonstratives are quantifier phrases. Taylor (1981), Neale (1993, 2004), and King (2001) endorse views of this sort. On King's view, the semantic content of (18), in a context in which Fred is the speaker and is perceiving Barney and believes Barney to be a crook, is a proposition that is necessarily equivalent to the semantic content of (19) in that same context.

  1. That crook should be put in jail.
  2. The thing that is actually a crook and identical with Barney should be put in jail.

The complex demonstrative does not refer to Barney in Fred's context, but it does determine or denote Barney in Fred's context, in much the same way that Russell says that definite descriptions denote, but do not refer to, individuals (on his quantificational view of definite descriptions). King holds that quantification into complex demonstratives, as in (20), presents difficulties for the intermediate view of complex demonstratives that we considered above, because the semantic content (in a context) of the complex demonstrative that appears in (20) is not an individual.

  1. Every university professor cherishes that first publication of hers.

Borg (2000), Lepore and Johnson (2002), and Salmon (2002, 2006) reply to King's arguments.

Obviously, the issues and arguments here are complicated. Moreover, intuitions about the relevant cases are often unstable. For further discussion, see the works mentioned above. (See also Lepore and Ludwig 2000 and Dever 2001, which present views that do not fit easily into the above classification scheme.)

5.2 Multiple Occurrences of Demonstratives

Kaplan's theory has an apparent problem with sentences that contain multiple occurrences of the same demonstrative. The problem can be presented as an argument from Kaplanian premises to apparently false conclusions, as follows. The demonstrative ‘that’ has a single linguistic meaning. So every occurrence of ‘that’ has the same linguistic meaning. If Kaplan's theory is correct, then the linguistic meaning of an expression is a character, a function on contexts that yields the expression's content at each context. Thus, if Kaplan's theory is correct, then every occurrence of ‘that’ has the same character. Thus both occurrences of ‘that’ in sentence (21) have the same character.

  1. That is not identical with that.

But if the two occurrences of ‘that’ in (20) have the same character, then they have the same referent and content in every context. Thus, (20) is false in every context.[12] But this is surely incorrect.

One way in which a follower of Kaplan might try to escape this consequence is by, in effect, making the word ‘that’ ambiguous. As we saw above, on one way of introducing true demonstratives into Kaplan's theory, the single word ‘that’ is replaced with the subscripted expressions ‘that1’, ‘that2’, etc. The content of ‘that1’ in a context c is the first demonstratum of c, the content of ‘that2’ is the second demonstratum, and so on. Thus (22) is true in contexts in which the first demonstratum is distinct from the second.

  1. That1 is not identical with that2.

However, each subscripted ‘that’ has a different character (which is perhaps why Kaplan [1989b] sometimes speaks of the "exotic ambiguity" of demonstratives). None of these characters is a reasonable candidate for being the linguistic meaning of the (unsubscripted) English word ‘that’. So the subscript-maneuver undercuts Kaplan's identification of linguistic meaning with character.

There are several ways in which one might try to deal with this problem. One is to allow shifts in context in mid-sentence. We could allow the content of ‘that’ in a context to be the demonstratum of the context. We could then suppose that the two occurrences of ‘that’ in (21) are (always or sometimes) evaluated for content in different contexts that may have different demonstrata. Unfortunately, this option may wreak havoc with the logic of demonstratives; it may, for instance, undermine attempts to allow argument (11) (in section 3.3) to be valid. A second option is to move to Kaplan's other theory of demonstratives, the one that uses dthat-terms. But this view would require us to assign something like descriptive meanings to demonstrations. It also has the odd feature of assigning contents to combinations of ‘that’ with demonstrations, rather than to ‘that’ itself (in a context). (For further discussion, see Salmon 2002.) A third option is to give up the identification of linguistic meaning with character, and suppose instead that linguistic meaning is a third sort of meaning, distinct from both character and content. A fourth option is to move away from a Kaplan-style theory, which assigns contents to expressions relative to contexts, and move to a theory that assigns contents to utterances. This might help because every utterance of (21) contains two utterances of ‘that’. There are almost certainly other options. For further discussion, see Kaplan (1989b, 1999), Wettstein (1986), Braun (1996), Garcia-Carpintero (1998), Richard (1992, 2003), Salmon (2002), Forbes (2003), and section 5.3 below.

5.3 Utterance Theories vs. Expression Theories

As mentioned earlier, an utterance is an action (a sort of event) in which an agent utters an expression. Kaplan's theory does not assign contents to utterances. Rather, it assigns contents to expressions relative to contexts, or to expressions-in-contexts, which we can think of as pairs of expressions and contexts. There are many expressions-in-contexts for which there is no corresponding utterance. For instance, consider a context in which Fred utters ‘I am wearing a business suit’, and nothing else, at a particular time, place, and world. Even though Fred does not utter ‘I am hungry’ at that time, place, and world, there is still an expression-in-a-context consisting of that sentence together with a context which has Fred as its agent, and which has that time, location, and world associated with it. Kaplan's theory assigns a content to this expression-in-a-context (namely, the proposition that Fred is hungry) even though Fred does not utter the expression at that time, place, and world. That content even has a truth value in that context. Thus Kaplan's theory of indexicals "abstracts away" from utterances to a remarkable degree.

Kaplan (1989a, 1989b) claims that his abstract, expression-based, theory of indexicals has various advantages, especially when it comes to logic. First, Kaplan claims that his expression-theory classifies as logical truths all sentences that should be logical truths, whereas utterance-theories do not. Consider, for example, sentences of the form If P then P. All such sentences are logical truths, Kaplan claims, and are so-classified on Kaplan's theory. But now consider a sentence of this form in which P is an extremely long sentence containing ‘today’. Then there may be utterances of this sentence in which the utterance of the antecedent is true, while the utterance of the consequent is false, simply because the first utterance of P has taken more than one day to complete. If a sentence is logically true iff all of its utterances are true, then this sentence is not a logical truth, even though it has the form If P then P. But this seems incorrect. Second, Kaplan claims that his approach correctly labels some sentences as not logically true which would be incorrectly labeled as logically true on utterance-based theories. For instance, on Kaplan's abstract approach, the sentence ‘I am uttering something’ is not a logical truth, because it is false with respect to contexts in which the agent of the context is silent. But all utterances of this sentence are true, so if logical truth were taken to be truth-of-all-utterances, then this sentence would be (incorrectly) classified as a logical truth.

However, there also seem to be disadvantages to Kaplan's expression-based theory. As Kaplan (1989b) notes, there are serious difficulties in assigning contents to true demonstratives with respect to contexts in which the agent does not have any relevant directing intentions and produces no demonstrations. Suppose, for example, that when Fred utters ‘I am wearing a business suit’ at time T, location L, and world W, he does not point at any object and does not intend to refer demonstratively to any object. Then it will be very difficult to assign a content to ‘That is a dog’ with respect to a context that has Fred as its agent, and which has T, L, and W as its associated time, location, and world. Moreover, Kaplan's apparent problem with multiple occurrences of demonstratives is at least partly due to his assigning contents to expressions-in-contexts.

Other theorists prefer more utterance-oriented approaches to indexicals: see, for instance, Reichenbach (1947), Burks (1949), Weinstein (1974), and Barwise and Perry (1983). Perry (1997, 2001) argues for the advantages of theories that focus primarily on utterances. Kaplan himself (Kaplan 1999) has recently taken a more positive view of utterance-based theories. For further discussion, see Braun (1996), Garcia-Carpintero (1998) and Forbes (2003).

5.4 Variables, Anaphora, and Demonstratives

As mentioned in section 1.2, many of the expressions that can be used as demonstratives, such as ‘he’ and ‘she’, can also be used as unbound anaphroa and as bound variables. This presents a difficult challenge to semanticists. On the one hand, there are significant semantic differences between variables, unbound anaphora, and demonstratives: for instance, the content of a demonstrative is determined by a speaker's intentions or demonstrations, while the content of a (free) variable is determined arbitrarily by an assignment of values to variables. But, on the other hand, it seems that ‘she’ is an unambiguous expression, which has a single linguistic meaning. The challenge for semanticists is to describe the linguistic meaning of ‘she’ without slighting the significant semantic differences between its various use. (Similarly for ‘he’, ‘his’, ‘her’, and so on.)

Many theorists have discussed aspects of this problem, but it is unclear whether any have fully met the challenge. Kaplan (1989a, 1989b) emphasizes the semantic similarities between (on the one hand) free variables under assignments and (on the other hand) demonstratives in contexts. But he backs away from identifying the linguistic meanings of ‘he’ and ‘she’ with the linguistic meanings of variables (with appropriately restricted ranges); he even entertains the possibility that there are two homonymous expressions ‘he’, one of which is a demonstrative and the other of which is a variable. Other theorists (for instance, Heim and Kratzer 1998, chapter 9) assimilate demonstratives to free variables. Those who work on discourse representation theory and dynamic semantics emphasize the similarities between variables and some anaphoric uses of pronouns. (See, for example, Kamp and Reyle 1993 on discourse representation theory, and Chierchia 1992 on dynamic semantics; see also the entry on anaphora.) For related discussion, see Partee 1989, Condoravdi and Gawron 1996, and Neale 2005.

Bibliography

For useful overviews, see Forbes (1989, 2003), Perry (1997), and Richard (1992, 2003).

Other Internet Resources

Related Entries

anaphora | Frege, Gottlob | propositional attitude reports | propositions: singular | propositions: structured | reference