We provide an account of necessary a posteriori identity statements that relies upon Perry’s multipropositionalism. On our account an utterance of, e.g., ‘Hesperus is Phosphorus’, semantically makes available several propositions, one of which is necessary (and a priori) and another of which is a posteriori (and contingent). Since our view resembles two-dimensionalism, one might assume that it is undermined by the sorts of nesting arguments that Soames and others have raised against two-dimensionalism. We demonstrate, however, that our account is immune (...) to such nesting arguments. (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree (...) with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)

Fodor (Mind Lang 16:1–15, 2001 ) endorses the mixed view that thought, yet not language, is compositional. That is, Fodor accepts the arguments of radical pragmatics that language is not compositional, but he claims these arguments do not apply to thought. My purpose here is to evaluate this mixed position: Assuming that the radical pragmaticists are right that language is not compositional, what arguments can be provided in support of the claim that thought is compositional? Before such arguments can be (...) evaluated, the relevant notion of compositionality must be clarified. So I first clarify this notion of compositionality, and then consider three arguments in support of the mixed position. All three of these arguments are found to be inadequate, and thus I conclude that the mixed position is unstable: If one endorses the arguments of radical pragmatics against the compositionality of language, then one should also reject the compositionality of thought. (shrink)

Truth conditional semantics is the project of ‘determining a way of assigning truth conditions to sentences based on A) the extension of their constituents and B) their syntactic mode of combination’. This research program has been subject to objections that take the form of underdetermination arguments, an influential instance of which is presented by Travis: … consider the words ‘The leaf is green,’ speaking of a given leaf, and its condition at a given time, used so as to mean what (...) they do mean in English. How many distinct things might be said in words with all that true of them? Many.… Suppose a Japanese maple leaf, turned brown, was painted green for a decoration. In sorting leaves by colour, one might truly call this one green. In describing leaves to help identify their species, it might, for all the paint, be false to call it that. (shrink)

This paper deals with the semantic issues of epistemological contextualism - the doctrine according to which the truth-conditions of knowledge ascribing sentences vary depending on the context in which they are uttered. According to the contextualist, a sentence of the form "S knows that p" does not express a complete proposition. Different utterances of this same sentence, in different contexts of utterance, can express different propositions: "know" is context-dependent. Little attention has been paid to a precise formulation of the semantic (...) contextualist thesis grounding epistemological contextualism. My goal is then to assess differences and similarities between "know" and context-sensitive terms in a natural language – in particular pure indexicals and demonstratives: my remarks are a strong argument against the postulation of an indexical element in ascriptions of propositional knowledge. (shrink)

Clark highlights a neglected issue in research on language use: the process by which speakers and addressees anchor utterances with respect to individual entities in their common ground. In his review, he identifies the challenges linked to investigations of anchoring, but also displays the pitfalls of evading it.

This paper motivates and describes a non-alethic approach to faultless disagreement involving predicates of personal taste. In section 1 I describe problems faced by Sundell's indexicalist approach, and MacFarlane's relativist approach. In section 2 I develop an alternative, non-alethic, approach. The non-alethic approach is broadly expressivist in that it endorses both the negative semantic thesis that simple sentences containing PPTs do not semantically encode complete propositions and the positive pragmatic thesis that such sentences are used to express evaluative mental states. (...) Finally, in section 3 I explain how the non-alethic approach explains faultless disagreement. (shrink)

The popular interpretation of token‐reflexivism states that at the level of logical form, indexicals and demonstratives are disguised descriptions that employ complex demonstratives or special quotation‐mark names involving particular tokens of the appropriate expression‐types. In this article I first demonstrate that this interpretation of token‐reflexivism is only one of many, and that it is better to think of token‐reflexivism as denoting a family of distinct theoretical frameworks. Second, I contrast two interpretations of the idea of the token‐reflexive paraphrase of an (...) indexical sentence. The utterance approach claims that token‐reflexive paraphrases involve tokens of entire utterances. The sub‐utterance approach maintains that token‐reflexive paraphrases involve tokens of the particular indexical words used in the utterance. Next, I pose a problem that shows that neither of the two approaches is correct. The problem shows that the only viable version of the token‐reflexive proposition must somehow take into account the referential intentions of the speaker of the context. Therefore I conclude the article by sketching the framework of restricted intentional token‐reflexivism. I argue that it is an attractive semantic theory of distributed utterances that, among other things, enables automatic and intentional indexicals to be distinguished. (shrink)

The article presents two concepts of indexicality. The first, more standard and narrow, identifies indexicality with systematic (meaning controlled) context-sensitivity. The second, broader (derived from the work of Jerzy Pelc), conceives indexicality in terms of the potential variability of the general semiotic characteristics expressions (with respect to the context of use). The text introduces the concept of a pragmatic matrix that serves for a schematic representation of contextual variation. I also recapitulate briefly the views of Jerzy Pelc on the meaning (...) (manner of use) and use of expressions, and briefly indicate its relationship approaches with contemporary debates around contextualism and status of non-sentential speech acts. Finally, the relationship between the broader notion of indexicality and the directival theory of meaning is analyzed. (shrink)

The aim of this paper is to pose a problem for theories that claim that belief reports are context dependent. Firstly, I argue that the claim is committed to verbalism, a theory that derives the context sensitivity of belief reports from the context sensitivity of the psychological verbs used in such reports. Secondly, I argue that verbalism is not an attractive theoretical option because it is in conflict with the non-proto-rigidity of verbs like ‘believe’. Finally, I describe various consequences that (...) the argument has for invariantism and moderate contextualism. (shrink)

One of the most difficult problems in the foundations of physics is what gives rise to the arrow of time. Since the fundamental dynamical laws of physics are (essentially) symmetric in time, the explanation for time's arrow must come from elsewhere. A promising explanation introduces a special cosmological initial condition, now called the Past Hypothesis: the universe started in a low-entropy state. Unfortunately, in a universe where there are many copies of us (in the distant ''past'' or the distant ''future''), (...) the Past Hypothesis is not enough; we also need to postulate self-locating (de se) probabilities. However, I show that we can similarly use self-locating probabilities to strengthen its rival---the Fluctuation Hypothesis, leading to in-principle empirical underdetermination and radical epistemological skepticism. The underdetermination is robust in the sense that it is not resolved by the usual appeal to 'empirical coherence' or 'simplicity.' That is a serious problem for the vision of providing a completely scientific explanation of time's arrow. (shrink)

Two-dimensional approaches to semantics, broadly understood, recognize two "dimensions" of the meaning or content of linguistic items. On these approaches, expressions and their utterances are associated with two different sorts of semantic values, which play different explanatory roles. Typically, one semantic value is associated with reference and ordinary truth-conditions, while the other is associated with the way that reference and truth-conditions depend on the external world. The second sort of semantic value is often held to play a distinctive role in (...) analyzing matters of cognitive significance and/or context-dependence. (shrink)

Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems concern nested environments: linguistic environments where sentences are nested under both modal and epistemic operators. Closely related problems involving nested environments have been raised by Scott Soames (2005) and Josh Dever (2007). Soames goes so far as to say that nested environments pose the “chief technical problem” for strong two-dimensionalism. We call the problem of handling nested environments within two-dimensional semantics “the nesting problem”. We show that the two-dimensional (...) semantics for attitude ascriptions developed in Chalmers (2011a) has no trouble accommodating certain forms of the nesting problem that involve factive verbs such as “know” or “establish”. A certain form of the nesting problem involving apriority and necessity operators does raise an interesting puzzle, but we show how a generalized version of the nesting problem arises independently of two-dimensional semantics—it arises, in fact, for anyone who accepts the contingent a priori. We, then, provide a two-dimensional treatment of the apriority operator that fits the two-dimensional treatment of attitude verbs and apply it to the generalized nesting problem. We conclude that two-dimensionalism is not seriously threatened by cases involving the nesting of epistemic and modal operators. (shrink)

This paper suggests that reference to phenomenal qualities is best understood as involving iconicity, that is, a passage from sign-vehicle to object that exploits a similarity between the two. This contrasts with a version of the ‘phenomenal concept strategy’ that takes indexicality to be central. However, since it is doubtful that phenomenal qualities are capable of causally interacting with anything, indexical reference seems inappropriate. While a theorist like David Papineau is independently coming to something akin to iconicity, I think some (...) of the awkwardness that plagues his account would be remedied by transitioning to a more inclusive philosophy of signs. (shrink)

What is involved in the meaning of our expressions? Frege suggested that there is an aspect of an expression.

This paper proposes a new model of graded modal judgment. It begins by problematizing the phenomenon: given plausible constraints on the logic of epistemic modality, it is impossible to model graded attitudes toward modal claims as judgments of probability targeting epistemically modal propositions. This paper considers two alternative models, on which modal operators are non-proposition-forming: (1) Moss (2015), in which graded attitudes toward modal claims are represented as judgments of probability targeting a “proxy” proposition, belief in which would underwrite belief (...) in the modal claim. (2) A model on which graded attitudes toward modal claims are represented as judgments of credence taking as their objects (non-propositional) modal representations (rather than proxy propositions). The second model, like Moss’ model, is shown to be semantically and mathematically tractable. The second model, however, can be straightforwardly integrated into a plausible model of the role of graded attitudes toward modal claims in cognition and normative epistemology. (shrink)

Most of the readers of Frege's first Logical Investigation, have been convinced that, according to Frege, the sense of was a private one, that an I-thought was a private thought. But it is not the case: the famous Fregean distinction between private representations and public thoughts seems an explanation and a generalization of the I-thought problem as much as an anti-Cartesian repetition of the Cartesian Second Meditation. Frege's position concerning indexical thoughts is that they are public thoughts, for the sense (...) of an indexical expression is not related to private representations but to some semiotical aspects of the public context of its utterance. (shrink)

I examine the theory of consequentia of the medieval logician, John Buridan. Buridan advocates a strict commitment to what we now call proposition-tokens as the bearers of truth-value. The analysis of Buridan's theory shows that, within a token-based semantics, amendments to the usual notions of inference and consequence are made necessary, since pragmatic elements disrupt the semantic behaviour of propositions. In my reconstruction of Buridan's theory, I use some of the apparatus of modern two-dimensional semantics, such as two-dimensional matrices and (...) the distinction between the context of formation and the context of evaluation of utterances. (shrink)

An account of assertion along truth-relativistic lines is offered. The main lines of relativism about truth are laid out and the problematic features that assertion acquires in the presence of relative truth are identified. These features are the possibility of coherently formulating norms of assertion and the possibility of grounding a rational practice of assertion upon relative truth. A solution to these problems is provided by formulating norms for making and assessing assertions that employ a suitably relativized truth predicate and (...) a perspectival notion of correctness. Two potential objections to this proposal are addressed. (shrink)

Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints are (...) jointly satisfied by a novel modal account of will. On this account, will is a modal but doesn't work as a quantifier over worlds. Rather, the meaning of will involves a selection function similar to the one used by Stalnaker in his semantics for conditionals. The resulting theory yields a plausible semantics and logic for will and vindicates our intuitive views about the attitudes that rational agents should have towards future-directed contents. (shrink)

Review of Herman Cappelenand John Hawthorne, Relativism and Monadic Truth, Oxford: Oxford University Press 2009.

I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.

Most people working on linguistic meaning or communication assume that semantics and pragmatics are distinct domains, yet there is still little consensus on how the distinction is to be drawn. The position defended in this paper is that the semantics/pragmatics distinction holds between encoded linguistic meaning and speaker meaning. Two other ‘minimalist’ positions on semantics are explored and found wanting: Kent Bach’s view that there is a narrow semantic notion of context which is responsible for providing semantic values for a (...) small number of indexicals, and Herman Cappelen and Ernie Lepore’s view that semantics includes the provision of values for all indexicals, even though these depend on the speaker’s communicative intentions. Finally, some implications are considered for the favoured semantics/pragmatics distinction of the fact that there are linguistic elements which do not contribute to truth-conditional content but rather provide guidance on pragmatic inference. (shrink)

I investigate the implication of the truth-relativist’s alleged ‘ faultless disagreements’ for issues in the epistemology of disagreement. A conclusion I draw is that the type of disagreement the truth-relativist claims to preserve fails in principle to be epistemically significant in the way we should expect disagreements to be in social-epistemic practice. In particular, the fact of faultless disagreement fails to ever play the epistemically significant role of making doxastic revision rationally required for either party in a disagreement. That the (...) truth-relativists’ disagreements over centred content fail to play this epistemically significant role that disagreements characteristically play in social epistemology should leave us sceptical that disagreement is what the truth-relativist has actually preserved. (shrink)

According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

Indicative and subjunctive conditionals are in non-complimentary distribution: there are conversational contexts at which both are licensed (Stalnaker 1975; Karttunen and Peters 1979; von Fintel 1998). This means we can ask an important, but under-explored, question: in contexts which license both, what relations hold between the two? In this paper, I’ll argue for an initially surprising conclusion: when attention is restricted to the relevant contexts, indicatives and subjunctives are co-entailing. §1 introduces the indicative/subjunctive distinction, along with a discussion of the (...) relevant notion of entailment; §2 presents the main argument of the paper, and §3 considers some of the philosophical implications of the argument in §2. Finally, §4 argues that we can reconcile the equivalence of indicatives and subjunctives with apparently conflicting judgements. (shrink)

Philosophers of language and linguists tend to think of the interpreter as an essentially non-creative participant in the communicative process. There’s no room, in traditional theories, for the view that correctness of interpretation depends in some essential way on the interpreter. As a result, there’s no room for the possibility that while P is the correct interpretation of an utterance, u, for one interpreter, P* is the correct interpretation of that utterance for another interpreter. Recently, a number of theorists have, (...) for separate reasons, argued in favour of a radically different view of communication – a view in which the interpreter and her context play what should be thought of as a content-creating role. According to such views, natural languages contain what I’ll call interpretation sensitive terms: terms the correct interpretation of which varies across interpreters (or, more generally, contexts of interpretation).3 An interpretation sensitive sentence can have one content relative to one interpreter and another content relative to another interpreter. This paper is a development and (partial) defence of the view that interpretation sensitivity is ubiquitous in natural language. I call the view that there are interpretation sensitive terms content relativism. Before starting the discussion of content relativism, it is worth pointing out that recent attempts to develop semantically motivated versions of truth relativism should be seen as part of this trend of giving the interpreter a more active role. (shrink)

Reply to Lasersohn, MacFarlane, and Richard.

Symposium on Insensitive Semantics. Replies to Kent Bach, John Hawthorne, Kepa Korta and John Perry, and Robert J. Stainton.

In "Demonstratives or Demonstrations", Marga Reimer argues that quotation marks are demonstrations and that expressions enclosed with them are demonstratives. In this paper, I argue against her view. There are two objections. The first objection is that Reimer''s view has unattractive consequences: there is more ambiguity, there are more demonstratives, and there are more English expressions than we thought. The second objection is that, unlike other ambiguous expressions, some expressions that are ambiguous on Reimer''s view can''t be disambiguated by using (...) subscripts. This suggests that, contrary to her view, those expressions aren't really ambiguous. (shrink)

Can one and the same quotation be used on different occasions to quote distinct objects? The view that it can is taken for granted throughout the literature (e.g. Goddard & Routley 1966, Christensen 1967, Davidson 1979, Goldstein 1984, Jorgensen et al 1984, Atlas 1989, Clark & Gerrig 1990, Washington 1992, García-Carpintero 1994, 2004, 2005, Reimer 1996, Saka 1998, Wertheimer 1999). Garcia-Carpintero (1994, p. 261) illustrates with the quotation expression ''gone''. He says it can be used to quote any of the (...) following items. (shrink)

Insensitive Semantics (I) has three components: It defends a positive theory; it presents a methodology for how to distinguish semantic context sensitivity from other kinds of context sensitivity; and finally, it includes chapters critical of other contributors on these issues. In this Précis, we outline each component, but before doing so a few brief ‘big picture’ remarks about the positions defended in IS are in order.

Millianism and Fregeanism agree that a sentence that contains a name expresses a structured proposition but disagree about whether that proposition contains the object that the name refers to (Millianism) or rather a mode of presentation of that object (Fregeanism). Various problems – about simple sentences, propositional‐attitude ascriptions, and sentences that contain empty names – beset each view. To solve these problems, Millianism can appeal to modes of presentation, and Fregeanism can appeal to objects. But this raises a further problem: (...) namely, to explain why the proposition expressed by a sentence that contains a name matters in some cases but not in others. (shrink)

In ‘Reference and Definite Descriptions', Keith Donnellan claimed that Bertrand Russell and Peter Strawson ignored referential uses of definite descriptions. The intense debate that followed Donnellan's paper focused on the contrast between Donnellan and Russell, leaving Strawson aside. In this paper, I focus on the contrast between Donnellan and Strawson. By focusing on this contrast, my aim is, first, to clarify the nature of Donnellan's distinction between referential and attributive uses of definite descriptions and, second, to argue that a proper (...) understanding of referential uses holds the key to a proper understanding of direct reference. Contrary to the standard view, the crucial issue is not the nature of the proposition expressed (singular versus general) but how a speaker comes to talk about an object. (shrink)

A semantic theory T for a language L should assign content to utterances of sentences of L. One common assumption is that T will assign p to some S of L just in case in uttering S a speaker A says that p. We will argue that this assumption is mistaken.

My aim in this paper is to connect naming and analyticity and to argue that, like “Hesperus is Hesperus”, “Hesperus is Phosphorus” is analytic. In the paper, I also discuss several other unexpected cases of analytic truth like “Aristotle existed”.

In this paper, I argue against Millian Descriptivism: that is, the view that, although sentences that contain names express singular propositions, when they use those sentences speakers communicate descriptive propositions. More precisely, I argue that Millian Descriptivism fares no better (or worse) than Fregean Descriptivism: that is, the view that sentences express descriptive propositions. This is bad news for Millian Descriptivists who think that Fregean Descriptivism is dead.

In Insensitive Semantics (2004), we argue for two theses – Semantic Minimalism and Speech Act Pluralism. In this paper, we outline our defense against two objections often raised against Semantic Minimalism. We begin with five stage-setting sections. These lead to the first objection, viz., that it might follow from our view that comparative adjectives are context insensitive. We defend our view against that objection (not, as you might expect, by denying that implication, but by endorsing it). Having done so, we (...) address a second objection, viz., that Semantic Minimalism makes it difficult to see what role semantic content plays in communicative exchanges. We respond and end with a reversal, i.e., we argue that even though the second objection fails against us, it works against those who raise the objection. In particular, we show that our critics, especially, Carston (2002) and Recanati (2004), end up with a notion of communicated content that fails various tests for psychological reality. (shrink)

Philosophers have justified extant theories of singular thought in at least three ways: they have invoked wide-ranging theories motivated by data from other philosophical areas, they have elicited direct intuitions about which thoughts are singular, and they have subjected propositional attitude reports to tests such as Russellian substitution and Quinean exportation. In these ways, however, we haven’t yet been able to tell what it takes to have singular thoughts, nor have we been able to tell which of our thoughts they (...) are. I propose, therefore, a methodological contribution, a new source of data about singular thought. We can tell whether a thought is singular if we ask what we can coherently deny at the same time at which we agree with the thought. When we agree with a thought that is general, we cannot coherently deny about the thought’s subject a certain description, the one that occurs in the thought’s subject position. To show how to use this new data source, I develop a linguistic method for testing whether a speaker expresses a singular or a general thought. (shrink)

It is argued that truth value of a sentence containing free variables in a context of use, just as the reference of the free variables concerned, depends on the assumptions and posits given by the context. However, context may under-determine the reference of a free variable and the truth value of sentences in which it occurs. It is argued that in such cases a free variable has indeterminate reference and a sentence in which it occurs may have indeterminate truth value. (...) On letting, say, x be such that \, the sentence ‘Either \ or \’ is true but the sentence ‘\’ has an indeterminate truth value: it is determinate that the variable x refers to either 2 or \, but it is indeterminate which of the two it refers to, as a result ‘\’ has a truth value but its truth value is indeterminate. The semantic indeterminacy is analysed in a ‘radically’ supervaluational semantic framework closely analogous to the treatment of vagueness in McGee and McLaughlin and Smith, which saves bivalence, the T-schema and the truth-functional analysis of the boolean connectives. It is shown that on such an analysis the modality ‘determinately’ is quite clearly not an epistemic modality, avoiding a potential objection raised by Williamson against such ‘radically’ supervaluational treatments of vagueness, and that determinate truth is the semantic value preserved in classically valid arguments. The analysis is contrasted with the epistemicist proposal of Breckenridge and Magidor which implies that ‘\’ has a determinate but unknowable truth value. (shrink)

The traditional point of view on analyticity implies that truth in virtue only of meaning entails a priori acceptability and vice versa. The argument for this claim is based on the idea that meaning as it concerns truth and meaning as it concerns competence are one and the same thing. In this paper I argue that the extensions of these notions do not coincide. I hold that truth in virtue of meaning— truth for semantic reasons—doesn't imply a priori acceptability, and (...) that a priori reflection based only on knowledge of meaning—in the sense of competence—doesn't necessitate true conclusions.The main consequence of this view concerns conceptual analysis, as it presupposes we have a privileged—incorrigible in the face of empirical evidence—access to non‐trivial truths about the world on the basis of mere a priori reflection founded on meaning. If, as I argue, such access is not incorrigible the project of conceptual analysis loses its special epistemological status. (shrink)

In this article, I consider what sorts of chance credence norms can be justified by appeal to the idea that ideal credences should line up with the chances. I argue that the Principal Principle cannot be so justified but that an alternative norm, the Temporal Principle—which maintains that an agent’s credence in a proposition ϕ, conditional on the temporal proposition that says that the chance of ϕ is x, should be x—can be so justified.

The source, status, and significance of the derivation of the necessity of identity at the beginning of Kripke’s lecture “Identity and Necessity” is discussed from a logical, philosophical, and historical point of view.

Grelling's Paradox is the paradox which results from considering whether heterologicality, the word-property which a designator has when and only when the designator does not bear the word-property it designates, is had by 'heterologicality'. Although there has been some philosophical debate over its solution, Grelling's Paradox is nearly uniformly treated as a variant of either the Liar Paradox or Russell's Paradox, a paradox which does not present any philosophical challenges not already presented by the two better known paradoxes. The aims (...) of this paper are, first, to offer a precise formulation of Grelling's Paradox which is clearly distinguished from both the Liar Paradox and Russell's Paradox; second, to offer a solution to Grelling's Paradox which both resolves the paradoxical reasoning and accounts for unproblematic predications of heterologicality; and, third, to argue that there are two lessons to be drawn from Grelling's Paradox which have not yet been drawn from the Liar or Russell's Paradox. The first lesson is that it is possible for the semantic content of a predicate to be sensitive to the semantic context; i.e., it is possible for a predicate to be an indexical expression. The second lesson is that the semantic content of an indexical predicate, though unproblematic for many cases, can nevertheless be problematic in some cases. In Section 1, Grelling's Paradox is presented informally. After making some refinements, Grelling's Paradox is then presented formally. In Section 2, the formal version of Grelling's Paradox is evaluated, and several previously proposed solutions are discussed and argued to be inadequate. In Section 3, it is argued that the heterologicality predicate is an indexical expression. A semantics for the heterologicality predicate is given, and it is shown how this semantics accounts for the unproblematic predications of heterologicality, as well as the problematic cases, and therefore constitutes a satisfactory and complete solution to Grelling's Paradox. Objections to this solution are addressed in Section 4. The conclusions of this paper are summarized in Section 5. (shrink)