Rigid Designation

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing the truth of (...) certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

This paper addresses two problems concerning the deferred ostension of extinct and fictive kinds. First, the sampled item, the fossil or the depiction, is not a sample of the referent. Nonetheless, the retained characteristic shape, understood via analogy with living creatures, enables the reference to be fixed. Second, though both extinct and fictive kinds are targets of deferred ostension, there is an important difference in the sample. Fossilization is a natural causal process that makes fossils to be reflections of their (...) originals. As reflections, fossils embed their referents in the primary existential world of perceived things. Images of artificial kinds, by contrast, leave their referents in the secondary existential world of mere appearance. In this way, the paper widens the scope of the Kripke-Putnam account of ostension for naming kinds by drawing on Quine’s concept of deferred ostension for absent referents. (shrink)

This paper contributes to the debate regarding the semantic type of singular referential names. According to one view, known as referentialism, names rigidly designate individuals (Kripke 1972, Abbott 2002, Leckie 2013, Jeshion 2015, Schoubye 2017). According to another view, known as predicativism, names designate properties of individuals (Burge 1973, Geurts 1997, Bach 2002, Elbourne 2005, Matushansky 2008, Fara 2015). Most predicativist accounts claim that bare names in English occur with a phonologically null determiner, a proposal that is based on languages (...) like Greek where names require a determiner in argument position. Novel data from both English and Greek show that names can be nonrigid designators under modal operators ("Aristotle may teach Socrates") and bound variables under quantifiers ("in every set of twins, Helen is a musician"), challenging referentialism. As for rigidity, one possible source of this phenomenon is the proprial article, a name-specific determiner found in Catalan and other languages that may be null in English and homophonous with the definite article in Greek (Ghomeshi and Massam 2009, Muñoz 2019, Izumi and Erickson 2021). While much further research is needed, the data suggest that the proper analysis of names is grounded in predicativism rather than referentialism. (shrink)

Rigidity does interesting philosophical work, with important consequences felt throughout metaphysics, epistemology, philosophy of mind, and so on. The authors’ aim in this article is to show that rigidity has yet another role to play, with surprising consequences for the problem of free will and determinism, for the phenomenon of rigidity has the upshot that some metaphysically necessary truths are up to us. The significance of this claim is shown in the context of influential arguments against free will. The authors (...) show that some virtually indisputable inference rules employed in formulations of the Consequence Argument, as well as in fatalistic arguments, fail with a variety of counter-examples. Along the way, the authors compare the present arguments to other, similar arguments made in recent years. (shrink)

Pese a su uso e importancia, no hay investigaciones semánticas sobre los pseudónimos. Aunque resulta claro que los nombres ficticios son importantes en la definición de la identidad de un artista, no ha habido mayor investigación sobre el rol que desempeñan. Aquí, justamente intento mostrar que son fundamentales en el arte, porque permiten crear la identidad de un personaje, pero ello ocurre principalmente en el mundo social. Dada la escasez de investigaciones sobre los pseudónimos y sobre su conexión con la (...) identidad, este artículo muestra: i) que no pueden ser designadores rígidos kripkeanos; ii) que la identidad que conllevan es puramente artística, y no metafísica. En la primera sección, apoyo parte de la propuesta de Kripke acerca de los designadores rígidos: los nombres propios, como tales designadores, deben analizarse a la luz de los mundos posibles; esto es, en términos de cómo podrían haber resultado las cosas de otra manera. En la segunda sección, examino los antecedentes y las consecuencias de que dichos nombres sean designadores rígidos. En la tercera, en cambio, argumento que los pseudónimos no pueden ser designadores rígidos como los nombres propios. Dicha conclusión es alcanzada a partir de la variación de un experimento mental kripkeano, uno que versa sobre Dios y el esfuerzo de Él para crear objetos. En la sección final muestro que los pseudónimos, en vez de designar rígidamente, crean personajes en el mundo social. Por ello la identidad que conllevan no es interna a los objetos; por el contrario, es un tipo de identidad que solo pertenece al mundo social. (shrink)

The notion of rigidity looms large in philosophy of language, but is beset by difficulties. This paper proposes a simple theory of rigidity, according to which an expression has a world-relative semantic property rigidly when it has that property at, or with respect to, all worlds. Just as names, and certain descriptions like The square root of 4, rigidly designate their referents, so too are necessary truths rigidly true, and so too does cat rigidly have only animals in its extension. (...) After spelling out the theory, I argue that it enables us to avoid the headaches that attend the misbegotten desire to have a simple rigid/non-rigid distinction that applies to expressions, giving us a simple solution to the problem of generalizing the notion of rigidity beyond singular terms. (shrink)

For the past half-century, both jurisprudence and epistemology have been haunted by questions about why individual evidence (i.e., evidence which picks out a specific individual) can sufficiently justify a guilty or liable verdict while bare statistical evidence (i.e., statistical evidence which does not pick out a specific individual) does not sufficiently justify such a verdict. This thesis examines three popular justifications for such a disparity in verdicts – Judith Jarvis Thomson’s causal account, Enoch et al.’s sensitivity account, and Sarah Moss’ (...) knowledge-first account, before critiquing each in turn. After such an analysis, the thesis then defends the claim that legal verdicts require the factfinder (e.g., the judge or jury) to have a justified de re belief (i.e., a belief about a specific object – namely the defendant), and that this doxastic requirement justifies the disparity in rulings, as it is epistemically insufficient to justify a de re belief based on bare statistical evidence alone. A brief account of how these beliefs are formed and spread is also given. After making such a distinction, the thesis then formalizes the burdens of proof of the preponderance of the evidence and beyond a reasonable doubt using the de re/de dicto distinction. Finally, the thesis pre-empts possible objections, namely by providing an account of DNA evidence as individual evidence and giving an account of how false convictions can occur on the de re view of legal proof. (shrink)

The ex ante Pareto principle has an intuitive pull, and it has been a principle of central importance since Harsanyi’s defence of utilitarianism. The principle has been used to criticize and refine a range of positions in welfare economics, including egalitarianism and prioritarianism. But this principle faces a serious problem. I have argued elsewhere :303-323 2017) that the concept of ex ante Pareto superiority is not well defined, because its application in a choice situation concerning a fixed population can depend (...) on how the members of that population are designated. I show in this paper that in almost all cases of policy choice, there will be numerous sets of rival designators for the same fixed population. I explore two ways that we might complete the definition of ex ante Pareto superiority. I call these the ‘supervaluationist’ reading and the ‘subvaluationist’ reading. I reject the subvaluationist reading as uncharitable, and argue that the supervaluationist reading is the most promising interpretation of the ex ante Pareto principle. I end by exploring some of the implications of this principle for prioritarianism and egalitarianism. (shrink)

Kripke (1980) hypothesizes a link between rigidity and scope: a singular term is rigid over a space S of possibilities just in case it is scopeless with respect to modals that quantify over S. Kripke’s hypothesis works well when we consider the interaction of singular terms with metaphysical modals, but runs into trouble when we consider the interaction of singular terms with epistemic modals. After describing the trouble in detail, and considering one non-solution to it, I develop a novel version (...) of dynamic semantics that resolves the problem. (shrink)

Expressions typically thought to be rigid designators can refer to distinct individuals in the consequents of counterfactuals. This occurs in counteridenticals, such as “If I were you, I would arrest me”, as well as more ordinary counterfactuals with clearly possible antecedents, like “If I were a police officer, I would arrest me”. I argue that in response we should drop rigidity and deal with de re modal predication using something more flexible, such as counterpart theory.

The orthodox view of proper names, Millianism, provides a very simple and elegant explanation of the semantic contribution of referential uses of names–names that occur as bare singulars and as the argument of a predicate. However, one problem for Millianism is that it cannot explain the semantic contribution of predicative uses of names. In recent years, an alternative view, so-called the-predicativism, has become increasingly popular. According to the-predicativists, names are uniformly count nouns. This straightforwardly explains why names can be used (...) predicatively, but is prima facie less congenial to an analysis of referential uses. To address this issue, the-predicativists argue that referential names are in fact complex determiner phrases consisting of a covert definite determiner and a count noun—and so, a referential name is a definite description. In this paper, I will argue that despite the appearance of increased theoretical complexity, the view that names are ambiguous between predicative and referential types is in fact superior to the unitary the-predicativist view. However, I will also argue that to see why this ambiguity view is better, we need to give up the standard Millian analysis. Consequently, I will first propose an alternative analysis of referential names that retains the virtues of Millianism, but provides an important explanatory connection to the predicative uses. Once this analysis of names is adopted, the explanation for why names are systematically ambiguous between referential and predicative types is both simple and elegant. Second, I will argue that the-predicativism has the appearance of being simpler than an ambiguity view, but is in fact unable to account for certain key properties of referential names without making ad hoc stipulations. (shrink)

In this paper, I dwell on a particular distinction introduced by Ilhan Inan—the distinction between ostensible and inostensible use of our language. The distinction applies to singular terms, such as proper names and definite descriptions, or to general terms like concepts and to the ways in which we refer to objects in the world by using such terms. Inan introduces the distinction primarily as an epistemic one but in his earlier writings (1997: 49) he leaves some room for it to (...) have some semantic significance i.e., the view that in certain intensional de re contexts whether a term occurring in a sentence is ostensible or inostensible may have a bearing on the semantic content of the sentence. However, in his later writings e.g., The Philosophy of Curiosity, he appears to abandon his earlier thoughts regarding the semantic significance of his distinction. He says: “the ostensible/inostensible distinction is basically an epistemic one.... It is an epistemic distinction that has no semantic significance” (2012: 65). I argue that there are indeed such intensional contexts in which the distinction has some semantic significance, i.e., whether a term is ostensible or inostensible has in fact a bearing on what proposition is expressed by the sentence in which the term occurs. (shrink)

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

Almost entirely ignored in the linguistic theorising on names and descriptions is a hybrid form of expression which, like definite descriptions, begin with 'the' but which, like proper names, are capitalised and seem to lack descriptive content. These are expressions such as the following, 'the Holy Roman Empire', 'the Mississippi River', or 'the Space Needle'. Such capitalised descriptions are ubiquitous in natural language, but to which linguistic categories do they belong? Are they simply proper names? Or are they definite descriptions (...) with unique orthography? Or are they something else entirely? This paper assesses two obvious assimilation strategies: (i) assimilation to proper names and (ii) assimilation to definite descriptions. It is argued that both of these strategies face major difficulties. The primary goal is to lay the groundwork for a linguistic analysis of capitalised descriptions. Yet, the hope is that clearing the ground on capitalised descriptions may reveal useful insights for the on-going research into the semantics and syntax of their lower-case or 'the'-less relatives. (shrink)

This paper argues that Michael Dummett's proposed distinction between a declarative sentence's "assertoric content" and "ingredient sense" is not in fact supported by what Dummett presents as paradigmatic evidence in its support.

We pose two arguments for the view that sentences containing definite descriptions semantically express multiple propositions: a general proposition as Russell suggested, and a singular proposition featuring the individual who uniquely satisfies the description at the world-time of utterance. One argument mirrors David Kaplan's arguments that indexicals express singular propositions through a context-sensitive character. The second argument mirrors Kent Bach's and Stephen Neale's arguments for pluralist views about terms putatively triggering conventional implicatures, appositive, and nonrestrictive relative clauses. After presenting these (...) arguments, we show that rival explanations (appeals to implicature, referential use, presupposition, etc.) do not offer equally compelling explanations of the data, and defend the methodology employed in the arguments against some criticisms. (shrink)

Most philosophers recognize that applying the standard semantics for complex demonstratives to non-deictic instances results in truth conditions that are anomalous, at best. This fact has generated little concern, however, since most philosophers treat non-deictic demonstratives as marginal cases, and believe that they should be analyzed using a distinct semantic mechanism. In this paper, I argue that non-deictic demonstratives cannot be written off; they are widespread in English and foreign languages, and must be treated using the same semantic machinery that (...) is applied to deictic instances. (shrink)

Following insights from the New Theory of Reference, it has become widely accepted that theoretical identities like ‘water = H2O' are necessary. However, some have challenged this claim. I propose yet another challenge in the form of a sceptical argument. The argument is based on the contention that the necessity of theoretical identities is dependent upon criteria of identity. Thus, a theoretical identity is necessary given one criterion of identity but contingent given another. Since we do not know which criteria (...) of identity in fact obtain, it follows that, for all we know, theoretical identities may not be necessary. (shrink)

The principal question addressed is whether there is a division among common nouns which is similar to a familiar division among noun phrases that designate particular-level individuals: the one which is captured in the relevant literature as the difference between de jure rigid and not de jure rigid singular terms. In relation with the previous philosophical literature relevant to noun rigidity it is argued that the extant positions on the matter are not defended on the basis of well-founded syntactic categories (...) and proper semantic arguments. Proper ways to argue for rigidity ascriptions to nouns are described. Then, such arguments are sought for the case of rigid/non-rigid division among count common nouns. It is shown that there are plausible, albeit inconclusive, reasons to hold that among common nouns (N-bar expressions) only simple common nouns are kind designators, and that if that is the case these simple common nouns will have to be reckoned as de jure rigid designators. (shrink)

examine Nathan Salmon’s solution to the problem of trivialization, as it arises for conceptions of general term rigidity that construe it as identity of designation across possible worlds. I argue that he does not succeed in showing that some alleged general terms, such as “the colour of the sky” are non-rigid, but also that a small class of different examples that he presents, which can be construed as second order descriptions, are indeed non-rigid general terms, although for reasons different from (...) those he thought. (shrink)

This chapter introduces Kripke's work to advanced undergraduates, mainly focussing on his "A Puzzle About Belief" and "Wittgenstein on Rules and Private Language".

What does it mean for a general term to be rigid? It is argued by some that if we take general terms to designate their extensions, then almost no empirical general term will turn out to be rigid; and if we take them to designate some abstract entity, such as a kind, then it turns out that almost all general terms will be rigid. Various authors who pursue this line of reasoning have attempted to capture Kripke’s intent by defining a (...) rigid general term as one that applies to the objects in its extension essentially. I argue that this account is significantly mistaken for various reasons: it conflates a metaphysical notion (essentialism) with a semantic one (rigidity); it fails to countenance the fact that any term can be introduced into a language by stipulating that it be a rigid designator; it limits the extension of rigid terms so much that terms such as ‘meter’, ‘rectangle’, ‘truth’, etc. do not turn out to be rigid, when they obviously are; and it wrongly concentrates on the predicative use of a general term in applying a certain test offered by Kripke to determine whether a term is rigid. (shrink)

The paper argues that the assumption that there are property designators, together with two theoretically innocent claims, leads to a puzzle, whose solution requires us to reject the position that all (canonical) property designators are rigid. But if we deny that all (canonical) property designators are rigid, then the natural next step is to reject an abundant conception of properties and with it the suggestion that properties are the semantic values of predicates.

Nos anos 1970s, Hilary Putnam defendeu a tese que designadores de espécies naturais, como “água”, “tigre” e “ouro”, são termos indexicais que mudam de significado a cada contexto. No entanto, Tyler Burge rejeitou essa tese, e Putnam veio a adotar a posição de Burge. A rejeição de Burge está apoiada na distinção entre crenças de dicto e crenças de re. Nesse artigo veremos os pontos de contato entre as posições de Putnam e Burge, a posição de Putnam nos anos 1970s, (...) os principais argumentos de Burge contra a tese da indexicalidade dos designadores de espécies naturais e a diferença entre crenças de dicto e crenças de re. (shrink)

In “Naming with Necessity”, it is argued that Kripke’s thesis that proper names are rigid designators is best seen as being motivated by an individual-driven picture of modality, which has two parts. First, inherent in proper-name usage is the expectation that names refer to modally robust individuals: individuals that can sustain modal predications like ‘is necessarily human’. Second, these modally robust individuals are the fundamental building blocks on the basis of which possible worlds should be conceived in a modal semantics (...) intended to mirror the conceptual apparatus behind ordinary modal talk. The individual-driven picture is distinct from two views inspired by Kripke, direct reference theory and Millianism. The former covers only the first half of the picture, while the latter explicitly gives up on that half even, opting to remain neutral about what expectation expressions impose on the nature of their referents. (shrink)

In lecture III of Naming and Necessity, Kripke extends his claim that names are non-descriptive to natural kind terms, and in so doing includes a brief supporting discussion of terms for natural phenomena, in particular the terms ‘light’ and ‘heat’. Whilst natural kind terms continue to feature centrally in the recent literature, natural phenomenon terms have barely figured. The purpose of the present paper is to show how the apparent similarities between natural kind terms and the natural phenomenon terms on (...) which Kripke focuses are outweighed by more significant differences. Thus, rather than providing additional support for non-descriptivism, natural phenomenon terms turn out to challenge that thesis. (shrink)

In his influential Naming and Necessity lectures, Saul Kripke made new sense of modal statements: “Kant might have been a bachelor”, “Königsberg is necessarily identical with Kaliningrad”. Many took the notions he introduced-metaphysical necessity and rigid designation -- to herald new metaphysical issues and have important consequences. In fact, the Kripkean insight is at bottom semantic, rather than metaphysical: it is part of how proper names work that they purport to refer to individuals to whom modal properties can be ascribed. (...) We can see this by reflecting on analytic truths that ground modal claims like the two examples above. (shrink)

The aim of this paper is to make the case for the obstinacy thesis. This is the thesis that proper names like ‘Hitler’, demonstratives like ‘this’, pure indexicals like ‘I’, and natural kind terms like ‘water’ and ‘gold’, are obstinately rigid terms. An obstinately rigid term is one that refers to the object that is its actual referent with respect to every possible world (hence, a fortiori, even with respect to worlds where that object does not exist). This form of (...) rigidity is stronger than the usual Kripkean one and has been notoriously explored by David Kaplan (Kaplan 1989a: 492-3; Kaplan 1989b: 569-71). Yet, the obstinacy thesis seems implausible to many philosophers and is worth substantive argument. For convenience, we focus our attention on proper names; but most of our remarks could be easily generalized to other unstructured singular terms. We shall take for granted Saul Kripke’s semantical doctrine that proper names are rigid in the general sense of the term and argue that their rigidity should take the specific form of obstinacy rather than persistence. (shrink)

Much of what has been discussed in the theory of reference in the last twenty-five years is strongly influenced by considerations centring on the business of devising a semantics for quantified modal logic. In this context, discussion of the property of rigidity plays an important role. This property is conceived of as a semantic modal property that distinguishes proper names from descriptions. It is argued that there is a semantic modal asym- metry between expressions of these types. In this talk (...) I shall challenge this assumption. By examining the intuitive Kripkean argument or test employed I arrive at two rather nonconformist results: Firstly, it seems that the test does not establish a genuine semantic asymmetry: Rigidity appears to be a pragmatic property. Secondly, the test does not seem to demonstrate an asymmetry at all: When applied correctly it suggests that both proper names and descriptions (even discounting notorious cases like “the even prime”) can be used rigidly—or so I shall argue. (shrink)

The identity "relation" is misconceived since the syntax of "=" is misconceived as a relative term. Actually, "=" is syncategorematic; it forms (true) sentences with a nonpredicative syntax from pairs of (coreferring) flanking names, much as "&" forms (true) conjunctive sentences from pairs of (true) flanking sentences. In the conaming structure, nothing is predicated of the subject, other than, implicitly, its being so conamed. An identity sentence has both an objectual reading as a necessity about what is named, and also (...) a metalinguistic reading as a contingency about the names. Either way the claim about the subject referent has no extralinguistic content. The necessity of alteridentity (non-self-identity) statements is "lexical", due to contingencies of the names' reference, much like the necessity of analytic statements, due to contingencies of the predicates' sense, and unlike the necessity of logical truths (e.g., self-identities) whose truth is secured by syntax alone. Both alter-identity and analytic sentences are readable as objectual necessities and metalinguistic contingencies. Epistemically, alter-identity statements are not essentially unlike analyticities. "Greece is Hellas"/"g=h" and "Greeks are Hellenes"/"(x)(Gx<=>Hx)" are equally (un)informative; so too for "Azure is cobalt"/"a=c" and "Everything azure is cobalt"/"(x)(Ax<=>Cx)". The real epistemic contrast is between proper names (terms without predicative sense) and terms with a predicative sense (names and predicates of properties). Proper names refer to concrete objects, property names refer to abstract objects. That contrast is metaphysical and thus epistemic. (shrink)

This paper is a reply to a prior work by C. J. F. Williams in which he criticised David Kaplan's account of the contingent analytic. In this paper, I take myself to be defending Kaplan's views against Williams' attack.

Some hold that proper names and indexicals are “Kaplan rigid”: they designate their designata even in worlds where the designata don’t exist. An argument they give for this is based on the analogy between time and modality. It is shown how this argument gains forcefulness at the expense of carefulness. Then the argument is criticized as forming a part of an inconsistent philosophical framework, the one with which David Kaplan and others operate. An alternative account of a certain class of (...) negative existentials is developed, one which eliminates both the inconsistency and the need for Kaplan rigidity. After all, mustn’t whatever is referred to exist? (shrink)

Joseph Almog says concerning “a certain locus where Quine doesn’t exist…qua evaluation locus, we take to it [singular] propositions involving Quine [as a constituent] which we have generated in our generation locus.” This seems to be either murder, or worse, self-contradiction. It presumes that certain designators designate their designata even at loci where the designata do not exist, i.e., the designators have “Kaplan rigidity.” Against this view, this paper argues that negative existentials such as “Quine does not exist” are true (...) only at ordered couples of loci (times or possible worlds) < l, l’ > such that the constituents of the truthmaker are the designatum itself from l and whatever corresponds to “does not exist” from l’. (shrink)

This is an essay written for undergraduates who are confused about what a rigid designator is.

Standard rigid designator accounts of a name’s meaning have trouble accommodating what I will call a descriptive name’s “shifty” character -- its tendency to shift its referent over time in response to a discovery that the conventional referent of that name does not satisfy the description with which that name was introduced. I offer a variant of Kripke’s historical semantic theory of how names function, a variant that can accommodate the character of descriptive names while maintaining rigidity for proper names. (...) A descriptive name’s shiftiness calls for a semantic account of names that makes their semantic values bipartite, containing both traditional semantic contents and what I call "modes of introduction." Both parts of a name's semantic value are derived from the way a name gets introduced into discourse -- from what I refer to as its "context of introduction." Making a name's semantic value bipartite in this way allows for a definite description to be a part of proper name's meaning without thereby sacrificing that name’s status as a rigid designator. On my view, a definite description is part of descriptive name’s mode of introduction. That is, it is part of what determines the content assigned to that name. As it turns out, making a definite description part of a descriptive name’s mode of introduction allows for that definite description to play the role of a mere reference-fixer regarding that name’s content, as Kripke would have it. However, my account allows a definite description to fix a descriptive name’s content actively over time, thereby explaining its inherent shiftiness. (shrink)

Empty names vary in their referential features. Some of them, as Kripke argues, are necessarily empty -- those that are used to create works of fiction. Others appear to be contingently empty -- those which fail to refer at this world, but which do uniquely identify particular objects in other possible worlds. I argue against Kripke's metaphysical and semantic reasons for thinking that either some or all empty names are necessarily non-referring, because these reasons are either not the right reasons (...) for thinking that a name necessarily must fail to refer, or they are too broad -- they make every empty name necessarily non-referential. Plausibly, the explanation for the necessary non-reference of fictional names should be semantic, yet the explanation should not rule out a priori the contingent non-reference of certain other empty names. In light of this, I argue that a name's semantic value needs to carry information about its referential potential. I claim that names do so by encoding information about the way they were introduced into discourse. Names that are fictional will be marked as being non-referential -- they will fail to refer as a matter of their semantics. In contrast, names that are contingently empty will be marked as referential, but they will be failed referential names that could have been successful. The reason, then, for the non-referential status of a fictional name, will be semantic, as our intuitions suggest it should be. Likewise, the reason for the non-referential status of other empty names, those created by acts of failed attempts to refer, will be metaphysical, again, in keeping with our intuitions. (shrink)