<?xml version="1.0" encoding="utf-8"?>
<article xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="JATS-journalpublishing1-mathml3.xsd" dtd-version="1.2" article-type="Research Article">
<front>
<journal-meta>
<journal-id journal-id-type="publisher">phimp</journal-id>
<journal-title-group>
<journal-title>Philosophers&#x2019; Imprint</journal-title>
</journal-title-group>
<issn pub-type="epub"></issn>
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">2179</article-id>
<article-id pub-id-type="doi">10.3998/phimp.2179</article-id>
<title-group>
<article-title>Fictional Names and Co-Identification</article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author" corresp="yes">
<name>
<surname>Stokke</surname>
<given-names>Andreas</given-names>
</name>
<email>andreas.stokke@filosofi.uu.se</email>
<aff id="aff1">Uppsala University</aff>
</contrib>
</contrib-group>
<pub-date>
<day>25</day>
<month>09</month>
<year>2023</year>
</pub-date>
<volume>23</volume>
<permissions>
<copyright-statement>&#x00A9; 2023 Andreas Stokke</copyright-statement>
<copyright-year>2023</copyright-year>
<license>
<license-p>CC BY-NC-ND 4.0</license-p>
<license-p>This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License. &#x003C;<ext-link xmlns:xlink="http://www.w3.org/1999/xlink" ext-link-type="uri" xlink:href="www.philosophersimprint.org/023019/">www.philosophersimprint.org/023019/</ext-link>&#x003E;</license-p>
</license>
</permissions>
<abstract>
<p>This paper provides an account of co-identification with fictional names, the way in which a fictional name can be used to talk about the same fictional character on disparate occasions. I develop a version of the view that fictional characters are roles constituted by sets of properties that is couched within a dynamic understanding of fictional discourse. I argue that this view captures what is right about both so-called name-centric and information-centric approaches to co-identification with fictional names. I show how the dynamic view in addition accounts for a number of uses of fictional names, including fictional uses, assertoric uses, metafictional uses.</p>
</abstract>
<kwd-group>
<kwd>Fictional names</kwd>
<kwd>Fictional characters</kwd>
<kwd>Dynamic semantics</kwd>
<kwd>Reference</kwd>
</kwd-group>
<counts>
<fig-count count="0"/>
</counts>
</article-meta>
</front>
<body>
<sec id="sec0_1">
<label>1</label>
<title>Introduction</title>
<p>Consider this dialogue:
<list list-type="simple" id="list1">
<list-item><p>(1) John: Anna Karenina is Polish.</p>
<p>Sue: Anna Karenina is Russian.</p></list-item>
</list>
John and Sue disagree, but John is wrong and Sue is right. One important reason is that they are both talking about Anna Karenina, the character from Tolstoy&#x2019;s novel. This looks very much like (2).
<list list-type="simple" id="list2">
<list-item><p>(2) John: Oprah Winfrey is American.</p>
<p>Sue: Oprah Winfrey is Canadian.</p></list-item>
</list>
While they disagree, John is right and Sue is wrong, a central reason being that they are both talking about the same individual.</p>
<p>In (2) the occurrences of &#x201C;Oprah Winfrey&#x201D; <italic>co-refer</italic>. They refer to the same concrete, actual individual. Yet whatever one thinks about fictional names and characters, &#x201C;Anna Karenina&#x201D; does not refer to a concrete, actual individual. At least <italic>prima facie</italic>, different occurrences of fictional names do not co-refer, because they do not refer at all.<sup><xref ref-type="fn" rid="fn1">1</xref></sup> Instead, it is common to use <italic>identify</italic> &#x201C;as a way of picking out the phenomenon of aboutness, or object-directedness, where use of the term implies no ontological commitment&#x201D;.<sup><xref ref-type="fn" rid="fn2">2</xref></sup> So whatever one&#x2019;s view, one should agree that John&#x2019;s and Sue&#x2019;s uses of &#x201C;Anna Karenina&#x201D; in (1) co-identify Anna Karenina. The challenge posed by co-identification is to explain how different speakers can use a fictional name to talk about the same character even though there is no concrete, actual individual they are all referring to.</p>
<p>Two questions should be distinguished. First, the <italic>metasemantic</italic> question of why &#x201C;Anna Karenina&#x201D; means what it does on both occurrences in (1). Second, the <italic>semantic</italic> question of what the name means. Regarding the first question, this paper defends the so-called <italic>name-centric</italic> approach to identification and co-identification. In the tradition from <xref ref-type="bibr" rid="ref38">Kripke (1980)</xref>, and others, such views stress the origins of a name and subsequent communicative histories. By contrast, <italic>information-centric</italic> views focus on information associated with names, following <xref ref-type="bibr" rid="ref15">Evans (1973)</xref>.</p>
<p>Regarding the second, <italic>semantic</italic> question, I propose a theory of fictional names that appeals to the familiar idea that fictional characters are <italic>roles</italic>, also sometimes called <italic>offices</italic>, that can be occupied by different individuals.<sup><xref ref-type="fn" rid="fn3">3</xref></sup> I implement this view of fictional characters in a semantics that treats fictional names as variables constrained by presuppositions concerning unique occupants of roles.<sup><xref ref-type="fn" rid="fn4">4</xref></sup></p>
<p>This approach is couched within the dynamic framework for understanding discourse information originating in the work of <xref ref-type="bibr" rid="ref36">Karttunen (1976)</xref>; <xref ref-type="bibr" rid="ref32">Kamp (2002</xref> [<xref ref-type="bibr" rid="ref32">1981</xref>]); <xref ref-type="bibr" rid="ref28">Heim (2002</xref> <xref ref-type="bibr" rid="ref28">[1983]a</xref>), (<xref ref-type="bibr" rid="ref29">2002</xref> <xref ref-type="bibr" rid="ref29">[1983]b</xref>); and others.<sup><xref ref-type="fn" rid="fn5">5</xref></sup> A key insight of this tradition is that understanding a discourse involves keeping track of information associated with variables ranging over individuals, called <italic>discourse referents</italic>. Against this background, I identify fictional characters <italic>qua</italic> roles with information associated with discourse referents introduced by fictional works.</p>
<p>I argue that chains of communication link fictional names with discourse referents originally introduced by the relevant works. Both John&#x2019;s and Sue&#x2019;s uses of &#x201C;Anna Karenina&#x201D; in (1) are linked with the occurrences of the name in Tolstoy&#x2019;s text. This accounts for identification and co-identification, as well as for a number of ways of using of fictional names. Moreover, we will see that, on the view I propose, fictional names have the same meaning when used in a range of different environments.</p>
<p><xref ref-type="sec" rid="sec0_2">Section 2</xref> reviews the contrast between name-centrism and information-centrism. I argue that the name-centric approach is better placed to handle cases of <italic>non-authorial information</italic>, in which speakers associate deviant information with fictional names, and <italic>identification shift</italic>, in which fictional names identify characters originally identified by other names. In <xref ref-type="sec" rid="sec0_3">Section 3</xref> I introduce the role view, and I show how the notion of discourse reference applies to it. <xref ref-type="sec" rid="sec0_4">Section 4</xref> details my theory of fictional names. <xref ref-type="sec" rid="sec0_5">Section 5</xref> explains how it enforces the name-centric approach to identification and co-identification.</p>
</sec>
<sec id="sec0_2">
<label>2</label>
<title>Names and Information</title>
<sec id="sec0_2_1">
<label>2.1</label>
<title>Notions, Producers, and Consumers</title>
<p>Many philosophers - including <xref ref-type="bibr" rid="ref11">Donnellan (1974)</xref>; <xref ref-type="bibr" rid="ref51">Perry (2001)</xref>; <xref ref-type="bibr" rid="ref75">Taylor (2003)</xref>; <xref ref-type="bibr" rid="ref58">Sainsbury (2005)</xref>, (<xref ref-type="bibr" rid="ref59">2015</xref>); <xref ref-type="bibr" rid="ref17">Everett (2013)</xref>; and <xref ref-type="bibr" rid="ref20">Friend (2014)</xref> - have agreed that
<disp-quote id="quote1">
<p>Empty names, like referring names, are embedded in practices of communication that link uses of the names together, and it is natural to think that such communicative practices play a key role in accounting for identification and co-identification. (<xref ref-type="bibr" rid="ref20">Friend, 2014</xref>, 308)</p>
</disp-quote>
Among such approaches, what <xref ref-type="bibr" rid="ref20">Friend (2014)</xref> calls &#x201C;name-centric&#x201D; views explain co-identification in terms of chains of communication originating in name-introducing acts, as in the tradition from <xref ref-type="bibr" rid="ref38">Kripke (1980)</xref> and others. By contrast, &#x201C;information-centric&#x201D; views, in Friend&#x2019;s terminology, appeal to information associated with names, following <xref ref-type="bibr" rid="ref15">Evans (1973)</xref>. Here I focus chiefly on the name-centric account of <xref ref-type="bibr" rid="ref58">Sainsbury (2005)</xref>, (<xref ref-type="bibr" rid="ref59">2015</xref>) and the information-centric account of <xref ref-type="bibr" rid="ref19">Friend (2011)</xref>, (<xref ref-type="bibr" rid="ref20">2014</xref>). I begin by reviewing the main points of the latter.</p>
<p>Friend adopts <xref ref-type="bibr" rid="ref51">Perry&#x2019;s (2001)</xref> framework of <italic>notion networks</italic>. On this view, names are associated with bodies of information called &#x201C;notions&#x201D;, corresponding to <xref ref-type="bibr" rid="ref15">Evans&#x2019;s (1973)</xref> &#x201C;dossiers&#x201D; of information and what others call &#x201C;mental files&#x201D;.<sup><xref ref-type="fn" rid="fn6">6</xref></sup> Name use is sustained by information distributed throughout interpersonal networks of notions. Speakers in the network have notions of Oprah Winfrey comprising information about her which guide their use of &#x201C;Oprah Winfrey&#x201D; in constraining what they say and how they understand what others say.</p>
<p>Yet, on this view, reference is not determined satisfactionally to be the individual satisfying some descriptive information - as on the descriptivist view famously rebutted by <xref ref-type="bibr" rid="ref38">Kripke (1980)</xref>. Rather, as <xref ref-type="bibr" rid="ref15">Evans (1973)</xref> suggested, reference is determined relationally as the individual that is the <italic>predominant source</italic> of the relevant information.<sup><xref ref-type="fn" rid="fn7">7</xref></sup> What makes &#x201C;Oprah Winfrey&#x201D; refer to Winfrey is that she is the predominant source of the information in the network.</p>
<p>When it comes to fictional names, <xref ref-type="bibr" rid="ref20">Friend (2014)</xref> argues that there is no source of the information in the network:<sup><xref ref-type="fn" rid="fn8">8</xref></sup>
<disp-quote id="quote2">
<p>In the case of Emma Bovary there simply is no dominant source [&#x2026;]. Instead the notion network originates with Flaubert&#x2019;s freely created notion, associated with invented information, which guides Flaubert&#x2019;s identification of Emma in the novel. (<xref ref-type="bibr" rid="ref20">Friend, 2014</xref>, 323&#x2013;324)</p>
</disp-quote>
In particular, we cannot say that Flaubert is the source. Given that, for the information-centrist, reference is fixed relationally as the source of the information in the network, to say that Flaubert is the source of the information in the Emma Bovary network implies that &#x201C;Emma Bovary&#x201D; refers Flaubert. Analogously, suggesting that the source is the novel <italic>Madame Bovary</italic> or Flaubert&#x2019;s notion of Emma Bovary both have wrong results: neither is a suitable referent for the name. Hence, the challenge is to explain why &#x201C;Emma Bovary&#x201D; identifies Emma Bovary, since there is no source of the kind that information-centrics point to as fixing reference or identification for our notions of her, however rich they may be.</p>
<p>Following <xref ref-type="bibr" rid="ref16">Evans (1982)</xref>, Friend distinguishes between <italic>producers</italic> and <italic>consumers</italic> within an information network. Flaubert was the producer of the information about Emma Bovary. You and I are consumers. There are two ways in which consumers identify fictional characters.<sup><xref ref-type="fn" rid="fn9">9</xref></sup> <italic>Participating</italic> consumers &#x201C;identify Emma so long as the information associated with their Emma-notions is dominantly derived from Flaubert&#x2019;s mental file&#x201D;.<sup><xref ref-type="fn" rid="fn10">10</xref></sup> <italic>Parasitic</italic> consumers &#x201C;simply refer to or identify whatever others in the practice refer to or identify&#x201D;.<sup><xref ref-type="fn" rid="fn11">11</xref></sup></p>
<p>In other words, Friend allows that one may identify Emma Bovary with &#x201C;Emma Bovary&#x201D; even if one associates little or no information with her, for instance, if one has only overheard the name used by others. Yet such parasitic identification is purely second-hand. Parasitic speakers &#x201C;only refer or identify in virtue of deference to the practice of producers and participating consumers, and here information is central&#x201D;.<sup><xref ref-type="fn" rid="fn12">12</xref></sup> What ultimately secures identification is that the notions of participating consumers are derived from producer information.</p>
</sec>
<sec id="sec0_2_2">
<label>2.2</label>
<title>Non-Authorial Information</title>
<p>When it comes to referential names, <xref ref-type="bibr" rid="ref10">Dickie (2011)</xref> has objected to this kind of information-centrism. Consider her example:
<disp-quote id="quote3">
<p>Chaucer lived from about 1343 to 1400. He was well known in his lifetime. But in the centuries after his death [&#x2026;] the pool of claims made using Chaucer&#x2019;s name became flooded with invented attributions of literary works to him, and fabrications about his life [&#x2026;]. As a result of this flood of invention, there was a period of several hundred years [&#x2026;] during which even Chaucer experts had &#x2018;Chaucer&#x2019; files most of the information in which was derived from fabrications made long after Chaucer&#x2019;s death. (<xref ref-type="bibr" rid="ref10">Dickie, 2011</xref>, 53&#x2013;54)</p>
</disp-quote>
Dickie argues that this case shows that one may be a participating consumer even if one&#x2019;s information is not (predominantly) derived from producer information.<sup><xref ref-type="fn" rid="fn13">13</xref></sup> I agree with this verdict. The misguided Chaucer experts refer to Chaucer, and they are not just parasitic consumers in Friend&#x2019;s sense. There is no non-arbitrary way of counting them as simply deferring to others, as with a name merely picked up from overhearing.</p>
<p>Analogously, imagine the following course of events:
<disp-quote id="quote4">
<title>Corrupted Flaubert</title>
<p>Flaubert&#x2019;s <italic>Madame Bovary</italic> was published in 1857 and was well known in its day. But in the subsequent centuries, due to the scandal sur rounding the novel, almost all original copies gradually disappeared, and instead a flood of corrupted texts, bad plagiarisms, and so on, appeared. As a result, there was a period of several hundred years during which even Flaubert experts had &#x201C;Emma Bovary&#x201D; files derived from corrupted versions of the novel.</p>
</disp-quote>
As in the Chaucer case, the corrupted speakers are participating consumers and they clearly identify Emma Bovary with their uses of &#x201C;Emma Bovary&#x201D;. For instance, suppose one of the corrupted Flaubert experts says,
<list list-type="simple" id="list3">
<list-item><p>(3) Emma Bovary was a Parisian widow.</p></list-item>
</list>
Clearly (3) is false, even in their mouths, the reason being that they are identifying the character from Flaubert&#x2019;s original novel.</p>
<p>As a shorthand, call information like that associated with &#x201C;Emma Bovary&#x201D; in this case, <italic>non-authorial</italic> information. Cases like Corrupted Flaubert show that non-authorial information does not always undermine identification, even for participating consumers.</p>
</sec>
<sec id="sec0_2_3">
<label>2.3</label>
<title>Origination and Chains of Communication</title>
<p>A natural reaction is to accept that, while associated information plausibly plays a role in guiding use, identification itself depends on, in Kripke&#x2019;s words, &#x201C;the actual chain of communication&#x201D;.<sup><xref ref-type="fn" rid="fn14">14</xref></sup> To a first approximation, the speakers in Corrupted Flaubert co-identify Emma Bovary due to the chain of communication leading back to Flaubert&#x2019;s introduction of the name.</p>
<p><xref ref-type="bibr" rid="ref58">Sainsbury (2005)</xref>, (<xref ref-type="bibr" rid="ref59">2015</xref>) defends a name-centric view of identification of this kind. In paradigmatic referential cases, names are introduced by baptisms of individuals. Someone (so we assume) bestowed the name &#x201C;Oprah Winfrey&#x201D; on Winfrey, thereby initiating a practice of use, along the lines of what was suggested by <xref ref-type="bibr" rid="ref38">Kripke (1980</xref>, 91&#x2013;93). Sainsbury broadens this to include other ways of introducing names, <italic>bona fide</italic> baptisms being just one kind of <italic>originating use</italic>. For instance, someone may acquire a nickname that sticks and becomes a conventional name, even if this was unintended.<sup><xref ref-type="fn" rid="fn15">15</xref></sup></p>
<p>Later speakers engage in <italic>non-originating</italic> uses &#x201C;animated by some kind of conformist or deferential intention: to use the name as it is used in the relevant community [&#x2026;]&#x201D;.<sup><xref ref-type="fn" rid="fn16">16</xref></sup> Such intentions may be more or less explicit, and need not be directed at specific previous uses. Moreover, one need not be able to identify the originator or originating event.</p>
<p>Further, Sainsbury argues that
<disp-quote id="quote5">
<p>In some cases, a name is introduced when there is no bearer, perhaps as a result of error or perhaps as part of deliberate fiction. [&#x2026;] The intention to introduce a (new specific) name is normally successful, even if the simultaneous intention to introduce a name with a bearer is not. (<xref ref-type="bibr" rid="ref59">Sainsbury, 2015</xref>, 200)</p>
</disp-quote>
In the case of fiction, there is typically no intention of the latter kind. Flaubert&#x2019;s act of writing <italic>Madame Bovary</italic> introduced the name &#x201C;Emma Bovary&#x201D;, even though he did not, and did not intend to, baptize any existing individual. Thereby, he originated the practice by which later speakers can use the name. This practice is sustained by intentions to use the name in the same way as earlier speakers, reaching back to Flaubert&#x2019;s originating act of writing the novel.</p>
<p>This name-centric view predicts that the speakers in Corrupted Flaubert identify Emma Bovary. Even though the later speakers associate non-authorial information with &#x201C;Emma Bovary&#x201D;, they are nevertheless embedded in the relevant kind of communicative chains. Further, this view agrees that the information associated with Emma Bovary by different speakers varies in richness with no hindrance to identification. Two speakers may be linked to Flaubert&#x2019;s origination even though one has a rich notion of Emma, while the other has little or no information about her.</p>
</sec>
<sec id="sec0_2_4">
<label>2.4</label>
<title>Identification Shift</title>
<p>Parallel to the original problems brought out by <xref ref-type="bibr" rid="ref15">Evans&#x2019;s (1973)</xref> examples of reference shift, a central challenge for the name-centric comes from cases of identification shift.<sup><xref ref-type="fn" rid="fn17">17</xref></sup> Sainsbury describes the following scenario:
<disp-quote id="quote6">
<title>Jocular Inversion</title>
<p>A small group, as a kind of &#x201C;in&#x201D; joke, decides to use &#x201C;Holmes&#x201D; for Watson and &#x201C;Watson&#x201D; for Holmes. Then all the texts are destroyed in some cataclysm. People learning from the small group don&#x2019;t realize there has been a jocular inversion. These benighted souls become the only users of the specific names. (<xref ref-type="bibr" rid="ref59">Sainsbury, 2015</xref>, 213)</p>
</disp-quote>
As used by the jocular speakers and their successors, &#x201C;Holmes&#x201D; identifies Watson and &#x201C;Watson&#x201D; identifies Holmes. Yet the names are those Doyle introduced, and clearly there is a chain leading back to Doyle&#x2019;s originating uses. Hence, the challenge for the name-centric is to allow for the shift in identification.</p>
<p>In response, Sainsbury distinguishes two kinds of intentions involved in name use.<sup><xref ref-type="fn" rid="fn18">18</xref></sup> He discusses the following example from <xref ref-type="bibr" rid="ref15">Evans (1973)</xref>:
<disp-quote id="quote7">
<p>Two babies are born, and their mothers bestow names upon them. A nurse inadvertently switches them and the error is never discovered. It will hence forth undeniably be the case that the man universally known as &#x2018;Jack&#x2019; is so called because a woman dubbed some other baby with the name. (<xref ref-type="bibr" rid="ref15">Evans, 1973</xref>, 196)</p>
</disp-quote>
According to Sainsbury, when the mother uses &#x201C;Jack&#x201D;, she has a <italic>syntactic</italic> intention to use the same name as before. Further, she has a <italic>semantic</italic> intention to use the name with the same meaning.</p>
<p>The former intention is successful throughout, and the name remains the same. By contrast, the semantic intention is initially unsuccessful. Initially, &#x201C;Jack&#x201D; still semantically refers to the original bearer, while the baby the mother is bringing up counts as the speaker referent. Yet gradually a convention emerges. The shift in reference is then explained by the suggestion that, at least in the relevant cases, &#x201C;The &#x2018;semantic reference&#x2019; of a name, as used in a community, is its conventionalized, stabilized or normalized speaker-reference in the community&#x201D;.<sup><xref ref-type="fn" rid="fn19">19</xref></sup> In other words, for Sainsbury,
<disp-quote id="quote8">
<p>the conditions on <italic>being the same name</italic> diverge from the conditions on <italic>having the same bearer</italic>. [&#x2026;] the causal facts that ensure identity of names may fail to ensure identity of <italic>reference</italic>. (<xref ref-type="bibr" rid="ref59">Sainsbury, 2015</xref>, 209)</p>
</disp-quote>
Cases of reference shift are examples of this divergence.</p>
<p>Similarly, on Sainsbury&#x2019;s view, the Jocular Inversion case turns on a divergence between the speakers&#x2019; syntactic and semantic intentions. Syntactically they intend to use the names Doyle introduced. But semantically they intend to use &#x201C;Holmes&#x201D; to identify Watson, and <italic>vice versa</italic>. In turn, second-generation speakers use the names with their new conventionalized identification. While the names are the same as those Doyle introduced, their identification has shifted.</p>
<p>Friend objects that this view fails to account for how identification, post-shift, is fixed:
<disp-quote id="quote9">
<p>Although [&#x2026;] the theory tells us how an individual&#x2019;s use of a name comes to have a referent (if any) - by deference to &#x2018;conventionalised speakers&#x2019; reference&#x2019; - it provides no explanation of how the latter is determined, and thus no explanation of what ultimately determines either reference or identification. (<xref ref-type="bibr" rid="ref20">Friend, 2014</xref>, 318)</p>
</disp-quote>
In particular, Friend complains that, given that the name-centric distinguishes name propagation from reference-propagation, it follows that &#x201C;using the same name, participating in the same practice, is insufficient by itself to guarantee that we are referring to or identifying the same thing&#x201D;.<sup><xref ref-type="fn" rid="fn20">20</xref></sup> But if so, the objection goes, what does secure identification?</p>
<p>The name-centric should reply by agreeing that using the same name is insufficient for sameness of reference or identification. But she should deny that this means that &#x201C;participating in the same practice&#x201D; is insufficient for sameness of reference or identification. Given the distinction between syntactic and semantic intentions, there are really two sides to a name-using practice. Deferring syntactically to earlier uses is sufficient for using the same name but not for sameness of identification. Deferring semantically is sufficient for sameness of identification but not for using the same name.</p>
<p>More intuitively, the jocular speakers can be described as intending to use &#x201C;Holmes&#x201D; the way Doyle and subsequent speakers used &#x201C;Watson&#x201D;, and <italic>vice versa</italic>. That is, they have a syntactic intention concerning the name &#x201C;Holmes&#x201D;, which Doyle introduced. At the same time, they have a semantic intention to use that name in a particular way. Namely, the way Doyle and others used &#x201C;Watson&#x201D;.</p>
<p>This is an account of in virtue of what a name identifies what it does. As is standard, this <italic>metaphysical</italic> question should be distinguished from the <italic>epistemic</italic> question about how audiences figure out what a name identifies. The name-centric account answers the metaphysical question by arguing that the existence of a practice of using the relevant name with deferential intentions, rather than information speakers associate with the name, determine identification. At the same time, one can grant that information plays a central epistemic role. Sainsbury writes,
<disp-quote id="quote10">
<p>when we wish to know to which practice a given use of a name belongs, or what the referent of a practice is, it is rare that we can reach an answer by first identifying the baptism. Normally our evidence is associated information, even though this is evidence only, and does not make a practice the practice it is. (<xref ref-type="bibr" rid="ref58">Sainsbury, 2005</xref>, 106)</p>
</disp-quote>
Correspondingly, one can grant that associated information plays a guiding role for name users. Even so, the name-centric holds that identification is determined by communicative chains, irrespective of associated information, authorial or non-authorial.</p>
<p>We should conclude that, contrary to Friend&#x2019;s challenge, the name-centric has a way of accounting for identification shifts in terms of her distinction between syn tactic and semantic intentions.</p>
</sec>
<sec id="sec0_2_5">
<label>2.5</label>
<title>Co-Identification and Truth Conditions</title>
<p>The challenge concerning co-identification was to explain how disparate occurrences of a fictional name identify the same character. We have found reason to favor the name-centric view that co-identification depends on chains of speakers deferring to earlier uses. Consider again the dialogue in (1).
<list list-type="simple" id="list4">
<list-item><p>(1) John: Anna Karenina is Polish.</p>
<p>Sue: Anna Karenina is Russian.</p></list-item>
</list>
John and Sue are talking about the same character because they both intend (more or less explicitly) to defer to earlier uses, ultimately reaching back to Tolstoy&#x2019;s originating act in writing the novel. Name-centrism, in this sense, is a <italic>metasemantic</italic> theory of why fictional names mean what they do.<sup><xref ref-type="fn" rid="fn21">21</xref></sup> Our first-order semantics and pragmatics for fictional names should reflect this metasemantics, thereby bolstering our reasons for accepting each.</p>
<p>Moreover, we noted that co-identification is a factor in why John is wrong and Sue is right. That is, in the truth conditions of their utterances. Recall the comparison with (2).
<list list-type="simple" id="list5">
<list-item><p>(2) John: Oprah Winfrey is American.</p>
<p>Sue: Oprah Winfrey is Canadian.</p></list-item>
</list>
The truth conditions of these utterances rest on (at least) the following two facts:
<list list-type="simple" id="list6">
<list-item><p>(a) &#x201C;Oprah Winfrey&#x201D; refers to Oprah Winfrey.</p></list-item>
<list-item><p>(b) Oprah Winfrey is American.</p></list-item>
</list>
John is right in (2) because his use of &#x201C;Oprah Winfrey&#x201D; refers to Oprah Winfrey, and Oprah Winfrey is American, and Sue is wrong for the same reason. Analogously, the truth conditions of the utterances in (1) rest on (c) and (d), loosely described:
<list list-type="simple" id="list7">
<list-item><p>(c) &#x201C;Anna Karenina&#x201D; identifies Anna Karenina.</p></list-item>
<list-item><p>(d) <italic>Anna Karenina</italic> (the novel) portrays Anna Karenina as Russian.</p></list-item>
</list>
A semantics and pragmatics for fictional names should not only deliver a metasemantically plausible theory of (c), but also explain how the truth conditions of utterances like those in (1) depend on (c) and (d). This is the aim of the account I develop in the rest of this paper.</p>
</sec>
</sec>
<sec id="sec0_3">
<label>3</label>
<title>Roles and Discourse Referents</title>
<p>In this section I first situate the role view of characters in relation to some meta physical issues. I then show how the notion of discourse reference provides a way of understanding roles in a semantic-pragmatic framework.</p>
<sec id="sec0_3_1">
<label>3.1</label>
<title>Roles and Characters</title>
<p>My theory of the semantics and pragmatics of fictional names relies on a metaphysical view of fictional characters. According to this view, a character is a role that can be occupied by different individuals.<sup><xref ref-type="fn" rid="fn22">22</xref></sup> Such roles are comparable to offices like the president of the European Commission or the CEO of Apple whose occupants vary across worlds and times. I will not offer a defense of this metaphysical view of fictional characters here. But since my theory of fictional names appeals to roles and occupants, some comments on the role view are in order.<sup><xref ref-type="fn" rid="fn23">23</xref></sup></p>
<p>The role view is an instance of metaphysical realism about fictional characters. Realists hold that there are fictional characters.<sup><xref ref-type="fn" rid="fn24">24</xref></sup> One brand of realism, typically called &#x201C;Meinongian&#x201D;, agrees that there are fictional characters but insists that fictional characters do not exist. In other words, views labelled &#x201C;Meinongian&#x201D; in this area of theorizing distinguish being from existence: there are things that do not exist, such as fictional characters.<sup><xref ref-type="fn" rid="fn25">25</xref></sup> Other realists, however, reject the Meinongian claim that there are things that do not exist.<sup><xref ref-type="fn" rid="fn26">26</xref></sup> Instead, anti-Meinongian realists accept that fictional characters exist.<sup><xref ref-type="fn" rid="fn27">27</xref></sup></p>
<p>Role theorists are realists in that they agree that there are fictional characters, namely roles. Like many role theorists, I take roles to be sets of properties. Crudely, for instance, Anna Karenina is a role that we identify with the following set of properties:
<disp-quote id="quote11">
<p>{is called &#x201C;Anna Karenina&#x201D;, is Russian, is a countess, is married to Karenin, is the sister of Oblonsky, &#x2026;}</p>
</disp-quote>
So far the role realist is not committed to either accepting or rejecting Meinongianism. At least <italic>prima facie</italic>, sets of properties like the one above might be thought to actually exist or not. In the former case, the role realist will be seen as an anti-Meinongian, in the latter case as a Meinongian realist.<sup><xref ref-type="fn" rid="fn28">28</xref></sup></p>
<p>My arguments in this paper do not require taking a stand on this issue. Even so, my arguments do rely on the claim that there are worlds in which someone has all the Anna Karenina properties.<sup><xref ref-type="fn" rid="fn29">29</xref></sup> Yet, since the Anna Karenina role is actually unoccupied, this realist can make sense of the intuition that Anna Karenina does not actually exist.<sup><xref ref-type="fn" rid="fn30">30</xref></sup> (To be sure, someone might falsely believe that &#x201C;Anna Karenina&#x201D; refers to a concrete, actual individual, and they might talk as if it did. I return to this in <xref ref-type="sec" rid="sec0_4_5">4.5</xref> below.)</p>
<p>A world in which someone has all the Anna Karenina properties is a world in which someone occupies the Anna Karenina role. It is natural to say that they are Anna Karenina in this world, just as Ursula von der Leyen actually is the president of the European Commission in 2023. Still, there is a sense in which they are not, since no individual is identical to the role, or set of properties. Von der Leyen is not identical to the office she occupies. Whether actually existing, concrete individuals like you and me can occupy Anna Karenina at non-actual worlds depends on one&#x2019;s views of transworld identity and essentialism.<sup><xref ref-type="fn" rid="fn31">31</xref></sup></p>
<p><italic>Qua</italic> sets, roles are abstract entities that are uncreated and eternal. Nevertheless, for the role theorist, authors can be said to introduce characters, or bestow fictionality on particular sets, by producing stories. Other realists hold that characters are genuinely created by authors.<sup><xref ref-type="fn" rid="fn32">32</xref></sup> As we will see, my view puts emphasis on the introduction of characters, i.e. roles, by authors. Yet it does not <italic>per se</italic> turn on rejecting creationism about fictional characters, as long as something other than sets of properties could be made to function similarly in the semantics and pragmatics I propose.</p>
<p>It might be thought that the challenge of co-identification is dispelled if one accepts that fictional characters are non-existing objects denoted by fictional names.<sup><xref ref-type="fn" rid="fn33">33</xref></sup> Indeed, for the Meinongian, co-identification is just co-reference. If &#x201C;Anna Karenina&#x201D; refers to the non-existing object that is Anna Karenina, our different uses of &#x201C;Anna Karenina&#x201D; genuinely co-refer after all, and (1) is on a par with (2).</p>
<p>Yet it has been argued that even if there were such objects, it is far from clear that they would help explain co-identification. <xref ref-type="bibr" rid="ref20">Friend (2014</xref>, 309) rightly notes that &#x201C;the mere postulation of a realm of abstract or non-existent objects does not by itself resolve the problem of determining which such object we are talking about when using a name&#x201D;. Moreover, <xref ref-type="bibr" rid="ref61">Sandgren (2018</xref>, 723&#x2013;724) argues that &#x201C;there are too many exotic [i.e. non-existing] objects and not enough facts to which we can appeal when determining which exotic objects are assigned to which attitudes&#x201D;.</p>
<p>This challenge also applies to the role realist. Simply postulating that fictional characters are roles does not explain which role &#x201C;Anna Karenina&#x201D; identifies. Indeed, as sets of properties, there are infinitely many roles. The name-centric&#x2019;s metasemantics meets this challenge by pointing to chains leading back to originating uses, and moreover, as we will see, she argues that name-origination can be successful even if no actual individual is baptized.</p>
</sec>
<sec id="sec0_3_2">
<label>3.2</label>
<title>Discourse Referents</title>
<p>The semantic-pragmatic theory of fictional names I defend here is couched within the dynamic picture of discourse information pioneered by <xref ref-type="bibr" rid="ref36">Karttunen (1976)</xref>; <xref ref-type="bibr" rid="ref27">Heim (1982)</xref>, (<xref ref-type="bibr" rid="ref28">2002</xref> <xref ref-type="bibr" rid="ref28">[1983]a</xref>), (<xref ref-type="bibr" rid="ref29">2002</xref> <xref ref-type="bibr" rid="ref29">[1983]b</xref>); <xref ref-type="bibr" rid="ref32">Kamp (2002</xref> <xref ref-type="bibr" rid="ref32">[1981]</xref>); and others.<sup><xref ref-type="fn" rid="fn34">34</xref></sup> A central tenet of the dynamic paradigm is that understanding a discourse requires keeping track not simply of which worlds are &#x201C;live&#x201D;, as on <xref ref-type="bibr" rid="ref66">Stalnaker&#x2019;s (1999</xref> <xref ref-type="bibr" rid="ref67">[1970]</xref>), (<xref ref-type="bibr" rid="ref68">1999</xref> <xref ref-type="bibr" rid="ref68">[1978]</xref>) ancestral picture, but also of a range of variables over individuals called <italic>discourse referents</italic>.<sup><xref ref-type="fn" rid="fn35">35</xref></sup></p>
<p>This is clearly seen in cases of anaphora. For example, confronted with (4), the listener or reader must decide whether &#x201C;he&#x201D; is Sam or someone else.
<list list-type="simple" id="list8">
<list-item><p>(4) Sam opened the door. He turned pale.</p></list-item>
</list>
We represent these alternatives using indices:
<list list-type="simple" id="list9">
<list-item><p>(5) a. Sam<sub>1</sub> opened the door. He<sub>1</sub> turned pale.</p>
<p>b. Sam<sub>1</sub> opened the door. He<sub>2</sub> turned pale.</p></list-item>
</list>
Orthodoxy regards the indexing choices in (5a-b) as differences at the level of <italic>logical form</italic> (LF).<sup><xref ref-type="fn" rid="fn36">36</xref></sup> As such, the co-valuation of &#x201C;Sam&#x201D; and &#x201C;He&#x201D; in (5a) is fixed by the grammar.</p>
<p>The dynamic tradition takes indices of this kind to represent discourse referents. A discourse referent is a variable that gets associated with various information as the discourse develops. On the reading represented by (5a), (4) involves one discourse referent, labelled &#x201C;1&#x201D;, and conveys the information that 1 is called &#x201C;Sam&#x201D;, opened the door, and turned pale.</p>
<p>This information rules out possibilities in which no individual has all these properties. Formally, this is represented by pairing assignments of values to indices with possible worlds. So the informational content of (5a) is represented by the following set (where <italic>g</italic> is a function from indices to individuals):
<list list-type="simple" id="list10">
<list-item><p>(6) {<italic>&#x003C;g, w&#x003E;</italic>: <italic>g</italic>(1) is called &#x201C;Sam&#x201D; in <italic>w, g</italic>(1) opened the door in <italic>w, g</italic>(1) turned pale in <italic>w</italic>}</p></list-item>
</list>
(6) is the set of possibilities relative to which some individual is called &#x201C;Sam&#x201D;, opened the door, and turned pale. That is, the possibilities compatible with (5a).</p>
<p><xref ref-type="bibr" rid="ref27">Heim (1982)</xref> proposed that we think of the information delineated by sets like (6) as a <italic>file</italic>, understood as a collection of indexed file cards bearing entries about discourse referents. Since there is only one discourse referent in this case, (5a) determines a one-card file:
<table-wrap id="t001" position="float">
<table frame="box" rules="all">
<tbody>
<tr>
<td align="left" valign="top">1</td>
</tr>
<tr>
<td align="left" valign="top">is called &#x201C;Sam&#x201D;<break/>
opened the door<break/>
turned pale</td>
</tr>
</tbody>
</table>
</table-wrap>
By contrast, (5b) determines a file with two cards:
<table-wrap id="t002" position="float">
<table frame="box" rules="all">
<tbody>
<tr>
<td align="left" valign="top">1</td>
</tr>
<tr>
<td align="left" valign="top">is called &#x201C;Sam&#x201D;<break/>
opened the door</td>
</tr>
</tbody>
</table>
</table-wrap>
<table-wrap id="t003" position="float">
<table frame="box" rules="all">
<tbody>
<tr>
<td align="left" valign="top">2</td>
</tr>
<tr>
<td align="left" valign="top">turned pale</td>
</tr>
</tbody>
</table>
</table-wrap>
As I explain below, this framework provides a powerful way of understanding fictional discourse and roles.</p>
</sec>
<sec id="sec0_3_3">
<label>3.3</label>
<title>Keeping Track of Characters</title>
<p>Just as in ordinary discourse, understanding a fictional text or oral narration proceeds by keeping track of discourse referents and associated information. Take the following excerpt from the opening of Dostoyevsky&#x2019;s <italic>The Brothers Karamazov</italic>:<sup><xref ref-type="fn" rid="fn37">37</xref></sup>
<list list-type="simple" id="list11">
<list-item><p>(7) [Alexey Fyodorovitch Karamazov]<sub>1</sub> was the third son of [Fyodor Pavlovitch Karamazov]<sub>2</sub>, a land owner well known in our district in his<sub>2</sub> own day, and still remembered among us owing to his<sub>2</sub> gloomy and tragic death [&#x2026;]. He<sub>2</sub> was married twice, and had three sons, the eldest, Dmitri<sub>3</sub>, by his<sub>2</sub> first wife, and two, Ivan<sub>4</sub> and Alexey<sub>1</sub>, by his<sub>2</sub> second. (<xref ref-type="bibr" rid="ref12">Dostoyevsky, 2003</xref> [<xref ref-type="bibr" rid="ref12">1880</xref>], 15)</p></list-item>
</list>
Understanding the novel requires tracking indices across the text and maintaining the information associated with each discourse referent. That is, to keep a file with information recorded on various cards.</p>
<p>Here is a simplified rendition of the file determined by (7):
<table-wrap id="t004" position="float">
<table frame="box" rules="all">
<tbody>
<tr>
<td align="left" valign="top">1</td>
</tr>
<tr>
<td align="left" valign="top">is called &#x201C;Alexey Fyodorovitch Karamazov&#x201D;<break/>
is the third son of 2<break/>
is the half-brother of 3<break/>
is the brother of 4
</td>
</tr>
</tbody>
</table>
</table-wrap>
<table-wrap id="t005" position="float">
<table frame="box" rules="all">
<tbody>
<tr>
<td align="left" valign="top">2</td>
</tr>
<tr>
<td align="left" valign="top">was called &#x201C;Fyodor Pavlovitch Karamazov&#x201D;<break/>
was the father of 1, 3, 4<break/>
suffered a gloomy, tragic death<break/>
was married twice</td>
</tr>
</tbody>
</table>
</table-wrap>
<table-wrap id="t006" position="float">
<table frame="box" rules="all">
<tbody>
<tr>
<td align="left" valign="top">3</td>
</tr>
<tr>
<td align="left" valign="top">is called &#x201C;Dmitri&#x201D;<break/>
is the first son of 2<break/>
is the half-brother of 1 and 4</td>
</tr>
</tbody>
</table>
</table-wrap>
<table-wrap id="t007" position="float">
<table frame="box" rules="all">
<tbody>
<tr>
<td align="left" valign="top">4</td>
</tr>
<tr>
<td align="left" valign="top">is called &#x201C;Ivan&#x201D;<break/>
is the second son of 2<break/>
is the brother of 1<break/>
is the half-brother of 3</td>
</tr>
</tbody>
</table>
</table-wrap>
When you encounter Alexey later in the novel, you co-index the relevant terms with earlier ones, ultimately reaching back to the first occurrence in (7). As this shows, you track discourse referents independently of tracking <italic>bona fide</italic> reference. You co index occurrences of &#x201C;Alexey&#x201D;, &#x201C;Alyosha&#x201D; and other terms like pronouns, even though you are aware that there is no actual, concrete individual as referent for the name.</p>
<p>I propose to understand fictional characters <italic>qua</italic> roles in terms of information associated with discourse referents introduced in fictional discourse. Take the card for Alexey Karamazov labeled &#x201C;1&#x201D; above. The Alexey Karamazov role is the set of properties recorded on the card at the end of the novel.<sup><xref ref-type="fn" rid="fn38">38</xref></sup> This role is the character Alexey Karamazov, which was introduced by Dostoyevsky by his writing of the text.</p>
<p>Information associated with discourse referents is conveyed linguistically. The four-card file above (simplistically) represents the information conveyed by the pas sage in (7) in virtue of the meaning of the words &#x2014; given disambiguation, indexing, and composition. Concretely, therefore, we see fictional characters, i.e. roles, as introduced and incrementally specified by fictional works.</p>
</sec>
</sec>
<sec id="sec0_4">
<label>4</label>
<title>Semantics and Pragmatics for Fictional Names</title>
<p>This section spells out a treatment of fictional names within the dynamic framework outlined in the previous section. I demonstrate how this theory handles different ways of using fictional names.</p>
<sec id="sec0_4_1">
<label>4.1</label>
<title>The Basic System</title>
<p>Heim&#x2019;s original work ambitiously proposed that the dynamic theory replace traditional truth-conditional semantics by construing the meaning of declarative sentences as potentials for updating files.<sup><xref ref-type="fn" rid="fn39">39</xref></sup> I follow <xref ref-type="bibr" rid="ref45">Mandelkern (in press)</xref> in imposing a division of labor between semantics and pragmatics such that the semantics assigns static, truth-conditional meanings, while updating of files is seen as a purely pragmatic matter. Below I sketch a version of this theory with some modifications to suit our purposes of developing a framework for understanding fictional discourse that facilitates a theory of fictional names.</p>
<p>As always, semantic evaluation depends on the context of the conversation. Here a context is a <italic>common ground</italic>, that is, what is commonly taken for granted by the participants.<sup><xref ref-type="fn" rid="fn40">40</xref></sup> As suggested by <xref ref-type="bibr" rid="ref27">Heim (1982</xref>, 285&#x2013;289), (<xref ref-type="bibr" rid="ref29">2002</xref> <xref ref-type="bibr" rid="ref29">[1983]b</xref>, 255&#x2013;256), we can think of the common ground as itself a file, called the <italic>context file</italic>. So a context <italic>c</italic> is a set of pairs <italic>&#x003C; g, w &#x003E;</italic>, intuitively, a file consisting of a number of cards.</p>
<p>Given this, we define denotations like the following (where <italic>F&#x2019;</italic> is the extension of <italic>F</italic> and &#x201C;#&#x201D; means undefined):
<disp-formula id="de1"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M1"><mml:mo stretchy='false'>(</mml:mo><mml:mn>8</mml:mn><mml:mo stretchy='false'>)</mml:mo><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msup><mml:mi>F</mml:mi><mml:mi>n</mml:mi></mml:msup><mml:mfenced><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:msup><mml:mn>1</mml:mn><mml:mo>&#x2032;</mml:mo></mml:msup></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mtext>&#x2009;</mml:mtext><mml:mtext>iff</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mo>&#x003C;</mml:mo><mml:mi>g</mml:mi><mml:mo stretchy='false'>(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy='false'>)</mml:mo><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mfenced><mml:mi>n</mml:mi></mml:mfenced><mml:mo>&#x003E;</mml:mo><mml:mo>&#x2208;</mml:mo><mml:msup><mml:mi>F</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mtext>&#x2009;</mml:mtext><mml:mtext>in</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mi>w</mml:mi><mml:mo>.</mml:mo><mml:mfenced><mml:mrow><mml:mtext>And</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>o</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>otherwise</mml:mtext><mml:mo>.</mml:mo></mml:mrow></mml:mfenced></mml:math></disp-formula>
<disp-formula id="de2"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M2"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mtext>(9)&#x00A0;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>he</mml:mtext></mml:mrow><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mtext>&#x00A0;only&#x00A0;if&#x00A0;</mml:mtext><mml:mo>&#x2200;</mml:mo><mml:mfenced close="&#x232A;" open="&#x2329;"><mml:mrow><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup></mml:mrow></mml:mfenced><mml:mo>&#x2208;</mml:mo><mml:mi>c</mml:mi><mml:mo>:</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo stretchy='false'>(</mml:mo><mml:mi>i</mml:mi><mml:mo stretchy='false'>)</mml:mo><mml:mtext>&#x00A0;is&#x00A0;male&#x00A0;in&#x00A0;</mml:mtext><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mtext>.</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mtext>If&#x00A0;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>he</mml:mtext></mml:mrow><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mo>,</mml:mo><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>he</mml:mtext></mml:mrow><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mi>g</mml:mi><mml:mo stretchy='false'>(</mml:mo><mml:mi>i</mml:mi><mml:mo stretchy='false'>)</mml:mo><mml:mtext>.</mml:mtext></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
To illustrate, take (10).
<list list-type="simple" id="list12">
<list-item><p>(10) He<sub>1</sub> is Russian.</p></list-item>
</list>
Given (9), (10) requires that for all pairs in the context file, the referent of the pronoun, <italic>g</italic>(1), is male. This means that (10) says that <italic>g</italic>(1) is Russian while presupposing that <italic>g</italic>(1) is male. Formally as in (11).
<disp-formula id="de3"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M3"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mfenced><mml:mrow><mml:mn>11</mml:mn></mml:mrow></mml:mfenced><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>He</mml:mtext></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x00A0;is&#x00A0;Russian</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mtext>&#x00A0;only&#x00A0;if&#x00A0;</mml:mtext><mml:mo>&#x2200;</mml:mo><mml:mfenced close="&#x232A;" open="&#x2329;"><mml:mrow><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup></mml:mrow></mml:mfenced><mml:mo>&#x2208;</mml:mo><mml:mi>c</mml:mi><mml:mo>:</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mfenced><mml:mn>1</mml:mn></mml:mfenced><mml:mtext>&#x00A0;is&#x00A0;male&#x00A0;in&#x00A0;</mml:mtext><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>.</mml:mo></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mtext>If</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>He</mml:mtext></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is&#x00A0;Russian</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mo>,</mml:mo><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>He</mml:mtext></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is&#x00A0;Russian</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mtext>&#x2009;</mml:mtext><mml:mi>i</mml:mi><mml:mtext>ff</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>g</mml:mtext><mml:mfenced><mml:mn>1</mml:mn></mml:mfenced><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x00A0;Russian&#x00A0;in&#x00A0;</mml:mtext><mml:mi>w</mml:mi><mml:mtext>.&#x00A0;</mml:mtext><mml:mfenced><mml:mrow><mml:mtext>And&#x00A0;o&#x00A0;otherwise</mml:mtext><mml:mtext>.</mml:mtext></mml:mrow></mml:mfenced><mml:mtext>&#x00A0;</mml:mtext></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
As is standard, we take <italic>g</italic> to represent the speaker&#x2019;s intentions. For an ordinary utterance of (10), the speaker has a particular individual in mind, say Alexei Navalny, who she wants to talk about. In this case <italic>g</italic>(1) = Alexei Navalny. In other cases the speaker&#x2019;s intentions are less specific, as in (12).
<list list-type="simple" id="list13">
<list-item><p>(12) Someone<sub>1</sub> left the door open. They<sub>1</sub> must have been in a hurry.</p></list-item>
</list>
In (12) the speaker intends to contribute information about a discourse referent, rather than to speak of some individual she has in mind. As we said in <xref ref-type="sec" rid="sec0_3_3">3.3</xref>, a discourse can accumulate information about a variable even though a real-world referent for it has not been identified, or does not exist.</p>
<p>So our semantics is a classical, static system that assigns 1 or 0 to sentences (if defined). Understanding 1 as satisfaction and 0 as non-satisfaction, we define truth relative to a world <italic>w</italic> and an assignment <italic>g</italic> as follows:<sup><xref ref-type="fn" rid="fn41">41</xref></sup>
<disp-formula id="de4"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M4"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mfenced><mml:mrow><mml:mn>13</mml:mn></mml:mrow></mml:mfenced><mml:mtext>&#x00A0;If&#x00A0;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mi>S</mml:mi></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mo>&#x007B;</mml:mo><mml:mo>&#x003C;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi><mml:mo>&#x003E;</mml:mo><mml:mo>&#x007D;</mml:mo><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mtext>,&#x00A0;then</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mi>S</mml:mi><mml:mtext>&#x00A0;is&#x00A0;true&#x00A0;w</mml:mtext><mml:mtext>.r</mml:mtext><mml:mtext>.t</mml:mtext><mml:mtext>.&#x00A0;</mml:mtext><mml:mo>&#x2329;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi><mml:mo>&#x232A;</mml:mo><mml:mtext>&#x00A0;iff&#x00A0;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mi>S</mml:mi></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mo>&#x007B;</mml:mo><mml:mo>&#x2329;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi><mml:mo>&#x232A;</mml:mo><mml:mo>&#x007D;</mml:mo><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mtext>;</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mi>S</mml:mi><mml:mtext>&#x00A0;is&#x00A0;false&#x00A0;w</mml:mtext><mml:mtext>.r</mml:mtext><mml:mtext>.t</mml:mtext><mml:mtext>.&#x00A0;</mml:mtext><mml:mo>&#x2329;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi><mml:mo>&#x232A;</mml:mo><mml:mtext>&#x00A0;iff</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mi>S</mml:mi></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mo>&#x007B;</mml:mo><mml:mo>&#x2329;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi><mml:mo>&#x232A;</mml:mo><mml:mo>&#x007D;</mml:mo><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>0.</mml:mn></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
Note that (13) entails that truth value gaps arise when presuppositions are not <italic>in fact</italic> satisfied, regardless of what is common ground.<sup><xref ref-type="fn" rid="fn42">42</xref></sup></p>
<p>For instance, even if it happens to be common ground that the referent is male, (13) does not assign a truth value to (10), unless <italic>g</italic>(1) actually is male. Where <italic>w</italic>* is the actual world, (10) has the following truth conditions:
<disp-formula id="de5"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M5"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mtable columnalign='left'><mml:mtr columnalign='left'><mml:mtd columnalign='left'><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mn>14</mml:mn></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mtext>&#x00A0;If&#x00A0;</mml:mtext><mml:msup><mml:mrow><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:msub><mml:mrow><mml:mtext>He</mml:mtext></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x00A0;is&#x00A0;Russian</mml:mtext></mml:mrow> <mml:mo>]</mml:mo></mml:mrow></mml:mrow> <mml:mo>]</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mrow><mml:mo>{</mml:mo> <mml:mrow><mml:mrow><mml:mo>&#x2329;</mml:mo> <mml:mrow><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow> <mml:mo>&#x232A;</mml:mo></mml:mrow></mml:mrow> <mml:mo>}</mml:mo></mml:mrow><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mtext>,&#x00A0;then</mml:mtext></mml:mrow></mml:mtd></mml:mtr><mml:mtr columnalign='left'><mml:mtd columnalign='left'><mml:mrow><mml:mi>H</mml:mi><mml:msub><mml:mi>e</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x00A0;</mml:mtext><mml:mi>i</mml:mi><mml:mi>s</mml:mi><mml:mtext>&#x00A0;</mml:mtext><mml:mi>R</mml:mi><mml:mi>u</mml:mi><mml:mi>s</mml:mi><mml:mi>s</mml:mi><mml:mi>i</mml:mi><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mtext>&#x00A0;is&#x00A0;true&#x00A0;w</mml:mtext><mml:mtext>.r</mml:mtext><mml:mtext>.t</mml:mtext><mml:mtext>.&#x00A0;</mml:mtext><mml:mrow><mml:mo>&#x2329;</mml:mo> <mml:mrow><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow> <mml:mo>&#x232A;</mml:mo></mml:mrow><mml:mtext>&#x00A0;iff</mml:mtext></mml:mrow></mml:mtd></mml:mtr><mml:mtr columnalign='left'><mml:mtd columnalign='left'><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:msub><mml:mrow><mml:mtext>He</mml:mtext></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x00A0;is&#x00A0;Russian</mml:mtext></mml:mrow> <mml:mo>]</mml:mo></mml:mrow></mml:mrow> <mml:mo>]</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mrow><mml:mo>{</mml:mo> <mml:mrow><mml:mrow><mml:mo>&#x2329;</mml:mo> <mml:mrow><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow> <mml:mo>&#x232A;</mml:mo></mml:mrow></mml:mrow> <mml:mo>}</mml:mo></mml:mrow><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mtext>;</mml:mtext></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mi>H</mml:mi><mml:msub><mml:mi>e</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x2009;</mml:mtext><mml:mi>i</mml:mi><mml:mi>s</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mi>R</mml:mi><mml:mi>u</mml:mi><mml:mi>s</mml:mi><mml:mi>s</mml:mi><mml:mi>i</mml:mi><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mi>i</mml:mi><mml:mi>s</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mtext>false</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>w</mml:mtext><mml:mo>.</mml:mo><mml:mtext>r</mml:mtext><mml:mo>.</mml:mo><mml:mtext>t</mml:mtext><mml:mo>.</mml:mo><mml:mrow><mml:mo>&#x2329;</mml:mo> <mml:mrow><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow> <mml:mo>&#x232A;</mml:mo></mml:mrow><mml:mtext>&#x2009;</mml:mtext><mml:mtext>iff</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:msub><mml:mrow><mml:mtext>He</mml:mtext></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>Russian</mml:mtext></mml:mrow> <mml:mo>]</mml:mo></mml:mrow></mml:mrow> <mml:mo>]</mml:mo></mml:mrow><mml:mrow><mml:mrow><mml:mo>{</mml:mo> <mml:mrow><mml:mrow><mml:mo>&#x2329;</mml:mo> <mml:mrow><mml:mi>g</mml:mi><mml:mtext>,</mml:mtext><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow> <mml:mo>&#x232A;</mml:mo></mml:mrow></mml:mrow> <mml:mo>}</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>0.</mml:mn></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
Hence, if the intended referent of the pronoun is not male in the actual world, <italic>w</italic>*, (10) is neither true nor false at <italic>w</italic>*. Otherwise, (10) is true (false) relative to <italic>g</italic> and <italic>w</italic>* if and only if <italic>g</italic>(1) is (not) Russian in <italic>w</italic>*.</p>
<p>Pragmatically, utterances update common grounds, that is, context files. Generally, updating produces a new, trimmed down context (where + represents up dating):
<disp-formula id="de7"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M7"><mml:mfenced><mml:mrow><mml:mn>15</mml:mn></mml:mrow></mml:mfenced><mml:mtext>&#x2009;</mml:mtext><mml:mi>c</mml:mi><mml:mo>+</mml:mo><mml:mi>S</mml:mi><mml:mo>=</mml:mo><mml:msup><mml:mi>c</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:mfenced close="}" open="{"><mml:mrow><mml:mo>&#x2329;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi><mml:mo>&#x232A;</mml:mo><mml:mo>&#x2208;</mml:mo><mml:mi>c</mml:mi><mml:mo>:</mml:mo><mml:msup><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mi>S</mml:mi></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:mfenced><mml:mo>.</mml:mo></mml:math></disp-formula>
For example, updating <italic>c</italic> with (10) means narrowing <italic>c</italic> to the pairs according to which <italic>g</italic>(1) is Russian:
<disp-formula id="de8"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M8"><mml:mi>c</mml:mi><mml:mo>+</mml:mo><mml:mi>H</mml:mi><mml:msub><mml:mi>e</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x00A0;</mml:mtext><mml:mi>i</mml:mi><mml:mi>s</mml:mi><mml:mtext>&#x00A0;</mml:mtext><mml:mi>R</mml:mi><mml:mi>u</mml:mi><mml:mi>s</mml:mi><mml:mi>s</mml:mi><mml:mi>i</mml:mi><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mo>=</mml:mo><mml:msup><mml:mi>c</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:mfenced close="}" open="{"><mml:mrow><mml:mo>&#x2329;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi><mml:mo>&#x232A;</mml:mo><mml:mo>&#x2208;</mml:mo><mml:mi>c</mml:mi><mml:mo>:</mml:mo><mml:msup><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>He</mml:mtext></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x00A0;is&#x00A0;Russian</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:mfenced><mml:mo>.</mml:mo></mml:math></disp-formula>
Moreover, since the pronoun presupposes that its referent is male, it will be common ground that <italic>g</italic>(1) is male. Formally, <italic>g</italic>(1) will be male according to each pair in <italic>c&#x2019;</italic>. As usual, presuppositions can be satisfied in two ways. It may either already be common ground that the referent of &#x201C;he<sub>1</sub>&#x201D; is male, or this may be accommodated.</p>
</sec>
<sec id="sec0_4_2">
<label>4.2</label>
<title>Fictional Names</title>
<p>We can now give a treatment of fictional names as variables constrained by presuppositions concerning roles. I use the notation &#x25E6;<italic>i</italic><sub><italic>s</italic></sub>&#x25E6; for the set of properties associated with <italic>i</italic> by the file <italic>s</italic>, or what is written on the <italic>i</italic> card in <italic>s</italic>. Take the simplified four card file for (a fragment of) <italic>The Brothers Karamazov</italic> above. Call this file <italic>k</italic>. Then &#x25E6;3<sub><italic>k</italic></sub>&#x25E6; is the Dmitri Karamazov role, the properties associated with the discourse referent 3 by <italic>The Brothers Karamazov</italic>.</p>
<p>Further, I use &#x03B9;[&#x25E6;<italic>i</italic><sub><italic>s</italic></sub>&#x25E6;]<italic>w</italic> for the unique <italic>x</italic> (if there is one) such that, in <italic>w, x</italic> has all the properties in &#x25E6;<italic>i</italic><sub><italic>s</italic></sub>&#x25E6;. So &#x03B9;[&#x25E6;3<sub><italic>k</italic></sub>&#x25E6;]<italic>w</italic> is the unique Dmitri Karamazov occupant in <italic>w</italic>, if there is one. Specifically, if &#x2203;!<italic>x</italic>(<italic>f</italic><sub>1</sub>(<italic>x</italic>)<italic>, &#x2026;, fn</italic>(<italic>x</italic>)) is false at <italic>w</italic>, where <italic>f</italic><sub>1</sub><italic>, &#x2026;, fn</italic> are the properties in &#x25E6;<italic>i</italic><sub><italic>s</italic></sub>&#x25E6;, then &#x03B9;[<italic>&#x25E6;i</italic><sub><italic>s</italic></sub>&#x25E6;]<italic>w</italic> has no value.<sup><xref ref-type="fn" rid="fn43">43</xref></sup> In other words, if there is no unique occupant of the role in <italic>w</italic>, &#x03B9;[&#x25E6;<italic>i</italic><sub><italic>s</italic></sub>&#x25E6;]<italic>w</italic> is empty.</p>
<p>Given this, a fictional name will be a variable that presupposes that its value is the unique occupant of the relevant role. Formally, suppose the fictional name <italic>n</italic> was introduced in the file <italic>s</italic> with the index <italic>j</italic>. Then we define the denotation of <italic>n</italic> indexed with <italic>i</italic> as follows:
<disp-formula id="de9"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M9"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mfenced><mml:mrow><mml:mn>16</mml:mn></mml:mrow></mml:mfenced><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mi>n</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mtext>&#x00A0;iff&#x00A0;</mml:mtext><mml:mo>&#x2200;</mml:mo><mml:mo>&#x003C;</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo><mml:mo>&#x2208;</mml:mo><mml:mi>c</mml:mi><mml:mo>:</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mfenced><mml:mi>i</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mi>&#x03B9;</mml:mi><mml:mfenced close="]" open="["><mml:mrow><mml:mo>&#x00B0;</mml:mo><mml:msubsup><mml:mi>j</mml:mi><mml:mi>s</mml:mi><mml:mo>&#x00B0;</mml:mo></mml:msubsup></mml:mrow></mml:mfenced><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>.</mml:mo></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>If</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mi>n</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mo>,</mml:mo><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mi>n</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mi>g</mml:mi><mml:mo stretchy='false'>(</mml:mo><mml:mi>i</mml:mi><mml:mo stretchy='false'>)</mml:mo><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
This means that <italic>n</italic> presupposes that its value is the unique individual who has all the properties in &#x25E6;<italic>j</italic><sub><italic>s</italic></sub>&#x25E6;, or satisfies all the entries on the <italic>j</italic> card in <italic>s</italic>. By <italic>s</italic> in (16) we mean the final file, as it is at the end of the story (or text). As stated by the second clause, if this presupposition is either satisfied or accommodated, <italic>n</italic> denotes that individual. If the presupposition is not satisfied, the name has no value.</p>
<p>As this brings out, on this view, fictional names do not denote or refer to roles. Rather, roles constrain the values of fictional names at different worlds. Fictional names denote individuals which have certain properties at certain worlds, the occupants of the role. (I return to this in <xref ref-type="sec" rid="sec0_5_2">5.2</xref>).</p>
</sec>
<sec id="sec0_4_3">
<label>4.3</label>
<title>Using Fictional Names</title>
<p>In the rest of this section, I expand on this theory by showing how it treats some ways of using fictional names. Here I will distinguish <italic>fictive, factual, metafictional</italic>, and <italic>theoretical</italic> uses.<sup><xref ref-type="fn" rid="fn44">44</xref></sup> Take (17).
<list list-type="simple" id="list14">
<list-item><p>(17) Anna Karenina is Russian.</p></list-item>
</list>
First, (17) can be used fictively, as part of telling a fictional story. This is how Tolstoy used the sentences in writing the novel. Second, (17) can be used factually. Someone who mistakenly thinks <italic>Anna Karenina</italic> is a work of history might utter (17) as an assertion about how things actually are. Third, (17) can be used metafictionally, to say something about <italic>Anna Karenina</italic>.<sup><xref ref-type="fn" rid="fn45">45</xref></sup> This is how the sentences are used in our initial example of (1).</p>
<p>Next, consider (18).
<list list-type="simple" id="list15">
<list-item><p>(18) Anna Karenina is a fictional character.</p></list-item>
</list>
In (18) &#x201C;Anna Karenina&#x201D; is used theoretically, as I shall say.<sup><xref ref-type="fn" rid="fn46">46</xref></sup> (18) is not a metafictional statement about what happens in <italic>Anna Karenina</italic>, nor is the speaker confused about whether Anna Karenina is a real-life person.</p>
<p>Below I go through each in turn. The main point to note is that, on this theory, fictional names have the same meaning on all of these uses.<sup><xref ref-type="fn" rid="fn47">47</xref></sup></p>
</sec>
<sec id="sec0_4_4">
<label>4.4</label>
<title>Fictive Uses</title>
<p>When used fictively, fictional names serve to build up information about discourse referents, as described in <xref ref-type="sec" rid="sec0_3_3">3.3</xref>. Consider the following toy example:
<list list-type="simple" id="list16">
<list-item><p>(19) Ben<sub>1</sub> fell asleep. He<sub>1</sub> snored.</p></list-item>
</list>
In (19) the sentences are used to build up a file for the Ben story. Call this file <italic>b</italic>. Hence, since &#x201C;Ben&#x201D; originates in <italic>b</italic> with index 1, according to (16), the denotation of &#x201C;Ben<sub>1</sub>&#x201D; is:
<disp-formula id="de10"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M10"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mfenced><mml:mrow><mml:mn>20</mml:mn></mml:mrow></mml:mfenced><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>Ben</mml:mtext></mml:mrow><mml:mn>1</mml:mn></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mtext>&#x00A0;iff&#x00A0;</mml:mtext><mml:mo>&#x2200;</mml:mo><mml:mfenced close="&#x232A;" open="&#x2329;"><mml:mrow><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup></mml:mrow></mml:mfenced><mml:mo>&#x2208;</mml:mo><mml:mi>c</mml:mi><mml:mo>:</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo stretchy='false'>(</mml:mo><mml:mi>i</mml:mi><mml:mo stretchy='false'>)</mml:mo><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mfenced close="]" open="["><mml:mrow><mml:msup><mml:mrow></mml:mrow><mml:mo>&#x00B0;</mml:mo></mml:msup><mml:msub><mml:mn>1</mml:mn><mml:mi>b</mml:mi></mml:msub><mml:msup><mml:mrow></mml:mrow><mml:mo>&#x00B0;</mml:mo></mml:msup></mml:mrow></mml:mfenced><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mtext>.</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x00A0;If</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>Ben</mml:mtext></mml:mrow><mml:mn>1</mml:mn></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mo>,</mml:mo><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>Ben</mml:mtext></mml:mrow><mml:mn>1</mml:mn></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mi>g</mml:mi><mml:mo stretchy='false'>(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy='false'>)</mml:mo><mml:mtext>.</mml:mtext></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
So as it occurs in the first sentence of (19), &#x201C;Ben<sub>1</sub>&#x201D; presupposes that <italic>g</italic>(1) has all the Ben properties. Yet no Ben properties have been determined yet. Instead, as the first sentence of the story, it triggers various processes of accommodation. First, a discourse referent is introduced, labeled 1.<sup><xref ref-type="fn" rid="fn48">48</xref></sup> Intuitively, a card is opened up. Second, even before updating with &#x201C;fell asleep&#x201D;, various things might be added to the card by accommodation. I assume that at least &#x201C;is called &#x2018;Ben&#x2019;&#x201D; is added just in virtue of the occurrence of the name. Given this, the file is updated with the content of the first clause of (19).</p>
<p>Hence, once we get to the second clause, &#x25E6;1<sub><italic>b</italic></sub>&#x25E6; includes at least &#x201C;is called &#x2018;Ben&#x2019;&#x201D; and &#x201C;fell asleep&#x201D;. Next, since &#x201C;he&#x201D; is co-indexed, we update the card with &#x201C;snored&#x201D;. So at the end of the story, we are left with a one-card file as below:
<table-wrap id="t008" position="float">
<table frame="box" rules="all">
<tbody>
<tr>
<td align="left" valign="top">1</td>
</tr>
<tr>
<td align="left" valign="top">is called &#x201C;Ben&#x201D;<break/>
fell asleep<break/>
snored</td>
</tr>
</tbody>
</table>
</table-wrap>
Concretely, then, the author&#x2019;s fictional uses of the name throughout the story determines a role, namely the information on the card.</p>
</sec>
<sec id="sec0_4_5">
<label>4.5</label>
<title>Factual Uses</title>
<p>Imagine that we have both read <italic>Anna Karenina</italic>. Yet neither of us realized that it was fictional. We both thought it was a work of history. So when we talk to each other, we presuppose that Anna Karenina actually exists. Suppose you say (17), now indexed.
<list list-type="simple" id="list17">
<list-item><p>(17) [Anna Karenina]<sub>1</sub> is Russian.</p></list-item>
</list>
Your utterance of (17) is factual: an assertion about the actual world. We both falsely believe that Anna Karenina actually exists, and you want to impart to me the information that she is Russian. Even so, &#x201C;Anna Karenina&#x201D; in your mouth does not refer to an actually existing individual the way &#x201C;Oprah Winfrey&#x201D; does. I follow orthodoxy in treating non-fictional names as rigid and directly referential.<sup><xref ref-type="fn" rid="fn49">49</xref></sup>
<disp-formula id="de11"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M11"><mml:mfenced><mml:mrow><mml:mn>21</mml:mn></mml:mrow></mml:mfenced><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Oprah&#x00A0;Winfrey</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mtext>&#x00A0;Oprah&#x00A0;Winfrey</mml:mtext><mml:mtext>.</mml:mtext></mml:math></disp-formula>
We distinguish non-fictional names from fictional names by appealing to chains of communication.<sup><xref ref-type="fn" rid="fn50">50</xref></sup> (See <xref ref-type="sec" rid="sec0_5">Section 5</xref>.) Since &#x201C;Anna Karenina&#x201D; is a fictional name, despite what you and I falsely believe, when you utter (17), its semantics is an instance of (16). In particular, let <italic>a</italic> be the file for <italic>Anna Karenina</italic>, and suppose &#x201C;Anna Karenina&#x201D; in <italic>a</italic> has the index 65. So the name has the following meaning:
<disp-formula id="de12"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M12"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mfenced><mml:mrow><mml:mn>22</mml:mn></mml:mrow></mml:mfenced><mml:msup><mml:mfenced close="]" open=""><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna&#x00A0;Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mtext>&#x00A0;iff&#x00A0;</mml:mtext><mml:mo>&#x2200;</mml:mo><mml:mfenced close="&#x232A;" open="&#x2329;"><mml:mrow><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup></mml:mrow></mml:mfenced><mml:mo>&#x2208;</mml:mo><mml:mi>c</mml:mi><mml:mo>:</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo stretchy='false'>(</mml:mo><mml:mi>i</mml:mi><mml:mo stretchy='false'>)</mml:mo><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mfenced close="]" open="["><mml:mrow><mml:msup><mml:mrow></mml:mrow><mml:mo>&#x00B0;</mml:mo></mml:msup><mml:msubsup><mml:mrow><mml:mn>65</mml:mn></mml:mrow><mml:mi>a</mml:mi><mml:mo>&#x00B0;</mml:mo></mml:msubsup></mml:mrow></mml:mfenced><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mtext>If</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna&#x00A0;Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mo>,</mml:mo><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna&#x00A0;Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>z</mml:mi><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mi>g</mml:mi><mml:mo stretchy='false'>(</mml:mo><mml:mi>i</mml:mi><mml:mo stretchy='false'>)</mml:mo><mml:mtext>.</mml:mtext></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
Accordingly, your utterance presupposes that there is a unique Anna Karenina occupant. Given our context, this presupposition is satisfied. We do presuppose that there is an actual individual who is uniquely described by the novel, just as one does when reading, say, a biography of Benjamin Franklin. So, in this sense, your assertion of (17) is successful in our context.</p>
<p>At the same time, your utterance should be neither true nor false because Anna Karenina does not actually exist, regardless of what we believe or presuppose. Our theory predicts this result. Consider the relevant instance of (13):
<disp-formula id="de13"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M13"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mfenced><mml:mrow><mml:mn>23</mml:mn></mml:mrow></mml:mfenced><mml:mtext>If</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna&#x00A0;Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>is&#x00A0;Russian</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mfenced close="}" open=""><mml:mrow><mml:mfenced close="}" open="{"><mml:mrow><mml:mi mathvariant="normal">cg</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mtext>,&#x00A0;then</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:msub><mml:mfenced close="]" open="["><mml:mrow><mml:mi>A</mml:mi><mml:mi>n</mml:mi><mml:mi>n</mml:mi><mml:mi>a</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mi>K</mml:mi><mml:mi>a</mml:mi><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>n</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>a</mml:mi></mml:mrow></mml:mfenced><mml:mtext>1</mml:mtext></mml:msub><mml:mtext>&#x2009;</mml:mtext><mml:mi>i</mml:mi><mml:mi>s</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mi>R</mml:mi><mml:mi>u</mml:mi><mml:mi>s</mml:mi><mml:mi>s</mml:mi><mml:mi>i</mml:mi><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>true</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>w</mml:mtext><mml:mo>.</mml:mo><mml:mtext>r</mml:mtext><mml:mo>.</mml:mo><mml:mtext>t</mml:mtext><mml:mo>.</mml:mo><mml:mtext>&#x2009;</mml:mtext><mml:mo>&#x003C;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo><mml:mtext>&#x2009;</mml:mtext><mml:mtext>iff</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>Russian</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mfenced close="}" open=""><mml:mrow><mml:mfenced close="}" open="{"><mml:mrow><mml:mo>&#x003C;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mo>;</mml:mo></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:msub><mml:mfenced close="]" open="["><mml:mrow><mml:mi>A</mml:mi><mml:mi>n</mml:mi><mml:mi>n</mml:mi><mml:mi>a</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mi>K</mml:mi><mml:mi>a</mml:mi><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>n</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>a</mml:mi></mml:mrow></mml:mfenced><mml:mtext>1</mml:mtext></mml:msub><mml:mtext>&#x2009;</mml:mtext><mml:mi>i</mml:mi><mml:mi>s</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mi>R</mml:mi><mml:mi>u</mml:mi><mml:mi>s</mml:mi><mml:mi>s</mml:mi><mml:mi>i</mml:mi><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>false</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>w</mml:mtext><mml:mo>.</mml:mo><mml:mtext>r</mml:mtext><mml:mo>.</mml:mo><mml:mtext>t</mml:mtext><mml:mo>.</mml:mo><mml:mtext>&#x2009;</mml:mtext><mml:mo>&#x003C;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo><mml:mtext>&#x2009;</mml:mtext><mml:mtext>iff</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>Russian</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mfenced close="}" open="{"><mml:mrow><mml:mo>&#x003C;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo></mml:mrow></mml:mfenced><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>0.</mml:mn></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
According to (23), (17) is neither true nor false at the actual world. Regardless of which assignment <italic>g</italic> you care to pick, it is not the case that <italic>g</italic>(1) is the individual who uniquely has all the properties in &#x25E6;65<sub><italic>a</italic></sub>&#x25E6; in <italic>w</italic>*. There is no such individual. Hence, as an assertion about the actual world (17) is neither true nor false, even though it may pragmatically succeed in adding to the common ground, given our false beliefs and presuppositions.</p>
</sec>
<sec id="sec0_4_6">
<label>4.6</label>
<title>Metafictional Uses</title>
<p>Next we turn to metafictional uses of fictional names. Imagine that Sue says (17), speaking metafictionally about <italic>Anna Karenina</italic>.
<list list-type="simple" id="list18">
<list-item><p>(17) [Anna Karenina]<sub>1</sub> is Russian.</p></list-item>
</list>
On the standard view, inherited from <xref ref-type="bibr" rid="ref41">Lewis (1983</xref> <xref ref-type="bibr" rid="ref41">[1978]</xref>), metafictional utterances have the same content as the corresponding sentences prefixed with an operator like &#x201C;In <italic>Anna Karenina</italic>&#x201D;, as in (24).<sup><xref ref-type="fn" rid="fn51">51</xref></sup>
<list list-type="simple" id="list19">
<list-item><p>(24) In <italic>Anna Karenina</italic>, Anna Karenina is Russian.</p></list-item>
</list>
The theory I have sketched allows for a treatment along these lines. In particular, fictional names will have the same meaning under operators like &#x201C;In <italic>Anna Karenina</italic>&#x201D; as on other occurrences. To demonstrate, I will spell out a version of <xref ref-type="bibr" rid="ref41">Lewis&#x2019;s (1983</xref> <xref ref-type="bibr" rid="ref41">[1978]</xref>) &#x201C;Analysis 1&#x201D; of truth in fiction.</p>
<p>Let us use &#x0191;<sub><italic>s</italic></sub> for the metafictional operator &#x201C;In <italic>s</italic>&#x201D;. As before, suppose <italic>n</italic> is a fictional name introduced in <italic>s</italic> with index <italic>j</italic>. We then understand
<disp-formula id="de14"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M14"><mml:mfenced><mml:mrow><mml:mn>25</mml:mn></mml:mrow></mml:mfenced><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mi>F</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mfenced><mml:mrow><mml:mi>F</mml:mi><mml:msub><mml:mi>n</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mtext>&#x2009;</mml:mtext><mml:mtext>iff</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mo>&#x2203;</mml:mo><mml:mfenced close="&#x232A;" open="&#x2329;"><mml:mrow><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup></mml:mrow></mml:mfenced><mml:mo>&#x2208;</mml:mo><mml:mi>s</mml:mi><mml:mo>:</mml:mo><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mi>F</mml:mi><mml:msub><mml:mi>n</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>s</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mtext>&#x2009;</mml:mtext><mml:mtext>and</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>closer</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>to</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mi>w</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mtext>than</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>any</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mi>w</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mtext>&#x2009;</mml:mtext><mml:mtext>such</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>that</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mo>&#x2203;</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mo>:</mml:mo><mml:mfenced close="&#x232A;" open="&#x2329;"><mml:mrow><mml:msup><mml:mi>g</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced><mml:mo>&#x2208;</mml:mo><mml:mi>s</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mtext>and</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mi>F</mml:mi><mml:msub><mml:mi>n</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>s</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mtext>o</mml:mtext><mml:mo>.</mml:mo><mml:mtext>&#x2009;</mml:mtext><mml:mfenced><mml:mrow><mml:mtext>And</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>o</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>otherwise</mml:mtext><mml:mo>.</mml:mo></mml:mrow></mml:mfenced></mml:math></disp-formula>
In other words, we derive the following semantics for the metafictional reading of (17):
<disp-formula id="de15"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M15"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mfenced><mml:mrow><mml:mn>26</mml:mn></mml:mrow></mml:mfenced><mml:msub><mml:mtext>F</mml:mtext><mml:mi>a</mml:mi></mml:msub><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna&#x00A0;Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>Russian</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mtext>&#x2009;</mml:mtext><mml:mtext>iff</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mo>&#x2203;</mml:mo><mml:mo>&#x003C;</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo><mml:mo>&#x2208;</mml:mo><mml:mi>a</mml:mi><mml:mo>:</mml:mo></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna&#x00A0;Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>Russian</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mtext>&#x2009;</mml:mtext><mml:mtext>and</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>closer</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>to</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mi>w</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mtext>than</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>any</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mi>w</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mtext>&#x2009;</mml:mtext><mml:mtext>such</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>that</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mo>&#x2203;</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mo>:</mml:mo><mml:mo>&#x003C;</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mo>&#x003E;</mml:mo><mml:mo>&#x2208;</mml:mo><mml:mi>a</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mtext>and</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna&#x00A0;Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is&#x00A0;Russian</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>s</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mtext>&#x00A0;o</mml:mtext><mml:mtext>.&#x00A0;</mml:mtext><mml:mfenced><mml:mrow><mml:mtext>And&#x00A0;o&#x00A0;otherwise</mml:mtext><mml:mtext>.</mml:mtext></mml:mrow></mml:mfenced></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
According to (26), (24) is satisfied at <italic>w</italic> if and only if it is satisfied by a pair <italic>&#x003C;g&#x2019;, w&#x2019;&#x003E;</italic> in the Anna Karenina file <italic>a</italic> such that <italic>w&#x2019;</italic> is closer to <italic>w</italic> than any world belonging to some pair in the Anna Karenina file by which (17) is not satisfied.</p>
<p>Given (26), (24) carries no presuppositions. So, for the actual world, (this instance of) our definition of truth reduces to:
<disp-formula id="de16"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M16"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mfenced><mml:mrow><mml:mn>27</mml:mn></mml:mrow></mml:mfenced><mml:msub><mml:mtext>&#x00A0;F</mml:mtext><mml:mi>a</mml:mi></mml:msub><mml:mfenced><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mi>A</mml:mi><mml:mi>n</mml:mi><mml:mi>n</mml:mi><mml:mi>a</mml:mi><mml:mtext>&#x00A0;</mml:mtext><mml:mi>K</mml:mi><mml:mi>a</mml:mi><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>n</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>a</mml:mi></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x00A0;</mml:mtext><mml:mi>i</mml:mi><mml:mi>s</mml:mi><mml:mtext>&#x00A0;</mml:mtext><mml:mi>R</mml:mi><mml:mi>u</mml:mi><mml:mi>s</mml:mi><mml:mi>s</mml:mi><mml:mi>i</mml:mi><mml:mi>a</mml:mi><mml:mi>n</mml:mi></mml:mrow></mml:mfenced><mml:mtext>&#x00A0;is&#x00A0;true&#x00A0;w</mml:mtext><mml:mtext>.r</mml:mtext><mml:mtext>.t</mml:mtext><mml:mtext>.&#x00A0;</mml:mtext><mml:mo>&#x003C;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo><mml:mtext>iff</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mi>F</mml:mi><mml:mi>a</mml:mi></mml:msub><mml:mfenced><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna&#x00A0;Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>is&#x00A0;Russian</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mfenced close="}" open="{"><mml:mrow><mml:mo>&#x003C;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo></mml:mrow></mml:mfenced><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mtext>;</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:msub><mml:mtext>F</mml:mtext><mml:mi>a</mml:mi></mml:msub><mml:mfenced><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mi>A</mml:mi><mml:mi>n</mml:mi><mml:mi>n</mml:mi><mml:mi>a</mml:mi><mml:mtext>&#x00A0;</mml:mtext><mml:mi>K</mml:mi><mml:mi>a</mml:mi><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>n</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>a</mml:mi></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x00A0;</mml:mtext><mml:mi>i</mml:mi><mml:mi>s</mml:mi><mml:mtext>&#x00A0;</mml:mtext><mml:mi>R</mml:mi><mml:mi>u</mml:mi><mml:mi>s</mml:mi><mml:mi>s</mml:mi><mml:mi>i</mml:mi><mml:mi>a</mml:mi><mml:mi>n</mml:mi></mml:mrow></mml:mfenced><mml:mtext>&#x00A0;is&#x00A0;false&#x00A0;w</mml:mtext><mml:mtext>.r</mml:mtext><mml:mtext>.t</mml:mtext><mml:mtext>.</mml:mtext><mml:mo>&#x003C;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo><mml:mtext>&#x00A0;iff</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mi>F</mml:mi><mml:mi>a</mml:mi></mml:msub><mml:mfenced><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna&#x00A0;Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x00A0;is&#x00A0;Russian</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mfenced close="}" open="{"><mml:mrow><mml:mo>&#x003C;</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo></mml:mrow></mml:mfenced><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>*</mml:mo></mml:msup></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mtext>o</mml:mtext><mml:mo>.</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
(24) is true relative to the actual world, <italic>w</italic>*, if and only if there is a pair in the <italic>Anna Karenina</italic> file that makes the unique Anna Karenina occupant Russian, and whose world is closer to <italic>w</italic>* than any world belonging to a pair in the file that makes the unique Anna Karenina occupant not Russian. This correctly predicts that (17) is actually true, on the metafictional reading. Clearly many nearby worlds feature Anna Karenina occupants who are Russian, and clearly many (perhaps all) of these worlds are closer to the actual world than any world with a non-Russian Anna Karenina occupant.</p>
<p>It is not crucial here whether this version of Lewis&#x2019;s Analysis 1 predicts the right truth values in all cases. Consider this dialogue:<sup><xref ref-type="fn" rid="fn52">52</xref></sup>
<list list-type="simple" id="list20">
<list-item><p>(28) Anna: [Gregor Samsa]<sub>1</sub> was turned into a cockroach.</p>
<p>Bill: No, he<sub>1</sub> was turned into a beetle.</p></list-item>
</list>
As <xref ref-type="bibr" rid="ref19">Friend (2011)</xref> notes, Kafka&#x2019;s &#x201C;The Metamorphosis&#x201D; tells us that Samsa was turned into a &#x201C;vermin&#x201D; (<italic>Ungeziefer</italic>) but does not tell us which one. As such, it is at least less clear intuitively whether Anna or Bill is right, if either of them is. Correspondingly, it is at least not intuitively clear whether what Anna said is true or false, and similarly for Bill&#x2019;s utterance.</p>
<p>If one thinks that it is impossible for any human to turn into a vermin of any kind, both utterances in (28) are false according to (25).<sup><xref ref-type="fn" rid="fn53">53</xref></sup> One may or may not be satisfied with such results. The semantics for can be amended to fit one&#x2019;s preferred theory of truth in fiction.</p>
</sec>
<sec id="sec0_4_7">
<label>4.7</label>
<title>Theoretical Uses</title>
<p>Now consider again the theoretical utterance in (18).
<list list-type="simple" id="list21">
<list-item><p>(18) Anna Karenina is a fictional character.</p></list-item>
</list>
Many agree that theoretical statements cannot be treated as metafictional.<sup><xref ref-type="fn" rid="fn54">54</xref></sup> (18) does not make the false claim that, in <italic>Anna Karenina</italic>, the heroine is a fictional character. Rather, if one thinks that fictional characters are roles, the natural way to understand (18) is along the lines of (29).
<list list-type="simple" id="list22">
<list-item><p>(29) The Anna Karenina role is a fictional character.</p></list-item>
</list>
To implement this within our framework, we follow the standard idea that <italic>The F is G</italic> presupposes that there is a unique <italic>F</italic> and asserts that the unique <italic>F</italic> is <italic>G</italic>.<sup><xref ref-type="fn" rid="fn55">55</xref></sup> So we take (18) as presupposing that there is a unique Anna Karenina role, and in turn, as asserting that this role is a fictional character.</p>
<p>How should we understand the presupposition that there is a unique Anna Karenina role? A natural idea is to see it as presupposing that there is a unique set of properties such that anyone who has all of them is an Anna Karenina occupant. To spell this out we define an operator d835dcaf that generates theoretical readings. As for metafictional cases, will operate on the same meaning of the fictional names as follows (again where <italic>n</italic> is a fictional name introduced in <italic>s</italic> with index <italic>j</italic>):
<disp-formula id="de17"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M17"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mn>30</mml:mn></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:msup><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:mi mathvariant='script'>T</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mi>F</mml:mi><mml:msub><mml:mi>n</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow> <mml:mo>]</mml:mo></mml:mrow></mml:mrow> <mml:mo>]</mml:mo></mml:mrow><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mtext>&#x00A0;iff&#x00A0;</mml:mtext><mml:mo>&#x2200;</mml:mo><mml:mrow><mml:mo>&#x2329;</mml:mo> <mml:mrow><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup></mml:mrow> <mml:mo>&#x232A;</mml:mo></mml:mrow><mml:mo>&#x2208;</mml:mo><mml:mi>c</mml:mi><mml:mo>:</mml:mo><mml:mo>&#x2203;</mml:mo><mml:mo>!</mml:mo><mml:mi>r</mml:mi><mml:mo>&#x2200;</mml:mo><mml:mrow><mml:mo>&#x2329;</mml:mo> <mml:mrow><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2033;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2033;</mml:mo></mml:msup></mml:mrow> <mml:mo>&#x232A;</mml:mo></mml:mrow><mml:mo>&#x2200;</mml:mo><mml:mi>m</mml:mi><mml:mo>:</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2033;</mml:mo></mml:msup><mml:mo stretchy='false'>(</mml:mo><mml:mi>m</mml:mi><mml:mo stretchy='false'>)</mml:mo><mml:mo>=</mml:mo><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:msup><mml:mrow></mml:mrow><mml:mo>&#x00B0;</mml:mo></mml:msup><mml:msup><mml:mi>r</mml:mi><mml:mo>&#x00B0;</mml:mo></mml:msup></mml:mrow> <mml:mo>]</mml:mo></mml:mrow><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2033;</mml:mo></mml:msup><mml:mtext>&#x00A0;iff&#x00A0;</mml:mtext><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2034;</mml:mo></mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:mi>m</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:msup><mml:mrow></mml:mrow><mml:mo>&#x00B0;</mml:mo></mml:msup><mml:msubsup><mml:mi>j</mml:mi><mml:mi>s</mml:mi><mml:mo>&#x00B0;</mml:mo></mml:msubsup></mml:mrow> <mml:mo>]</mml:mo></mml:mrow><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2033;</mml:mo></mml:msup><mml:mo>.</mml:mo></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mtext>If</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:mi mathvariant='script'>T</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mi>F</mml:mi><mml:mi>n</mml:mi><mml:mi>i</mml:mi></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow> <mml:mo>]</mml:mo></mml:mrow></mml:mrow> <mml:mo>]</mml:mo></mml:mrow><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mo>,</mml:mo><mml:mtext>&#x2009;</mml:mtext><mml:mtext>then</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:mi mathvariant='script'>T</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mi>F</mml:mi><mml:mi>n</mml:mi><mml:mi>i</mml:mi></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow> <mml:mo>]</mml:mo></mml:mrow></mml:mrow> <mml:mo>]</mml:mo></mml:mrow><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mtext>&#x2009;</mml:mtext><mml:mtext>iff</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mi>u</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>F</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>in</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mi>w</mml:mi><mml:mo>.</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mtext>And</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>o</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>otherwise</mml:mtext><mml:mo>.</mml:mo></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
As always, it is easiest to see how this works by examples. Here is the instance of (30) for (18):
<disp-formula id="de19"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M19"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mfenced><mml:mrow><mml:mn>31</mml:mn></mml:mrow></mml:mfenced><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mi mathvariant='script'>T</mml:mi><mml:mfenced><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna&#x00A0;Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x00A0;is&#x00A0;a&#x00A0;fictional&#x00A0;character</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mtext>&#x00A0;iff&#x00A0;</mml:mtext><mml:mo>&#x2200;</mml:mo><mml:mo>.</mml:mo><mml:mo>&#x003C;</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo><mml:mo>&#x2208;</mml:mo><mml:mi>c</mml:mi><mml:mo>:</mml:mo></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mo>&#x2203;</mml:mo><mml:mo>!</mml:mo><mml:mi>r</mml:mi><mml:mo>&#x2200;</mml:mo><mml:mo>.</mml:mo><mml:mo>&#x003C;</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mo>&#x003E;</mml:mo><mml:mo>&#x2200;</mml:mo><mml:mi>m</mml:mi><mml:mo>:</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mfenced><mml:mi>m</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mfenced close="]" open="["><mml:mrow><mml:mo>&#x00B0;</mml:mo><mml:mi>r</mml:mi><mml:mo>&#x00B0;</mml:mo></mml:mrow></mml:mfenced><mml:msup><mml:mi>w</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mtext>&#x00A0;iff&#x00A0;</mml:mtext><mml:msup><mml:mi>g</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mfenced><mml:mi>m</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mfenced close="]" open="["><mml:mrow><mml:msup><mml:mrow></mml:mrow><mml:mo>&#x00B0;</mml:mo></mml:msup><mml:msubsup><mml:mrow><mml:mn>65</mml:mn></mml:mrow><mml:mi>a</mml:mi><mml:mo>&#x00B0;</mml:mo></mml:msubsup></mml:mrow></mml:mfenced><mml:msup><mml:mi>w</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mtext>.</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mtext>If</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mi mathvariant='script'>T</mml:mi><mml:mfenced><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna&#x00A0;Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>a</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>fictional</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>character</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mo>,</mml:mo><mml:mtext>&#x2009;</mml:mtext><mml:mtext>then</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mi mathvariant='script'>T</mml:mi><mml:mfenced><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>a</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>fictional</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>character</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mtext>&#x2009;</mml:mtext><mml:mtext>iff</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mi>&#x03B9;</mml:mi><mml:mi>r</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mtext>is</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>a</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>fictional</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>character</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>in</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mi>w</mml:mi><mml:mo>.</mml:mo><mml:mfenced><mml:mrow><mml:mtext>And</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>o</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>otherwise</mml:mtext><mml:mo>.</mml:mo></mml:mrow></mml:mfenced></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
This means that (18) presupposes that there is a unique role <italic>r</italic> such that, necessarily, someone has all the <italic>r</italic> properties if and only if they have all the Anna Karenina properties.<sup><xref ref-type="fn" rid="fn56">56</xref></sup> That is, necessarily, someone is an <italic>r</italic> occupant if and only if they are an Anna Karenina occupant. If this presupposition is satisfied (or accommodated), (18) says that <italic>r</italic> is a fictional character in the actual world. So we have analyzed (18) as (29).</p>
<p>This kind of treatment also provides satisfactory ways of understanding cases like (32) and (33).
<list list-type="simple" id="list23">
<list-item><p>(32) [Oprah Winfrey]<sub>1</sub> admires [Anna Karenina]<sub>2</sub>.</p></list-item>
<list-item><p>(33) [Anna Karenina]<sub>1</sub> was created by Tolstoy<sub>2</sub>.</p></list-item>
</list>
(32) is the ordinary kind of statement we routinely make about people&#x2019;s affections for a fictional character, and (33) exemplifies equally familiar claims concerning the origin of a character.<sup><xref ref-type="fn" rid="fn57">57</xref></sup></p>
<p>(32) will be analyzed as follows (given the obvious extension of (30) to two-place predicates):
<disp-formula id="de20"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M20"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mfenced><mml:mrow><mml:mn>34</mml:mn></mml:mrow></mml:mfenced><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mi mathvariant='script'>T</mml:mi><mml:mfenced><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Oprah&#x00A0;Winfrey</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>&#x00A0;admires&#x00A0;</mml:mtext><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Anna&#x00A0;Karenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>s</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mtext>&#x00A0;iff&#x00A0;</mml:mtext><mml:mo>&#x2200;</mml:mo><mml:mo>&#x003C;</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo><mml:mo>&#x2208;</mml:mo><mml:mi>c</mml:mi><mml:mo>:</mml:mo><mml:mo>&#x2203;</mml:mo><mml:mo>!</mml:mo><mml:mi>r</mml:mi><mml:mo>&#x2200;</mml:mo><mml:mo>&#x003C;</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mo>&#x003E;</mml:mo><mml:mo>&#x2200;</mml:mo><mml:mi>m</mml:mi><mml:mo>:</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mfenced><mml:mi>m</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mfenced close="]" open="["><mml:mrow><mml:mo>&#x00B0;</mml:mo><mml:mi>r</mml:mi><mml:mo>&#x00B0;</mml:mo></mml:mrow></mml:mfenced><mml:msup><mml:mi>w</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mtext>&#x00A0;iff</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mi>g</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mfenced><mml:mi>m</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mfenced close="]" open="["><mml:mrow><mml:msup><mml:mrow></mml:mrow><mml:mo>&#x00B0;</mml:mo></mml:msup><mml:msub><mml:mrow><mml:mn>65</mml:mn></mml:mrow><mml:mi>a</mml:mi></mml:msub><mml:msup><mml:mrow></mml:mrow><mml:mo>&#x00B0;</mml:mo></mml:msup></mml:mrow></mml:mfenced><mml:mi>w</mml:mi><mml:msup><mml:mi>w</mml:mi><mml:mrow><mml:mo>&#x2032;</mml:mo><mml:mo>&#x2032;</mml:mo></mml:mrow></mml:msup><mml:mo>.</mml:mo></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mtext>If</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mi mathvariant='script'>T</mml:mi><mml:msub><mml:mrow><mml:mfenced close="" open="("><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Oprah&#x00A0;Winfrey</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>admires</mml:mtext><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>AnnaKarenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mo>,</mml:mo><mml:mtext>&#x2009;</mml:mtext><mml:mtext>then</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mi mathvariant='script'>T</mml:mi><mml:mfenced close="" open="("><mml:mrow><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>Oprah&#x00A0;Winfrey</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>1</mml:mn></mml:msub><mml:mtext>admires</mml:mtext><mml:msub><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:mtext>AnnaKarenina</mml:mtext></mml:mrow></mml:mfenced></mml:mrow><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>q</mml:mi><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mtext>&#x2009;</mml:mtext><mml:mtext>iff</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>Oprah</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>Winfrey</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>admires</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mi mathvariant='script'>l</mml:mi><mml:mi>r</mml:mi><mml:mtext>&#x2009;</mml:mtext><mml:mtext>in</mml:mtext><mml:mtext>&#x200A;</mml:mtext><mml:mi>w</mml:mi><mml:mo>.</mml:mo><mml:mfenced><mml:mrow><mml:mtext>And</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>o</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>otherwise</mml:mtext><mml:mo>.</mml:mo></mml:mrow></mml:mfenced></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
In other words, we understand (32), roughly, as &#x201C;Oprah Winfrey admires the Anna Karenina role&#x201D;, which for the role theorist is to say that Oprah Winfrey admires the fictional character Anna Karenina. Similarly, we will treat (33) as the claim that the Anna Karenina role was created by Tolstoy, analogously to the semantics in (34).</p>
</sec>
</sec>
<sec id="sec0_5">
<label>5</label>
<title>The Semantics and Metasemantics of Co-Identification</title>
<p>In the last two sections I laid out the semantics for fictional names I favor. In this section I show how this account bears out the name-centric metasemantics defended in <xref ref-type="sec" rid="sec0_2">Section 2</xref> by demonstrating its implications for identification and co-identification, and for cases of identification shift and non-authorial information.</p>
<sec id="sec0_5_1">
<label>5.1</label>
<title>Originating and Non-Originating Uses</title>
<p>In virtue of what does &#x201C;Anna Karenina&#x201D; mean what it does? I have endorsed the name-centric metasemantics according to which users of names defer to earlier speakers by intending to use the name with the same meaning, reaching back to an originating name-introduction.</p>
<p>The account of fictional names proposed here directly implements this metasemantic view. First, by treating originating uses as fictive utterances introducing discourse referents, and by the same token, roles. Second, by treating fictional names, on non-originating uses, as having the same semantic meaning as on originating uses. Below I offer some remarks on each of these points in turn.</p>
<p>For the name-centric, name-origination can be successful even if no individual is baptized. There are several dimensions of such an event, including the speaker&#x2019;s intentions and authority.<sup><xref ref-type="fn" rid="fn58">58</xref></sup> From a linguistic point of view, the dynamic picture provides a compelling analysis of origination in this sense. Consider an example discussed by Sainsbury:
<disp-quote id="quote12">
<p>Take a case of error, Leverrier&#x2019;s introduction of &#x201C;Vulcan&#x201D;. The originating episode perhaps started with a false quantified thought on the lines &#x201C;There must be <italic>another body</italic> there affecting the orbit of Mercury&#x201D;. This can sustain a grammatically singular thought, involving a definite having no bearer: &#x201C;Let&#x2019;s call it Vulcan&#x201D;. (<xref ref-type="bibr" rid="ref59">Sainsbury, 2015</xref>, 200)</p>
</disp-quote>
This is a paradigm case of discourse reference.<sup><xref ref-type="fn" rid="fn59">59</xref></sup> The indefinite &#x201C;another body&#x201D; introduces a discourse referent, call it <italic>j</italic>, which is picked up anaphorically by the pronoun:
<list list-type="simple" id="list24">
<list-item><p>(35) There must be [another body]<italic>j</italic> there affecting the orbit of Mercury. Let&#x2019;s call it<italic>j</italic> &#x201C;Vulcan&#x201D;.</p></list-item>
</list>
Consequently, there is a Vulcan card in the file for this discourse recording information like &#x201C;affects the orbit of Mercury&#x201D;, &#x201C;is called &#x2018;Vulcan&#x2019;&#x201D;, and so on.<sup><xref ref-type="fn" rid="fn60">60</xref></sup> Similarly, for fictional names, originating uses are fictive utterances introducing discourse referents. Sometimes a discourse referent is introduced first and the name added to the relevant card later, analogously to (35). This happens in (36):
<disp-quote id="quote13">
<p>(36) Once upon a time there was a rich man who lived happily with his wife for a long time, and they had [one little girl]<italic>j</italic> together. [&#x2026;] Since she<italic>j</italic> always rummaged in dust and looked dirty, they named her<italic>j</italic> &#x201C;Cinderella&#x201D;. (&#x201C;Cinderella&#x201D; in <xref ref-type="bibr" rid="ref25">Grimm &#x0026; Grimm, 2014</xref>)</p>
</disp-quote>
Sometimes the name occurs first, itself introducing the discourse referent, as in (37), the first sentence of <italic>Alice&#x2019;s Adventures in Wonderland</italic>.
<list list-type="simple" id="list25">
<list-item><p>(37) Alice<italic>j</italic> was beginning to get very tired of sitting by her<italic>j</italic> sister on the bank, and of having nothing to do [&#x2026;]. (<xref ref-type="bibr" rid="ref3">Carroll, 1998</xref> <xref ref-type="bibr" rid="ref3">[1865]</xref>)</p></list-item>
</list>
Sometimes introduction proceeds by other means.</p>
<p>A fictional name is originated when the name is associated with a discourse referent by a fictive utterance used to tell a fictional story &#x2014; either by the name itself introducing the discourse referent, or the name being attached to a previously introduced discourse referent, or in some other way. As demonstrated in <xref ref-type="sec" rid="sec0_4_4">4.4</xref>, our theory explains such originating uses of fictional names in terms of their semantics involving a role that gets fleshed out through accommodation and updating as the story progresses. In turn, the difference between fictional cases and cases of error, like &#x201C;Vulcan&#x201D;, is that the latter are not introduced in fictional discourse, but in ordinary, factual discourse.</p>
<p>Further, we have seen that fictional names have the same meaning on factual, metafictional, and theoretical uses as when they occur fictively. When used metafictionally by you or me, &#x201C;Alice&#x201D; has the same meaning as it has in (37). These are non-originating uses for which the speaker deferentially intends to use the name in the way of the relevant community. Such non-originating uses are not directed at files for fictional stories, and therefore do not expand on the relevant role. Rather, they presuppose the role that was introduced by the author&#x2019;s originating act, or acts.</p>
</sec>
<sec id="sec0_5_2">
<label>5.2</label>
<title>Co-Identification</title>
<p>Our account of metafiction bears out the observation that the truth conditions of the utterances in (1) rest on (c) and (d):
<list list-type="simple" id="list26">
<list-item><p>(1) John: Anna Karenina is Polish.</p>
<p>Sue: Anna Karenina is Russian.</p></list-item>
<list-item><p>(c) &#x201C;Anna Karenina&#x201D; identifies Anna Karenina.</p></list-item>
<list-item><p>(d) <italic>Anna Karenina</italic> (the novel) portrays Anna Karenina as Russian.</p></list-item>
</list>
On this view, (c) means that &#x201C;Anna Karenina&#x201D; presupposes that its value is the unique Anna Karenina occupant. In other words, we see identification not as fictional names denoting roles, but as triggering presuppositions concerning roles determined by fictional works. John and Sue co-identify Anna Karenina in that both their uses of &#x201C;Anna Karenina&#x201D; trigger presuppositions concerning &#x25E6;65<sub><italic>a</italic></sub>&#x25E6; (again, as a dummy for the actual card in the actual file). In turn, (d) means that &#x25E6;65<sub><italic>a</italic></sub>&#x25E6; includes the property of being Russian. We thereby integrate the explanation of the truth conditions of metafictional utterances with the explanation of identification, as wanted.</p>
<p>A further issue concerns utterances of &#x201C;Anna Karenina&#x201D; by characters in the story.<sup><xref ref-type="fn" rid="fn61">61</xref></sup> Imagine that the sentence in (38) appeared in <italic>Anna Karenina</italic>.
<list list-type="simple" id="list27">
<list-item><p>(38) &#x201C;Anna, I love you&#x201D;, said Vronsky.</p></list-item>
</list>
In this scenario (38) is uttered (written) fictively by Tolstoy. At the same time, the metafictional (39) is true about this version of the novel.
<list list-type="simple" id="list28">
<list-item><p>(39) In <italic>Anna Karenina</italic>, Vronsky refers to Anna by using &#x201C;Anna&#x201D;.</p></list-item>
</list>
Many other things are true in this version of <italic>Anna Karenina</italic>, as in the actual novel. Among them, that humans have kidneys and that Moscow is east of Petersburg. Perhaps it is also true in this <italic>Anna Karenina</italic> that Vronsky&#x2019;s referring to Anna is underpinned by a chain of communication leading from his use of &#x201C;Anna&#x201D; to a baptism of Anna (within the fiction, not <italic>by</italic> the fiction). Or perhaps this <italic>Anna Karenina</italic> turns out to be a fiction in which reference works differently from how it actually works. The answer will depend on one&#x2019;s views on truth in fiction.</p>
</sec>
<sec id="sec0_5_3">
<label>5.3</label>
<title>Identification Shift and Non-Authorial Information</title>
<p>Consider again the case of Jocular Inversion. The name-centric maintains that the initial jocular speakers intend to use &#x201C;Holmes&#x201D;, the name Doyle introduced, in the way he used &#x201C;Watson&#x201D;. The next generation intend to use &#x201C;Holmes&#x201D; the way their predecessors did. Hence, &#x201C;Holmes&#x201D; in the mouths of both generations is linked with the Watson card in the original file, or files.<sup><xref ref-type="fn" rid="fn62">62</xref></sup></p>
<p>For convenience, call the Watson properties, i.e. role, &#x25E6;Watson&#x25E6;. Accordingly, the first generation&#x2019;s uses of &#x201C;Holmes&#x201D; have the meaning in (40).
<disp-formula id="de21"><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block" id="M21"><mml:mtable columnalign='left'><mml:mtr><mml:mtd><mml:mfenced><mml:mrow><mml:mn>40</mml:mn></mml:mrow></mml:mfenced><mml:mtext>&#x00A0;</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>Holmes</mml:mtext></mml:mrow><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi>c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mtext>&#x00A0;iff&#x00A0;</mml:mtext><mml:mo>&#x2200;</mml:mo><mml:mo>&#x003C;</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mo>&#x003E;</mml:mo><mml:mo>&#x2208;</mml:mo><mml:mi>c</mml:mi><mml:mo>:</mml:mo><mml:msup><mml:mi>g</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mfenced><mml:mi>i</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mfenced close="]" open="["><mml:mrow><mml:msup><mml:mrow></mml:mrow><mml:mo>&#x00B0;</mml:mo></mml:msup><mml:msup><mml:mrow><mml:mtext>Watson</mml:mtext></mml:mrow><mml:mo>&#x00B0;</mml:mo></mml:msup></mml:mrow></mml:mfenced><mml:msup><mml:mi>w</mml:mi><mml:mo>&#x2032;</mml:mo></mml:msup><mml:mtext>.</mml:mtext></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x2009;</mml:mtext><mml:mtext>&#x00A0;If</mml:mtext><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>Holmes</mml:mtext></mml:mrow><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi mathvariant="normal">c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>&#x2260;</mml:mo><mml:mo>&#x0023;</mml:mo><mml:mo>,</mml:mo><mml:msup><mml:mfenced close="]" open="["><mml:mrow><mml:mfenced close="]" open="["><mml:mrow><mml:msub><mml:mrow><mml:mtext>Holmes</mml:mtext></mml:mrow><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mrow><mml:mi mathvariant="normal">c</mml:mi><mml:mo>,</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>w</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mi>g</mml:mi><mml:mo stretchy='false'>(</mml:mo><mml:mi>i</mml:mi><mml:mo stretchy='false'>)</mml:mo><mml:mtext>.</mml:mtext></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
Given this, we predict the correct results. For example, as used meta-fictionally by the jocular speakers and their descendants, (41) is true.
<list list-type="simple" id="list29">
<list-item><p>(41) Holmes is a doctor.</p></list-item>
</list>
Since &#x201C;Holmes&#x201D; in (41) is linked to Doyle&#x2019;s use of &#x201C;Watson&#x201D;, its presuppositions concern &#x25E6;Watson&#x25E6;. Hence (41) is true. This will be the result of the account of metafiction outlined in <xref ref-type="sec" rid="sec0_4_6">4.6</xref>.</p>
<p>To illustrate further, consider (42).
<list list-type="simple" id="list30">
<list-item><p>(42) Holmes is called &#x201C;Holmes&#x201D;.</p></list-item>
</list>
There are different ways of reading (42). On a metafictional reading, it is a statement about the Holmes stories. Given that, as used by both the initial and the later jocular speakers, &#x201C;Holmes&#x201D; identifies &#x25E6;Watson&#x25E6;, we predict that this use of (42) is false. Yet (42) might be read in other ways. Arguably, there is a metalinguistic reading of (42) on which it is trivially true.</p>
<p>This account also implies that the second-generation jocular speakers will be mistaken about the truth values of certain metafictional utterances. <italic>Ex hypothesi</italic>, the second-generation speakers are not aware that the role they identify with &#x201C;Holmes&#x201D; includes the property of being called &#x201C;Watson&#x201D;, even though, in Sainsbury&#x2019;s scenario, they are aware that this role includes being a doctor. Hence, most likely, they would think that (42) is true metafictionally. Yet they are mistaken. Their uses of &#x201C;Holmes&#x201D; identify &#x25E6;Watson&#x25E6;. So the metafictional reading of (42) is false when uttered by them. Still, it is natural to think that most of what they say, metafictionally, when using &#x201C;Holmes&#x201D; will be true things, such as (41).</p>
<p>Finally, consider the case of Corrupted Flaubert, in which speakers identify Emma Bovary despite non-authorial information. Again, suppose one of these speakers says,
<list list-type="simple" id="list31">
<list-item><p>(3) Emma Bovary was a Parisian widow.</p></list-item>
</list>
As a metafictional utterance, (3) is false, regardless of what the corrupted speakers believe about Emma Bovary. Our account predicts this result. The corrupted use of &#x201C;Emma Bovary&#x201D; in (3) is linked with the discourse referent that Flaubert introduced, and the name triggers presuppositions about &#x25E6;Emma Bovary&#x25E6;, the role determined by Flau-bert&#x2019;s original text.</p>
</sec>
</sec>
</body>
<back>
<ack id="ack1">
<title>Acknowledgements</title>
<p>I am grateful to audiences at the University of Graz, Ume&#x00E5; University, and Uppsala University; to two anonymous referees and the editorial team at this journal; and to Alexander Sandgren, Anandi Hatiangadi, Eliot Michaelson, Emar Maier, Max K&#x00F6;lbel, Nils Franze&#x0301;n, and Olle Risberg for very valuable comments and suggestions on earlier versions of this paper.</p>
</ack>
<fn-group>
<fn id="fn1"><label>1</label> <p>Fictional names belong to the broader class of empty names. For brevity, I confine myself chiefly to fictional names in this paper. See <xref ref-type="sec" rid="sec0_5_1">5.1</xref> for some brief remarks on &#x201C;Vulcan&#x201D;.</p></fn>
<fn id="fn2"><label>2</label> <p><xref ref-type="bibr" rid="ref20">Friend (2014</xref>, 307).</p></fn>
<fn id="fn3"><label>3</label> <p>The role view of fictional characters has been defended by <xref ref-type="bibr" rid="ref82">Wolterstorff (1980)</xref>; <xref ref-type="bibr" rid="ref79">Tich&#x00FD; (2004</xref> <xref ref-type="bibr" rid="ref79">[1987]</xref>), (<xref ref-type="bibr" rid="ref78">1988</xref>); <xref ref-type="bibr" rid="ref8">Currie (1990)</xref>; <xref ref-type="bibr" rid="ref74">Stokke (2021)</xref>; and <xref ref-type="bibr" rid="ref24">Glavani&#x010D;ov&#x00E1; (2021)</xref>. Another predecessor of the kind of view I argue for here is <xref ref-type="bibr" rid="ref34">Kaplan (1973</xref>, 505&#x2013;508).</p></fn>
<fn id="fn4"><label>4</label> <p>This view has obvious similarities with variable approaches to names proposed by e.g. <xref ref-type="bibr" rid="ref5">Cumming (2008)</xref> and <xref ref-type="bibr" rid="ref64">Schoubye (2017)</xref>, though I apply this view only to fictional names.</p></fn>
<fn id="fn5"><label>5</label> <p>Other recent approaches to fictional discourse drawing on this tradition include <xref ref-type="bibr" rid="ref13">Eckardt (2015)</xref>, (<xref ref-type="bibr" rid="ref14">2021</xref>); <xref ref-type="bibr" rid="ref74">Stokke (2021)</xref>; <xref ref-type="bibr" rid="ref43">Maier (2017)</xref>; <xref ref-type="bibr" rid="ref44">Maier and Semeijn (2021)</xref>; and <xref ref-type="bibr" rid="ref33">Kamp (2021)</xref>. See also <xref ref-type="bibr" rid="ref6">Cumming (2014a)</xref>, (<xref ref-type="bibr" rid="ref7">2014b</xref>) for some related discussion.</p></fn>
<fn id="fn6"><label>6</label> <p>See e.g. <xref ref-type="bibr" rid="ref50">Perry (1980)</xref>; <xref ref-type="bibr" rid="ref4">Crimmins (1992)</xref>; and <xref ref-type="bibr" rid="ref54">Recanati (1993)</xref>, (<xref ref-type="bibr" rid="ref56">2012</xref>).</p></fn>
<fn id="fn7"><label>7</label> <p>In mental files frameworks, this is sometimes called the &#x201C;anchor&#x201D;. For some relevant discussion, see <xref ref-type="bibr" rid="ref56">Recanati (2012</xref>, 173&#x2013;177); <xref ref-type="bibr" rid="ref76">Terrone (2017)</xref>; <xref ref-type="bibr" rid="ref33">Kamp (2021)</xref>.</p></fn>
<fn id="fn8"><label>8</label> <p>Friend here says &#x201C;no dominant source&#x201D;, but it is clear from the rest of her discussion that she thinks there is no source at all for fictional names.</p></fn>
<fn id="fn9"><label>9</label> <p><xref ref-type="bibr" rid="ref20">Friend (2014)</xref> cites <xref ref-type="bibr" rid="ref10">Dickie (2011)</xref> for this distinction.</p></fn>
<fn id="fn10"><label>10</label> <p><xref ref-type="bibr" rid="ref20">Friend (2014</xref>, 324).</p></fn>
<fn id="fn11"><label>11</label> <p>Loc. cit.</p></fn>
<fn id="fn12"><label>12</label> <p>Loc. cit.</p></fn>
<fn id="fn13"><label>13</label> <p>For referential names, a producer, roughly, is someone who is acquainted with the referent. On this, see <xref ref-type="bibr" rid="ref16">Evans (1982</xref>, 382&#x2013;383) and <xref ref-type="bibr" rid="ref10">Dickie (2011</xref>, 51&#x2013;52). Dickie&#x2019;s own solution is to impose constraints on participating consumers that their uses be &#x201C;governed&#x201D; by a relevant range of ways the referent might behave. This solution is not transposable to empty names, at least without further argument. I refrain from discussing it here.</p></fn>
<fn id="fn14"><label>14</label> <p><xref ref-type="bibr" rid="ref38">Kripke (1980</xref>, 93).</p></fn>
<fn id="fn15"><label>15</label> <p>See <xref ref-type="bibr" rid="ref59">Sainsbury (2015</xref>, 200).</p></fn>
<fn id="fn16"><label>16</label> <p><xref ref-type="bibr" rid="ref59">Sainsbury (2015</xref>, 205).</p></fn>
<fn id="fn17"><label>17</label> <p>See also <xref ref-type="bibr" rid="ref16">Evans (1982</xref>, 388&#x2013;391).</p></fn>
<fn id="fn18"><label>18</label> <p>A related view of reference shift cases is found in <xref ref-type="bibr" rid="ref9">Devitt (1981)</xref>. Another name-centric approach to reference shift has recently been developed by <xref ref-type="bibr" rid="ref47">Michaelson (2022)</xref>.</p></fn>
<fn id="fn19"><label>19</label> <p><xref ref-type="bibr" rid="ref59">Sainsbury (2015</xref>, 209).</p></fn>
<fn id="fn20"><label>20</label> <p>Loc. cit.</p></fn>
<fn id="fn21"><label>21</label> <p>Here we use &#x201C;metasemantics&#x201D; in the original sense from <xref ref-type="bibr" rid="ref35">Kaplan (1989)</xref>, and not in the more recent sense of the word found in, e.g, <xref ref-type="bibr" rid="ref23">Glanzberg (2007)</xref>; <xref ref-type="bibr" rid="ref37">King (2014)</xref>; and others. These writers use the term to mean a theory of how values of context-sensitive parameters are fixed on an occasion of use. Metasemantics, in Kaplan&#x2019;s sense, corresponds to what <xref ref-type="bibr" rid="ref70">Stalnaker (2003</xref> <xref ref-type="bibr" rid="ref70">[1997]</xref>) called &#x201C;foundational semantics&#x201D;, that is, a theory of why words mean what they do.</p></fn>
<fn id="fn22"><label>22</label> <p>The role view of fictional characters has been defended by <xref ref-type="bibr" rid="ref82">Wolterstorff (1980)</xref>; <xref ref-type="bibr" rid="ref79">Tich&#x00FD; (2004</xref> <xref ref-type="bibr" rid="ref79">[1987]</xref>), (<xref ref-type="bibr" rid="ref78">1988</xref>); <xref ref-type="bibr" rid="ref8">Currie (1990)</xref>; <xref ref-type="bibr" rid="ref74">Stokke (2021)</xref>; and <xref ref-type="bibr" rid="ref24">Glavani&#x010D;ov&#x00E1; (2021)</xref>. Another predecessor of the general view I argue for here is <xref ref-type="bibr" rid="ref34">Kaplan (1973</xref>, 505&#x2013;508).</p></fn>
<fn id="fn23"><label>23</label> <p>It is consistent with what I argue here to simply take roles - that is, sets of properties determined by fictional works - to be involved in the semantics of fictional names and remain neutral as to whether such roles should metaphysically be identified with fictional characters.</p></fn>
<fn id="fn24"><label>24</label> <p>Realism about fictional characters has been defended by <xref ref-type="bibr" rid="ref40">Kripke (2013</xref> <xref ref-type="bibr" rid="ref34">[1973]</xref>), (<xref ref-type="bibr" rid="ref39">2011</xref>); <xref ref-type="bibr" rid="ref80">van Inwagen (1977)</xref>; <xref ref-type="bibr" rid="ref31">Howell (1979)</xref>; <xref ref-type="bibr" rid="ref81">Wolterstorff (1979)</xref>; <xref ref-type="bibr" rid="ref48">Parsons (1980)</xref>, (<xref ref-type="bibr" rid="ref49">1982</xref>); <xref ref-type="bibr" rid="ref42">Lewis (1986)</xref>; <xref ref-type="bibr" rid="ref8">Currie (1990)</xref>; <xref ref-type="bibr" rid="ref60">Salmon (1998)</xref>; <xref ref-type="bibr" rid="ref77">Thomasson (1999)</xref>; <xref ref-type="bibr" rid="ref65">von Solodkoff (2014)</xref>, and many others. Anti-realists include <xref ref-type="bibr" rid="ref41">Lewis (1983</xref> [<xref ref-type="bibr" rid="ref41">1978</xref>]); <xref ref-type="bibr" rid="ref2">Brock (2002)</xref>; <xref ref-type="bibr" rid="ref17">Everett (2013)</xref>; <xref ref-type="bibr" rid="ref43">Maier (2017)</xref>, and more. For a useful overview realism vs. anti-realism in relation to fictional names, see <xref ref-type="bibr" rid="ref22">Garc&#x00ED;a-Carpintero (2019)</xref>.</p></fn>
<fn id="fn25"><label>25</label> <p>Views of this kind have been defended by, e.g., <xref ref-type="bibr" rid="ref48">Parsons (1980)</xref>, (<xref ref-type="bibr" rid="ref49">1982</xref>); <xref ref-type="bibr" rid="ref81">Wolterstorff (1979)</xref>; and <xref ref-type="bibr" rid="ref53">Priest (2005)</xref> It is debatable how extant theories of this stripe relate to <xref ref-type="bibr" rid="ref46">Meinong&#x2019;s (1960</xref> [<xref ref-type="bibr" rid="ref46">1904</xref>]) original view. On this see <xref ref-type="bibr" rid="ref80">van Inwagen (1977</xref>, 299, fn. 1).</p></fn>
<fn id="fn26"><label>26</label> <p>Sometimes this kind of view is described as making a distinction between existence and actual existence. Here I stick to the characterization in terms of being vs. existence, where by the latter I mean actual existence. Much contemporary critique of Meinongianism traces back to <xref ref-type="bibr" rid="ref80">van Inwagen (1977)</xref>.</p></fn>
<fn id="fn27"><label>27</label> <p>One view of this kind holds that fictional characters are actually existing abstract individuals. See e.g. <xref ref-type="bibr" rid="ref40">Kripke (2013</xref> [<xref ref-type="bibr" rid="ref40">1973</xref>]), (<xref ref-type="bibr" rid="ref39">2011</xref>); <xref ref-type="bibr" rid="ref80">van Inwagen (1977)</xref>; <xref ref-type="bibr" rid="ref31">Howell (1979)</xref>; and <xref ref-type="bibr" rid="ref60">Salmon (1998)</xref>.</p></fn>
<fn id="fn28"><label>28</label> <p><xref ref-type="bibr" rid="ref2">Brock (2002</xref>, 3) equally leaves this open.</p></fn>
<fn id="fn29"><label>29</label> <p>Inconsistent fictions present complications that also arise for this theory. I cannot address them here. I expect that if a solution can be found within a possible worlds framework, for instance, along the lines of impossible worlds, as in Badura and Berto (2018), or developing <xref ref-type="bibr" rid="ref41">Lewis&#x2019;s (1983</xref> [<xref ref-type="bibr" rid="ref41">1978</xref>]) &#x201C;Method of Intersection&#x201D; or &#x201C;Method of Union&#x201D;, it will be applicable to the present view.</p></fn>
<fn id="fn30"><label>30</label> <p>A well-known issue for the role theorists, raised by <xref ref-type="bibr" rid="ref40">Kripke (2013</xref> [<xref ref-type="bibr" rid="ref40">1973</xref>]), (<xref ref-type="bibr" rid="ref39">2011</xref>), concerns whether, in a scenario in which an actual individual has all the Anna Karenina properties, this individual counts as the referent of &#x201C;Anna Karenina&#x201D;, and related to what extent they can be said to be Anna Karenina. There is no space to address this problem within this paper. See <xref ref-type="bibr" rid="ref8">Currie (1990)</xref>; <xref ref-type="bibr" rid="ref74">Stokke (2021)</xref> for some replies on behalf of the role view.</p></fn>
<fn id="fn31"><label>31</label> <p>An actualist, for instance, might hold that some actually existing individuals occupy Anna Karenina in other worlds, while a possibilist might hold that there are individuals who occupy Anna Karenina at non-actual worlds and which do not actually exist.</p></fn>
<fn id="fn32"><label>32</label> <p>Creationists about fictional characters include <xref ref-type="bibr" rid="ref40">Kripke (2013</xref> [<xref ref-type="bibr" rid="ref40">1973</xref>]); <xref ref-type="bibr" rid="ref80">van Inwagen (1977)</xref>; <xref ref-type="bibr" rid="ref31">Howell (1979)</xref>; <xref ref-type="bibr" rid="ref77">Thomasson (1999)</xref>. See also <xref ref-type="bibr" rid="ref76">Terrone (2017)</xref> for discussion.</p></fn>
<fn id="fn33"><label>33</label> <p>See <xref ref-type="bibr" rid="ref2">Brock (2002)</xref>; <xref ref-type="bibr" rid="ref58">Sainsbury (2005)</xref>, <xref ref-type="bibr" rid="ref19">Friend (2011)</xref>, (<xref ref-type="bibr" rid="ref20">2014</xref>); <xref ref-type="bibr" rid="ref17">Everett (2013)</xref>; <xref ref-type="bibr" rid="ref43">Maier (2017)</xref>; and <xref ref-type="bibr" rid="ref61">Sandgren (2018)</xref> for similar comments.</p></fn>
<fn id="fn34"><label>34</label> <p>For a useful overview, see e.g. <xref ref-type="bibr" rid="ref26">Groenendijk and Stokhof (2000)</xref>.</p></fn>
<fn id="fn35"><label>35</label> <p>See <xref ref-type="bibr" rid="ref56">Recanati (2012</xref>, 173&#x2013;177) and <xref ref-type="bibr" rid="ref7">Cumming (2014b)</xref> for some discussion relevant to the project of this paper.</p></fn>
<fn id="fn36"><label>36</label> <p>Cf. e.g. <xref ref-type="bibr" rid="ref18">Fiengo and May (1994</xref>, 3&#x2013;4) and <xref ref-type="bibr" rid="ref28">Heim (2002</xref> <xref ref-type="bibr" rid="ref28">[1983]a</xref>, 229).</p></fn>
<fn id="fn37"><label>37</label> <p>Here, as elsewhere, I index some of the relevant terms leaving out others for simplicity.</p></fn>
<fn id="fn38"><label>38</label> <p>It is consistent with my view to hold that only a subset of the information associated with a discourse referent by a work comprises the corresponding role.</p></fn>
<fn id="fn39"><label>39</label> <p>See e.g. <xref ref-type="bibr" rid="ref28">Heim (2002</xref> <xref ref-type="bibr" rid="ref29">[1983]b</xref>, 253). Cf. <xref ref-type="bibr" rid="ref32">Kamp (2002</xref> [<xref ref-type="bibr" rid="ref32">1981</xref>], 190). There are problems with this part of the program having to do with, on the one hand, predictions concerning truth-values, and on the other hand, explanatory power in relation to the way the theory posits meanings for operators like &#x201C;and&#x201D;. For some relevant discussion, see <xref ref-type="bibr" rid="ref66">Stalnaker (1999)</xref>, (<xref ref-type="bibr" rid="ref69">1999</xref> [<xref ref-type="bibr" rid="ref69">1998</xref>]); <xref ref-type="bibr" rid="ref62">Schlenker (2008a)</xref>; <xref ref-type="bibr" rid="ref71">Stokke (2012)</xref>, (<xref ref-type="bibr" rid="ref72">2013</xref>); and <xref ref-type="bibr" rid="ref45">Mandelkern (in press)</xref>.</p></fn>
<fn id="fn40"><label>40</label> <p>On this role of common ground, see especially <xref ref-type="bibr" rid="ref66">Stalnaker (1999</xref> [<xref ref-type="bibr" rid="ref69">1998</xref>]).</p></fn>
<fn id="fn41"><label>41</label> <p>The basic idea of defining truth in this way was proposed by <xref ref-type="bibr" rid="ref27">Heim (1982</xref>, 330). <xref ref-type="bibr" rid="ref71">Stokke (2012)</xref> discussed some problems for this view, and proposed a version of the definition in this paper, drawing on a related suggestion in <xref ref-type="bibr" rid="ref63">Schlenker (2008b)</xref>.</p></fn>
<fn id="fn42"><label>42</label> <p>This repairs the shortcoming of the definition of truth in <xref ref-type="bibr" rid="ref27">Heim (1982</xref>, 330) that were pointed out in <xref ref-type="bibr" rid="ref71">Stokke (2012)</xref>.</p></fn>
<fn id="fn43"><label>43</label> <p>As usual, we use the notation &#x2203;!<italic>x</italic> to abbreviate uniqueness. Specifically, &#x2203;!<italic>x</italic>(&#x03C6;<italic>x</italic>) =df &#x2203;<italic>x</italic>&#x2200;<italic>y</italic>(&#x03C6;<italic>y</italic> &#x2194; <italic>x</italic> = <italic>y</italic>). And so on, for cases involving more variables and predicates or relation.</p></fn>
<fn id="fn44"><label>44</label> <p>More are distinguished and discussed by <xref ref-type="bibr" rid="ref2">Brock (2002)</xref>; <xref ref-type="bibr" rid="ref17">Everett (2013)</xref>; <xref ref-type="bibr" rid="ref74">Stokke (2021)</xref>; and many others.</p></fn>
<fn id="fn45"><label>45</label> <p><xref ref-type="bibr" rid="ref8">Currie (1990</xref>, 158) calls statements like (17) &#x201C;metafictive&#x201D;. <xref ref-type="bibr" rid="ref43">Maier (2017)</xref> uses the term &#x201C;metafictional&#x201D; for statements like &#x201C;Anna Karenina doesn&#x2019;t exist&#x201D;. Others, like <xref ref-type="bibr" rid="ref2">Brock (2002)</xref>, call the latter &#x201C;existential statements&#x201D;. <xref ref-type="bibr" rid="ref55">Recanati (2000</xref>, 224), (<xref ref-type="bibr" rid="ref57">2018</xref>, 26) uses &#x201C;metafictional&#x201D; for cases like &#x201C;In the Conan Doyle stories Holmes is clever and Watson is modest&#x201D; and calls statements like (17) &#x201C;implicitly parafictional&#x201D;. Similarly, <xref ref-type="bibr" rid="ref21">Garc&#x00ED;a-Carpintero (2010)</xref> calls uses like (17) &#x201C;paratextual&#x201D;. I use the term &#x201C;metafictional&#x201D; for statements like (17), as used to talk about a particular fiction.</p></fn>
<fn id="fn46"><label>46</label> <p>Statements such as (18) are also sometimes known as <italic>external</italic> metafictional statements, concerning matters outside the fiction, whereas cases like (17) are metafictional claims <italic>internal</italic> to the relevant fiction. <xref ref-type="bibr" rid="ref2">Brock (2002)</xref> calls them &#x201C;critical&#x201D;. Somewhat arbitrarily, I will use the label &#x201C;theoretical&#x201D; in this paper.</p></fn>
<fn id="fn47"><label>47</label> <p>By contrast, <xref ref-type="bibr" rid="ref8">Currie&#x2019;s (1990)</xref> version of the role view treats fictional names having different semantics on fictional and metafictional uses, in the former case functioning as variables and in the latter as denoting definite descriptions.</p></fn>
<fn id="fn48"><label>48</label> <p>Standard dynamic theories distinguish indefinite from definite terms: the former introduce new discourse referents, while the latter presuppose the availability of salient discourse referents. See e.g. <xref ref-type="bibr" rid="ref28">Heim (2002</xref> <xref ref-type="bibr" rid="ref28">[1983]a</xref>, 227). I do not discuss this difference in this paper. I assume that first occurrences of names introduce discourse referents by accommodation. If names turn out to be more like indefinites than definites, this process may be found to be of a different category.</p></fn>
<fn id="fn49"><label>49</label> <p>Strictly speaking, the right-hand side of (21) should be &#x201C;= <italic>g</italic>(<italic>i</italic>) = Oprah Win-frey&#x201D; in order for updating to work. This will apply to non-fictional names appearing within fiction, as well. For instance, &#x201C;Napoleon&#x201D; in <italic>War and Peace</italic> denotes Napoleon. Even so, it also updates a card in the file for <italic>War and Peace</italic>. This card is about Napoleon. Formally, suppose the index for Napoleon in <italic>War and Peace</italic> is 17. Then the file will include the condition &#x201C;<italic>g</italic>(17) = Napoleon&#x201D;, so that 17 must be assigned Napoleon and hence &#x201C;Napoleon&#x201D; in <italic>War and Peace</italic> refers rigidly to Napoleon. I cannot discuss such cases further here.</p></fn>
<fn id="fn50"><label>50</label> <p>On this, see <xref ref-type="bibr" rid="ref34">Kaplan (1973</xref>, 505&#x2013;508).</p></fn>
<fn id="fn51"><label>51</label> <p>Some hold that, when used in this way, the logical form of (17) includes the operator (See <xref ref-type="bibr" rid="ref52">Predelli (2008)</xref> for a view of this kind.) Others hold that a meta-fictional use of (17) succeeds in expressing the content of (24), even though the operator is not present in the logical form of (17). <xref ref-type="bibr" rid="ref57">Recanati (2018)</xref> can be seen as endorsing this line of thought. I assume the former view, but will not defend it here. <xref ref-type="bibr" rid="ref58">Sainsbury (2005</xref>, 203) agrees that sentences like (17) can be either true or false at the actual world &#x201C;if they are seen as (implicitly) prefixed by an object language operator from the family &#x2018;According to fiction&#x2019;&#x201D;. But he does not develop an account of metafictional uses.</p></fn>
<fn id="fn52"><label>52</label> <p>Adapted from <xref ref-type="bibr" rid="ref19">Friend (2011)</xref>.</p></fn>
<fn id="fn53"><label>53</label> <p>That is, if one does not think that this is a case of vacuous truth, in which case one can build this into (25). See <xref ref-type="bibr" rid="ref41">Lewis (1983</xref> [<xref ref-type="bibr" rid="ref41">1978</xref>], 270&#x2013;273) for discussion.</p></fn>
<fn id="fn54"><label>54</label> <p>See e.g. <xref ref-type="bibr" rid="ref41">Lewis (1983</xref> [<xref ref-type="bibr" rid="ref41">1978</xref>]); <xref ref-type="bibr" rid="ref77">Thomasson (1999</xref>, 99&#x2013;100); <xref ref-type="bibr" rid="ref2">Brock (2002)</xref>; and <xref ref-type="bibr" rid="ref58">Sainsbury (2005</xref>, 207&#x2013;209). Some have suggested metafictional paraphrase strategies, but it is unclear whether these succeed and how they can be motivated. I will not discuss these here. See <xref ref-type="bibr" rid="ref77">Thomasson (1999)</xref> and <xref ref-type="bibr" rid="ref2">Brock (2002)</xref>.</p></fn>
<fn id="fn55"><label>55</label> <p>See <xref ref-type="bibr" rid="ref30">Heim and Kratzer (1998</xref>, 73).</p></fn>
<fn id="fn56"><label>56</label> <p>As per (30), (31) speaks of whether &#x03B9;<italic>r</italic> is a fictional character at some world, <italic>w</italic>. As an instance, then, we would need to ask whether e.g. the Anna Karenina role is a fictional character in the actual world. Note that this does not mean that we need to take a stand on the issue mentioned earlier, that is, whether the Anna Karenina role exists at the actual world. Even if one thinks it does not, we should be familiar with the idea that statements may be true or false at worlds about things that do not exist there. Similarly, the presuppositional part of these clauses speak of whether, in <italic>w</italic> there is a unique role <italic>r</italic> that fulfils certain conditions. This is merely a way of formalizing the idea of it being presupposed that there is a role of the relevant kind, and can be modified if one thinks it overly ontologically committing.</p></fn>
<fn id="fn57"><label>57</label> <p>We are using (33) as an example of a statement that might occur in ordinary conversations, and not as a philosophical claim concerning creationism <italic>qua</italic> metaphysical view of fictional characters. It is obvious that ordinary speakers often say things like (33) without having in mind any philosophical view of this kind.</p></fn>
<fn id="fn58"><label>58</label> <p>See <xref ref-type="bibr" rid="ref59">Sainsbury (2015</xref>, 199&#x2013;202).</p></fn>
<fn id="fn59"><label>59</label> <p>Sainsbury frames the example of &#x201C;Vulcan&#x201D; in terms of thought rather than utterances. For fictional names, I take origination to be utterances. But my view is compatible with taking fictional characters to be first introduced in thought by authors, given the plausible assumption that one can make utterances about a discourse referent that one has previously introduced in thought. For relevant discussion, see <xref ref-type="bibr" rid="ref43">Maier (2017)</xref> and <xref ref-type="bibr" rid="ref33">Kamp (2021)</xref>.</p></fn>
<fn id="fn60"><label>60</label> <p>I take the semantics of non-fictional empty names to be parallel to that given in this paper for fictional names, the central difference being their origination. I refrain from going into details here for lack of space.</p></fn>
<fn id="fn61"><label>61</label> <p>Thanks to an anonymous reviewer for bringing this up.</p></fn>
<fn id="fn62"><label>62</label> <p>In cases like this, with more than one work, later appearances of characters are plausibly themselves linked with earlier uses. That is, occurrences of &#x201C;Watson&#x201D; in later stories are linked ultimately with the first occurrence in <italic>A Study in Scarlet</italic> where Holmes and Watson were first introduced.</p></fn>
</fn-group>
<ref-list>
<title>References</title>
<ref id="ref1"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Badura</surname>, <given-names>C.</given-names></string-name>, &#x0026; <string-name><surname>Berto</surname>, <given-names>F.</given-names></string-name></person-group> (<year>2019</year>). <article-title>Truth in fiction, impossible worlds, and belief revision</article-title>. <source>Australasian Journal of Philosophy</source>, <volume>97</volume>(<issue>1</issue>), <fpage>178</fpage>&#x2013;<lpage>193</lpage>.</mixed-citation></ref>
<ref id="ref2"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Brock</surname>, <given-names>S.</given-names></string-name></person-group> (<year>2002</year>). <article-title>Fictionalism about fictional characters</article-title>. <source>Nou&#x0302;s</source>, <volume>36</volume>(<issue>1</issue>), <fpage>1</fpage>&#x2013;<lpage>21</lpage>.</mixed-citation></ref>
<ref id="ref3"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Carroll</surname>, <given-names>L.</given-names></string-name></person-group> (<year>1998</year> [<year>1865</year>]). <source>Alice&#x2019;s adventures in wonderland</source>. <publisher-loc>London</publisher-loc>: <publisher-name>Penguin</publisher-name>.</mixed-citation></ref>
<ref id="ref4"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Crimmins</surname>, <given-names>M.</given-names></string-name></person-group> (<year>1992</year>). <source>Talk about belief</source>. <publisher-loc>Cambridge, MA</publisher-loc>: <publisher-name>MIT Press</publisher-name>.</mixed-citation></ref>
<ref id="ref5"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Cumming</surname>, <given-names>S.</given-names></string-name></person-group> (<year>2008</year>). <article-title>Variabilism</article-title>. <source>The Philosophical Review</source>, <volume>117</volume>, <fpage>525</fpage>&#x2013;<lpage>554</lpage>.</mixed-citation></ref>
<ref id="ref6"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Cumming</surname>, <given-names>S.</given-names></string-name></person-group> (<year>2014</year>a). <article-title>Creatures of darkness</article-title>. <source>Analytic Philosophy</source>, <volume>54</volume>(<issue>4</issue>), <fpage>379</fpage>&#x2013;<lpage>400</lpage>.</mixed-citation></ref>
<ref id="ref7"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Cumming</surname>, <given-names>S.</given-names></string-name></person-group> (<year>2014</year>b). <chapter-title>Discourse content</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>A.</given-names> <surname>Burgess</surname></string-name> &#x0026; <string-name><given-names>B.</given-names> <surname>Sherman</surname></string-name></person-group> (Eds.), <source>Metasemantics: New essays on the foundations of meaning</source> (pp. <fpage>214</fpage>&#x2013;<lpage>230</lpage>). <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref8"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Currie</surname>, <given-names>G.</given-names></string-name></person-group> (<year>1990</year>). <source>The nature of fiction</source>. <publisher-loc>Cambridge and New York</publisher-loc>: <publisher-name>Cambridge University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref9"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Devitt</surname>, <given-names>M.</given-names></string-name></person-group> (<year>1981</year>). <source>Designation</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Columbia University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref10"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Dickie</surname>, <given-names>I.</given-names></string-name></person-group> (<year>2011</year>). <article-title>How proper names refer</article-title>. <source>Proceedings of the Aristotelian Society</source>, <volume>111</volume>, <fpage>43</fpage>&#x2013;<lpage>78</lpage>.</mixed-citation></ref>
<ref id="ref11"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Donnellan</surname>, <given-names>K.</given-names></string-name></person-group> (<year>1974</year>). <article-title>Speaking of nothing</article-title>. <source>Philosophical Review</source>, <volume>83</volume>, <fpage>3</fpage>&#x2013;<lpage>32</lpage>.</mixed-citation></ref>
<ref id="ref12"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Dostoyevsky</surname>, <given-names>F.</given-names></string-name></person-group> (<year>2003</year> [<year>1880</year>]). <source>The brothers Karamazov</source>. <publisher-loc>London</publisher-loc>: <publisher-name>Penguin</publisher-name>.</mixed-citation></ref>
<ref id="ref13"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Eckardt</surname>, <given-names>R.</given-names></string-name></person-group> (<year>2015</year>). <source>The semantics of free indirect discourse: How texts allow us to mindread and eavesdrop</source>. <publisher-loc>Leiden and Boston</publisher-loc>: <publisher-name>Brill</publisher-name>.</mixed-citation></ref>
<ref id="ref14"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Eckardt</surname>, <given-names>R.</given-names></string-name></person-group> (<year>2021</year>). <chapter-title>In search of the narrator</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>E.</given-names> <surname>Maier</surname></string-name> &#x0026; <string-name><given-names>A.</given-names> <surname>Stokke</surname></string-name></person-group> (Eds.), <source>The language of fiction</source>. <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref15"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Evans</surname>, <given-names>G.</given-names></string-name></person-group> (<year>1973</year>). <article-title>The causal theory of names</article-title>. <source>Proceedings of the Aristotelian Society Supplementary Volume</source>, <volume>47</volume>, <fpage>187</fpage>&#x2013;<lpage>225</lpage>.</mixed-citation></ref>
<ref id="ref16"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Evans</surname>, <given-names>G.</given-names></string-name></person-group> (<year>1982</year>). <source>The varieties of reference</source> (<person-group person-group-type="editor"><string-name><given-names>J.</given-names> <surname>McDowell</surname></string-name></person-group>, Ed.). <publisher-loc>Oxford</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref17"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Everett</surname>, <given-names>A.</given-names></string-name></person-group> (<year>2013</year>). <source>The nonexistent</source>. <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref18"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Fiengo</surname>, <given-names>R.</given-names></string-name>, &#x0026; <string-name><surname>May</surname>, <given-names>R.</given-names></string-name></person-group> (<year>1994</year>). <source>Indices and identity</source>. <publisher-loc>Cambridge, MA</publisher-loc>: <publisher-name>MIT Press</publisher-name>.</mixed-citation></ref>
<ref id="ref19"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Friend</surname>, <given-names>S.</given-names></string-name></person-group> (<year>2011</year>). <article-title>The great beetle debate: A study in imagining with names</article-title>. <source>Philosophical Studies</source>, <volume>153</volume>(<issue>2</issue>), <fpage>183</fpage>&#x2013;<lpage>211</lpage>.</mixed-citation></ref>
<ref id="ref20"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Friend</surname>, <given-names>S.</given-names></string-name></person-group> (<year>2014</year>). <chapter-title>Notions of nothing</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>M.</given-names> <surname>Garc&#x00ED;a-Carpintero</surname></string-name> &#x0026; <string-name><given-names>G.</given-names> <surname>Mart&#x00ED;</surname></string-name></person-group> (Eds.), <source>Empty representations</source> (pp. <fpage>307</fpage>&#x2013;<lpage>333</lpage>). <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref21"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Garc&#x00ED;a-Carpintero</surname>, <given-names>M.</given-names></string-name></person-group> (<year>2010</year>). <chapter-title>Singular fictional imaginings</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>R.</given-names> <surname>Jeshion</surname></string-name></person-group> (Ed.), <source>New essays on singular thought</source> (pp. <fpage>273</fpage>&#x2013;<lpage>299</lpage>). <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref22"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Garc&#x00ED;a-Carpintero</surname>, <given-names>M.</given-names></string-name></person-group> (<year>2019</year>). <article-title>Semantics of fictional terms</article-title>. <source>Teorema</source>, <volume>38</volume>(<issue>2</issue>), <fpage>73</fpage>&#x2013;<lpage>100</lpage>.</mixed-citation></ref>
<ref id="ref23"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Glanzberg</surname>, <given-names>M.</given-names></string-name></person-group> (<year>2007</year>). <article-title>Context, content, and relativism</article-title>. <source>Philosophical Studies</source>, <volume>136</volume>, <fpage>1</fpage>&#x2013;<lpage>29</lpage>.</mixed-citation></ref>
<ref id="ref24"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Glavani&#x010D;ov&#x00E1;</surname>, <given-names>D.</given-names></string-name></person-group> (<year>2021</year>). <article-title>Rethinking role realism</article-title>. <source>British Journal of Aesthetics</source>, <volume>61</volume>(<issue>1</issue>).</mixed-citation></ref>
<ref id="ref25"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Grimm</surname>, <given-names>J.</given-names></string-name>, &#x0026; <string-name><surname>Grimm</surname>, <given-names>W.</given-names></string-name></person-group> (<year>2014</year>). <source>The original folk and fairy tales of the brothers Grimm</source> (<person-group person-group-type="editor"><string-name><given-names>J.</given-names> <surname>Zipes</surname></string-name></person-group>, Ed.). <publisher-loc>Oxford and Princeton</publisher-loc>: <publisher-name>Princeton University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref26"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Groenendijk</surname>, <given-names>J.</given-names></string-name>, &#x0026; <string-name><surname>Stokhof</surname>, <given-names>M.</given-names></string-name></person-group> (<year>2000</year>). <chapter-title>Meaning in motion</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>K.</given-names> <surname>von Heusinger</surname></string-name> &#x0026; <string-name><given-names>U.</given-names> <surname>Egli</surname></string-name></person-group> (Eds.), <source>Reference and anaphoric relations</source> (pp. <fpage>47</fpage>&#x2013;<lpage>76</lpage>). <publisher-loc>Dordrecht</publisher-loc>: <publisher-name>Kluwer</publisher-name>.</mixed-citation></ref>
<ref id="ref27"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Heim</surname>, <given-names>I.</given-names></string-name></person-group> (<year>1982</year>). <source>The semantics of definite and indefinite noun phrases in English</source>. PhD dissertation, <publisher-loc>University of Massachusetts at Amherst</publisher-loc>, <year>1982</year>. Published by <publisher-name>Garland Press</publisher-name>, <year>1988</year>.</mixed-citation></ref>
<ref id="ref28"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Heim</surname>, <given-names>I.</given-names></string-name></person-group> (<year>2002</year> [<year>1983</year>]a). <chapter-title>File change semantics and the familiarity theory of definites</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>P.</given-names> <surname>Portner</surname></string-name> &#x0026; <string-name><given-names>B. H.</given-names> <surname>Partee</surname></string-name></person-group> (Eds.), <source>Formal semantics &#x2014; the essential readings</source> (pp. <fpage>223</fpage>&#x2013;<lpage>248</lpage>). <publisher-loc>Oxford</publisher-loc>: <publisher-name>Blackwell</publisher-name>.</mixed-citation></ref>
<ref id="ref29"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Heim</surname>, <given-names>I.</given-names></string-name></person-group> (<year>2002</year> [<year>1983</year>]b). <chapter-title>On the projection problem for presuppositions</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>P.</given-names> <surname>Portner</surname></string-name> &#x0026; <string-name><given-names>B. H. P.</given-names> <surname>Partee</surname></string-name></person-group> (Eds.), <source>Formal semantics &#x2014; the essential readings</source> (pp. <fpage>249</fpage>&#x2013;<lpage>260</lpage>). <publisher-loc>Oxford</publisher-loc>: <publisher-name>Blackwell</publisher-name>.</mixed-citation></ref>
<ref id="ref30"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Heim</surname>, <given-names>I.</given-names></string-name>, &#x0026; <string-name><surname>Kratzer</surname>, <given-names>A.</given-names></string-name></person-group> (<year>1998</year>). <source>Semantics in generative grammar</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Blackwell</publisher-name>.</mixed-citation></ref>
<ref id="ref31"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Howell</surname>, <given-names>R.</given-names></string-name></person-group> (<year>1979</year>). <article-title>Fictional objects: How they are and how they aren&#x2019;t</article-title>. <source>Poetics</source>, <volume>8</volume>, <fpage>129</fpage>&#x2013;<lpage>177</lpage>.</mixed-citation></ref>
<ref id="ref32"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Kamp</surname>, <given-names>H.</given-names></string-name></person-group> (<year>2002</year> [<year>1981</year>]). <chapter-title>A theory of truth and semantic representation</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>P.</given-names> <surname>Portner</surname></string-name> &#x0026; <string-name><given-names>B. H.</given-names> <surname>Partee</surname></string-name></person-group> (Eds.), <source>Formal semantics &#x2014; the essential readings</source> (pp. <fpage>189</fpage>&#x2013;<lpage>222</lpage>). <publisher-loc>Oxford</publisher-loc>: <publisher-name>Blackwell</publisher-name>.</mixed-citation></ref>
<ref id="ref33"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Kamp</surname>, <given-names>H.</given-names></string-name></person-group> (<year>2021</year>). <chapter-title>Sharing real and fictional reference</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>A.</given-names> <surname>Stokke</surname></string-name> &#x0026; <string-name><given-names>E.</given-names> <surname>Maier</surname></string-name></person-group> (Eds.), <source>The language of fiction</source>. <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref34"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Kaplan</surname>, <given-names>D.</given-names></string-name></person-group> (<year>1973</year>). <chapter-title>Bob and Carol and Ted and Alice</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>J.</given-names> <surname>Hintikka</surname></string-name>, <string-name><given-names>J. M. E.</given-names> <surname>Moravcsik</surname></string-name>, &#x0026; <string-name><given-names>P.</given-names> <surname>Suppes</surname></string-name></person-group> (Eds.), <source>Approaches to natural language</source> (pp. <fpage>490</fpage>&#x2013;<lpage>518</lpage>). <publisher-loc>Dordrecht</publisher-loc>: <publisher-name>Reidel</publisher-name>.</mixed-citation></ref>
<ref id="ref35"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Kaplan</surname>, <given-names>D.</given-names></string-name></person-group> (<year>1989</year>). <chapter-title>Afterthoughts</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>J.</given-names> <surname>Almog</surname></string-name>, <string-name><given-names>J.</given-names> <surname>Perry</surname></string-name>, &#x0026; <string-name><given-names>H.</given-names> <surname>Wettstein</surname></string-name></person-group> (Eds.), <source>Themes from Kaplan</source> (pp. <fpage>565</fpage>&#x2013;<lpage>614</lpage>). <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref36"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Karttunen</surname>, <given-names>L.</given-names></string-name></person-group> (<year>1976</year>). <article-title>Discourse referents</article-title>. <source>Syntax and Semantics</source>, <volume>7</volume>, <fpage>363</fpage>&#x2013;<lpage>386</lpage>.</mixed-citation></ref>
<ref id="ref37"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>King</surname>, <given-names>J. C.</given-names></string-name></person-group> (<year>2014</year>). <chapter-title>The metasemantics of contextual sensitivity</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>A.</given-names> <surname>Burgess</surname></string-name> &#x0026; <string-name><given-names>B.</given-names> <surname>Sherman</surname></string-name></person-group> (Eds.), <source>Metasemantics: New essays on the foundations of meaning</source> (pp. <fpage>97</fpage>&#x2013;<lpage>118</lpage>). <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref38"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Kripke</surname>, <given-names>S.</given-names></string-name></person-group> (<year>1980</year>). <source>Naming and necessity</source>. <publisher-loc>Cambridge, MA</publisher-loc>: <publisher-name>Harvard University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref39"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Kripke</surname>, <given-names>S.</given-names></string-name></person-group> (<year>2011</year>). <chapter-title>Vacuous names and fictional entities</chapter-title>. In <source>Philosophical troubles</source> (pp. <fpage>52</fpage>&#x2013;<lpage>74</lpage>). <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref40"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Kripke</surname>, <given-names>S.</given-names></string-name></person-group> (<year>2013</year> [<year>1973</year>]). <source>Reference and existence: The John Locke lectures</source>. <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref41"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Lewis</surname>, <given-names>D.</given-names></string-name></person-group> (<year>1983</year> [<year>1978</year>]). <chapter-title>Truth in fiction</chapter-title>. In <source>Philosophical papers</source> (Vol. <volume>1</volume>, pp. <fpage>261</fpage>&#x2013;<lpage>280</lpage>). <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref42"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Lewis</surname>, <given-names>D.</given-names></string-name></person-group> (<year>1986</year>). <source>On the plurality of worlds</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Blackwell</publisher-name>.</mixed-citation></ref>
<ref id="ref43"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Maier</surname>, <given-names>E.</given-names></string-name></person-group> (<year>2017</year>). <article-title>Fictional names in pscyhologistic semantics</article-title>. <source>Theoretical Linguistics</source>, <volume>43</volume>(<issue>1</issue>&#x2013;<issue>2</issue>), <fpage>1</fpage>&#x2013;<lpage>45</lpage>.</mixed-citation></ref>
<ref id="ref44"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Maier</surname>, <given-names>E.</given-names></string-name>, &#x0026; <string-name><surname>Semeijn</surname>, <given-names>M.</given-names></string-name></person-group> (<year>2021</year>). <chapter-title>Extracting fictional truth from unreliable sources</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>E.</given-names> <surname>Maier</surname></string-name> &#x0026; <string-name><given-names>A.</given-names> <surname>Stokke</surname></string-name></person-group> (Eds.), <source>The language of fiction</source>. <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref45"><mixed-citation publication-type="other"><person-group person-group-type="author"><string-name><surname>Mandelkern</surname>, <given-names>M.</given-names></string-name></person-group> (in press). <source><italic>Witnesses.</italic> Forthcoming in <italic>Linguistics and Philosophy</italic></source>.</mixed-citation></ref>
<ref id="ref46"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Meinong</surname>, <given-names>A.</given-names></string-name></person-group> (<year>1960</year> [<year>1904</year>]). <chapter-title>On the theory of objects</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>R.</given-names> <surname>Chisholm</surname></string-name></person-group> (Ed.), <source>Realism and the background of phenomenology</source> (pp. <fpage>76</fpage>&#x2013;<lpage>117</lpage>). <publisher-name>Free Press</publisher-name>.</mixed-citation></ref>
<ref id="ref47"><mixed-citation publication-type="other"><person-group person-group-type="author"><string-name><surname>Michaelson</surname>, <given-names>E.</given-names></string-name></person-group> (<year>2022</year>). <source>The vagaries of reference</source>. ms.</mixed-citation></ref>
<ref id="ref48"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Parsons</surname>, <given-names>T.</given-names></string-name></person-group> (<year>1980</year>). <source>Nonexistent objects</source>. <publisher-loc>New Haven</publisher-loc>: <publisher-name>Yale University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref49"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Parsons</surname>, <given-names>T.</given-names></string-name></person-group> (<year>1982</year>). <article-title>Fregean theories of fictional objects</article-title>. <source>Topoi</source>, <volume>1</volume>, <fpage>81</fpage>&#x2013;<lpage>87</lpage>.</mixed-citation></ref>
<ref id="ref50"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Perry</surname>, <given-names>J.</given-names></string-name></person-group> (<year>1980</year>). <article-title>A problem about continued belief</article-title>. <source>Pacific Philosophical Quarterly</source>, <volume>61</volume>, <fpage>317</fpage>&#x2013;<lpage>332</lpage>.</mixed-citation></ref>
<ref id="ref51"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Perry</surname>, <given-names>J.</given-names></string-name></person-group> (<year>2001</year>). <source>Reference and reflexivity</source>. <publisher-loc>Stanford, CA.</publisher-loc>: <publisher-name>CSLI Publications</publisher-name>.</mixed-citation></ref>
<ref id="ref52"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Predelli</surname>, <given-names>S.</given-names></string-name></person-group> (<year>2008</year>). <article-title>Modal monsters and talk about fiction</article-title>. <source>Journal of Philosophical Logic</source>, <volume>37</volume>, <fpage>277</fpage>&#x2013;<lpage>297</lpage>.</mixed-citation></ref>
<ref id="ref53"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Priest</surname>, <given-names>G.</given-names></string-name></person-group> (<year>2005</year>). <source>Towards non-being: The logic and metaphysics of intentionality</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Clarendon Press</publisher-name>.</mixed-citation></ref>
<ref id="ref54"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Recanati</surname>, <given-names>F.</given-names></string-name></person-group> (<year>1993</year>). <source>Direct reference &#x2014; from language to thought</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Blackwell</publisher-name>.</mixed-citation></ref>
<ref id="ref55"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Recanati</surname>, <given-names>F.</given-names></string-name></person-group> (<year>2000</year>). <source>Oratio obliqua, oratio recta: An essay on metarepresentation</source>. <publisher-loc>Cambridge, MA</publisher-loc>: <publisher-name>MIT Press</publisher-name>.</mixed-citation></ref>
<ref id="ref56"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Recanati</surname>, <given-names>F.</given-names></string-name></person-group> (<year>2012</year>). <source>Mental files</source>. <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref57"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Recanati</surname>, <given-names>F.</given-names></string-name></person-group> (<year>2018</year>). <article-title>Fictional, metafictional, parafictional</article-title>. <source>Proceedings of the Aristotelian Society</source>, <volume>118</volume>, <fpage>25</fpage>&#x2013;<lpage>54</lpage>.</mixed-citation></ref>
<ref id="ref58"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Sainsbury</surname>, <given-names>M.</given-names></string-name></person-group> (<year>2005</year>). <source>Reference without referents</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Clarendon</publisher-name>.</mixed-citation></ref>
<ref id="ref59"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Sainsbury</surname>, <given-names>M.</given-names></string-name></person-group> (<year>2015</year>). <article-title>The same name</article-title>. <source>Erkenntnis</source>, <volume>80</volume>, <fpage>195</fpage>&#x2013;<lpage>214</lpage>.</mixed-citation></ref>
<ref id="ref60"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Salmon</surname>, <given-names>N.</given-names></string-name></person-group> (<year>1998</year>). <article-title>Nonexistence</article-title>. <source>Nou&#x0302;s</source>, <volume>32</volume>(<issue>3</issue>), <fpage>277</fpage>&#x2013;<lpage>319</lpage>.</mixed-citation></ref>
<ref id="ref61"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Sandgren</surname>, <given-names>A.</given-names></string-name></person-group> (<year>2018</year>). <article-title>Which witch is which?: Exotic objects and intentional identity</article-title>. <source>Synthese</source>, <volume>195</volume>, <fpage>721</fpage>&#x2013;<lpage>739</lpage>.</mixed-citation></ref>
<ref id="ref62"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Schlenker</surname>, <given-names>P.</given-names></string-name></person-group> (<year>2008</year>a). <article-title>Be articulate! A pragmatic theory of presupposition projection</article-title>. <source>Theoretical Linguistics</source>, <volume>34</volume>, <fpage>157</fpage>&#x2013;<lpage>212</lpage>.</mixed-citation></ref>
<ref id="ref63"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Schlenker</surname>, <given-names>P.</given-names></string-name></person-group> (<year>2008</year>b). <article-title>Local contexts</article-title>. <source>Semantics &#x0026; Pragmatics</source>, <volume>2</volume>, <fpage>1</fpage>&#x2013;<lpage>78</lpage>.</mixed-citation></ref>
<ref id="ref64"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Schoubye</surname>, <given-names>A.</given-names></string-name></person-group> (<year>2017</year>). <article-title>Type ambiguous names</article-title>. <source>Mind</source>, <volume>126</volume>(<issue>503</issue>), <fpage>715</fpage>&#x2013;<lpage>767</lpage>.</mixed-citation></ref>
<ref id="ref65"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>von Solodkoff</surname>, <given-names>T.</given-names></string-name></person-group> (<year>2014</year>). <chapter-title>Fictional realism and negative existentials</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>M.</given-names> <surname>Garc&#x00ED;a-Carpintero</surname></string-name> &#x0026; <string-name><given-names>G.</given-names> <surname>Mart&#x00ED;</surname></string-name></person-group> (Eds.), <source>Empty representations</source>. <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref66"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Stalnaker</surname>, <given-names>R.</given-names></string-name></person-group> (<year>1999</year>). <chapter-title>Introduction</chapter-title>. In <source>Context and content</source> (pp. <fpage>1</fpage>&#x2013;<lpage>28</lpage>). <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>, <year>1999</year>.</mixed-citation></ref>
<ref id="ref67"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Stalnaker</surname>, <given-names>R.</given-names></string-name></person-group> (<year>1999</year> [<year>1970</year>]). <chapter-title>Pragmatics</chapter-title>. In <source>Context and content</source> (pp. <fpage>31</fpage>&#x2013;<lpage>46</lpage>). <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref68"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Stalnaker</surname>, <given-names>R.</given-names></string-name></person-group> (<year>1999</year> [<year>1978</year>]). <chapter-title>Assertion</chapter-title>. In <source>Context and content</source> (pp. <fpage>78</fpage>&#x2013;<lpage>95</lpage>). <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref69"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Stalnaker</surname>, <given-names>R.</given-names></string-name></person-group> (<year>1999</year> [<year>1998</year>]). <chapter-title>On the representation of context</chapter-title>. In <source>Context and content</source> (pp. <fpage>96</fpage>&#x2013;<lpage>114</lpage>). <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref70"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Stalnaker</surname>, <given-names>R.</given-names></string-name></person-group> (<year>2003</year> [<year>1997</year>]). <chapter-title>Reference and necessity</chapter-title>. In <source>Ways a world might be: Metaphysical and anti-metaphysical essays</source> (pp. <fpage>165</fpage>&#x2013;<lpage>187</lpage>). <publisher-loc>Oxford</publisher-loc>: <publisher-name>Blackwell</publisher-name>.</mixed-citation></ref>
<ref id="ref71"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Stokke</surname>, <given-names>A.</given-names></string-name></person-group> (<year>2012</year>). <article-title>Truth and context change</article-title>. <source>Journal of Philosophical Logic</source>, <volume>43</volume>(<issue>1</issue>), <fpage>33</fpage>&#x2013;<lpage>51</lpage>.</mixed-citation></ref>
<ref id="ref72"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Stokke</surname>, <given-names>A.</given-names></string-name></person-group> (<year>2013</year>). <chapter-title><italic>And</italic> and <italic>And*</italic></chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>L.</given-names> <surname>Goldstein</surname></string-name></person-group> (Ed.), <source>Brevity</source> (pp. <fpage>198</fpage>&#x2013;<lpage>213</lpage>). <publisher-loc>Oxford and New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref73"><mixed-citation publication-type="book">Forthcoming in <person-group person-group-type="editor"><string-name><given-names>L.</given-names> <surname>Goldstein</surname></string-name></person-group> (ed.), <source>Be Brief</source>, <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref74"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Stokke</surname>, <given-names>A.</given-names></string-name></person-group> (<year>2021</year>). <article-title>Fictional names and individual concepts</article-title>. <source>Synthese</source>, <volume>198</volume>(<issue>8</issue>), <fpage>7829</fpage>&#x2013;<lpage>7859</lpage>.</mixed-citation></ref>
<ref id="ref75"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Taylor</surname>, <given-names>K.</given-names></string-name></person-group> (<year>2003</year>). <source>Reference and the rational mind</source>. <publisher-loc>Stanford, CA</publisher-loc>: <publisher-name>CSLI Publications</publisher-name>.</mixed-citation></ref>
<ref id="ref76"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Terrone</surname>, <given-names>E.</given-names></string-name></person-group> (<year>2017</year>). <article-title>On fictional characters as types</article-title>. <source>British Journal of Aesthetics</source>, <volume>57</volume>(<issue>2</issue>), <fpage>161</fpage>&#x2013;<lpage>176</lpage>.</mixed-citation></ref>
<ref id="ref77"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Thomasson</surname>, <given-names>A. L.</given-names></string-name></person-group> (<year>1999</year>). <source>Fiction and metaphysics</source>. <publisher-loc>Cambridge</publisher-loc>: <publisher-name>Cambridge University Press</publisher-name>.</mixed-citation></ref>
<ref id="ref78"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Tich&#x00FD;</surname>, <given-names>P.</given-names></string-name></person-group> (<year>1988</year>). <source>The foundations of Frege&#x2019;s logic</source>. <publisher-loc>Berlin</publisher-loc>: <publisher-name>de Gruyter</publisher-name>.</mixed-citation></ref>
<ref id="ref79"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Tich&#x00FD;</surname>, <given-names>P.</given-names></string-name></person-group> (<year>2004</year> [<year>1987</year>]). <chapter-title>Individuals and their roles</chapter-title>. In <person-group person-group-type="editor"><string-name><given-names>V.</given-names> <surname>Svoboda</surname></string-name>, <string-name><given-names>B.</given-names> <surname>Jespersen</surname></string-name>, &#x0026; <string-name><given-names>C.</given-names> <surname>Cheyne</surname></string-name></person-group> (Eds.), <source>Pavel Tichy&#x0301;&#x2019;s collected papers in logic and philosophy</source> (pp. <fpage>180</fpage>&#x2013;<lpage>215</lpage>). <publisher-loc>Dunedin, New Zealand</publisher-loc>: <publisher-name>University of Otago Press</publisher-name>.</mixed-citation></ref>
<ref id="ref80"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>van Inwagen</surname>, <given-names>P.</given-names></string-name></person-group> (<year>1977</year>). <article-title>Creatures of fiction</article-title>. <source>American Philosophical Quarterly</source>, <volume>14</volume>, <fpage>299</fpage>&#x2013;<lpage>308</lpage>.</mixed-citation></ref>
<ref id="ref81"><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Wolterstorff</surname>, <given-names>N.</given-names></string-name></person-group> (<year>1979</year>). <article-title>Characters and their names</article-title>. <source>Poetics</source>, <volume>8</volume>, <fpage>101</fpage>&#x2013;<lpage>127</lpage>.</mixed-citation></ref>
<ref id="ref82"><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Wolterstorff</surname>, <given-names>N.</given-names></string-name></person-group> (<year>1980</year>). <source>Works and worlds of art</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Clarendon Press</publisher-name>.</mixed-citation></ref>
</ref-list>
</back>
</article>
