<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.2 20120330//EN" "http://jats.nlm.nih.gov/publishing/1.2/JATS-journalpublishing1.dtd">
<!--<?xml-stylesheet type="text/xsl" href="article.xsl"?>-->
<article article-type="research-article" dtd-version="1.2" xml:lang="en" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id journal-id-type="issn">2330-4014</journal-id>
<journal-title-group>
<journal-title>Ergo AN OPEN ACCESS JOURNAL OF PHILOSOPHY</journal-title>
</journal-title-group>
<issn pub-type="epub">2330-4014</issn>
<publisher>
<publisher-name>Michigan Publishing Services</publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="doi">10.3998/ergo.8578</article-id>
<article-categories>
<subj-group>
<subject>Article</subject>
</subj-group>
</article-categories>
<title-group>
<article-title>Fixing Reference by Maximizing Knowledge</article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname>Al-Khalfa</surname>
<given-names>Atheer</given-names>
</name>
<email>atheer.alkhalfa@gmail.com</email>
<xref ref-type="aff" rid="aff-1">1</xref>
</contrib>
</contrib-group>
<aff id="aff-1"><label>1</label>Dianoia Institute (ACU) &amp; University of Adelaide</aff>
<pub-date publication-format="electronic" date-type="pub" iso-8601-date="2025-11-04">
<day>04</day>
<month>11</month>
<year>2025</year>
</pub-date>
<pub-date pub-type="collection">
<year>2025</year>
</pub-date>
<volume>12</volume>
<elocation-id>53</elocation-id>
<permissions>
<copyright-statement>Copyright: &#x00A9; 2025 The Author(s)</copyright-statement>
<copyright-year>2025</copyright-year>
<license license-type="open-access" xlink:href="https://creativecommons.org/licenses/by-nc-nd/4.0/">
<license-p>This is an open-access article distributed under the terms of the Creative Commons Attribution 4.0 International License (CC BY-NC-ND 4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. See <uri xlink:href="https://creativecommons.org/licenses/by-nc-nd/4.0/">https://creativecommons.org/licenses/by-nc-nd/4.0/</uri>.</license-p>
</license>
</permissions>
<self-uri xlink:href="https://journals.publishing.umich.edu/ergo/article/10.3998/ergo.8578/"/>
<abstract>
<p>This paper explores the idea inspired by Williamson (<xref ref-type="bibr" rid="B11">2007</xref>) that the meaning of a name is the object such that assigning it as referent maximizes knowledge. After situating this idea in a charity-based tradition of interpretation and making it more precise, I argue that it suffers from serious problems. I then show why these problems persist under more holistic strategies of charity-based interpretation.</p>
</abstract>
</article-meta>
</front>
<body>
<sec>
<title>1. Introduction</title>
<p>I am interested in the following question: By virtue of what is the referent of a linguistic term fixed? The terms I&#8217;m concerned with here are proper names of type <inline-formula><alternatives><mml:math id="Eq001-mml"><mml:mi>e</mml:mi></mml:math></alternatives></inline-formula>.<xref ref-type="fn" rid="n1">1</xref> These are names whose semantic referent/value is an object. A semantic referent is one relatum in the three place relation of <italic>semantic reference</italic>: a relation that semanticists find helpful in positing between a name, context and object. Semantic reference is to be distinguished from <italic>speaker reference</italic>: a four place relation between speaker, term, object and audience. Roughly speaking, a speaker referent is an object a speaker intends their audience to think about.<xref ref-type="fn" rid="n2">2</xref> For the most part, I&#8217;ll be ignoring the question of how speaker referents are fixed. So the question I am concerned with here is this: by virtue of what is the semantic value of a proper name of type <inline-formula><alternatives><mml:math id="Eq002-mml"><mml:mi>e</mml:mi></mml:math></alternatives></inline-formula> fixed? This is a <italic>meta-semantic</italic> question. In this paper I help myself without argument to the content of the agent&#8217;s various propositional attitudes like knowledge. This parallels Lewis&#8217;s (<xref ref-type="bibr" rid="B9">1983</xref>) strategy in <italic>Languages and Language</italic>. There, he takes for granted the beliefs of the speakers/hearers and asks: by virtue of what do the sentences in, say, the English language get to have the meanings they actually have? Therefore, more foundational questions such as what constitutes knowledge or how the knowledge of an individual (as a physical system) is fixed are largely beyond the scope of this paper. With the content of the agent&#8217;s propositional attitudes in place, my main goal is to evaluate Knowledge Maximization (from now on KM) as an answer to the above meta-semantic question. KM is roughly the view that the semantic value of a proper name is the object such that assigning it as semantic value maximizes the knowledge expressed by the speaker&#8217;s sentences.<xref ref-type="fn" rid="n3">3</xref></p>
<p>The paper is structured as follows. In &#167;2 I situate the general idea behind KM in a charity-based framework of interpretation and consider why one might opt for it. In &#167;3 I formulate KM more precisely and evaluate individual variants of it and in &#167;4 I evaluate communal variants. I observe that all variants suffer from serious problems. Still, in &#167;5, I investigate whether any variant can at least satisfactorily explain the phenomenon of semantic change&#8212;a phenomenon that, on the face of it, KM seems well positioned to explain. However, I observe that KM does not ultimately offer such an explanation. In &#167;6, I step back to consider a holistic strategy of charity-based interpretation&#8212;one that aims to fix both linguistic content and knowledge simultaneously by appealing to a principle of maximizing knowledge. I explain why the problems I raise persist even under such a holistic approach. I&#8217;ll also say why these issues easily extend to principles that appeal to true belief instead of knowledge. I take stock and conclude in &#167;7.</p>
</sec>
<sec>
<title>2. Motivation</title>
<p>The general idea behind KM, most famously associated with Davidson, is that meaning is determined by a principle of charity that</p>
<disp-quote>
<p>[assigns] truth conditions to alien sentences that make native speakers [mostly] right when plausibly possible, according, of course, to our own view of what is right. (<xref ref-type="bibr" rid="B2">Davidson 1973: 324</xref>)</p>
</disp-quote>
<p>To motivate the above principle Davidson says:</p>
<disp-quote>
<p>If I am right in attributing [a particular] belief to you, then [given that beliefs essentially form coherent clusters] you must have a pattern of beliefs much like mine. No wonder, then, I can interpret your words correctly only by interpreting so as to put us largely in agreement. (<xref ref-type="bibr" rid="B4">Davidson 1977: 245</xref>)</p>
</disp-quote>
<p>The above charity principle is not necessarily the method by which the interpreter/hearer ascertains the content of an utterance or belief. According to Davidson, the principle is how sentences or beliefs get to have the content they have in the first place.<xref ref-type="fn" rid="n4">4</xref> Whether and how this content is ascertained by hearers are different issues.</p>
<p>The notion of &#8216;mostly right&#8217; in &#8220;assigning truth conditions to alien sentences that make native speakers [mostly] right&#8221; can be developed in a variety of ways. Here are a few illustrated with an example by Williamson.<xref ref-type="fn" rid="n5">5</xref></p>
<disp-quote>
<p>Emanuel sees a stranger, Celia, standing some distance away. Looking at her face, he judges &#8216;She is F, G, H,&#8230;&#8217;; he ascribes a character and life-history in considerable detail. In fact, none of it fits Celia. By pure coincidence, all of it fits someone else, Elsie, whom Emanuel has never seen or heard of. Does the pronoun &#8216;she&#8217; as used by Emanuel in this context refer to Celia or to Elsie? Which of them does he use it to express beliefs about? He accepts &#8216;She is standing in front of me,&#8217; which is true if &#8216;she&#8217; refers to Celia but false if it refers to Elsie. However, he also accepts &#8216;She is F,&#8217; &#8216;She is G,&#8217; &#8216;She is H,&#8230;,&#8217; all of which are false if &#8216;she&#8217; refers to Celia but true if it refers to Elsie. We may assume that the latter group far outweighs the former. A principle of charity that crudely maximizes true belief or minimizes error therefore favors Elsie over Celia as the referent of the pronoun in that context. But that is a descriptive theory of reference gone mad. (<xref ref-type="bibr" rid="B11">Williamson 2007: 262&#8211;263</xref>)</p>
</disp-quote>
<p>Let&#8217;s look at this case through the lens of the framework I&#8217;m interested in where the agent&#8217;s propositional attitudes are assumed and it is various meta-semantic proposals about semantic reference fixing that are being investigated.<xref ref-type="fn" rid="n6">6</xref> In this framework we can easily see that various charity-based principles are inadequate. Take for example a principle that minimizes the expression of false beliefs. This principle is problematic. Suppose Celia and Elsie are our only candidate assignments. Since Emanuel has some true beliefs about Celia and some false beliefs about Celia, then given that Emanuel has no beliefs about Elsie, an assignment of Elsie to the term in question will in fact minimize the expression of false beliefs. This is because that assignment makes Emanuel&#8217;s sentences express fewer false beliefs by making his sentences express <italic>no</italic> beliefs about Celia or Elsie. Moreover, a principle that enjoins minimizing the expression of falsehoods will also be problematic assuming that under the Elsie assignment there are fewer expressed falsehoods than under the Celia assignment. And a principle that maximizes the expression of truths will be problematic for a similar reason. Indeed, on the assumption of bivalence, minimizing the expression of falsehoods and maximizing the expression of truths amount to the same thing.</p>
<p>KM on the other hand will do better than any of the above three charity-based principles and so we already see some initial motivation for it. Emanuel has no knowledge about Elsie because he has no beliefs about Elsie. Therefore, given that he has some knowledge about Celia, the Celia assignment will express more knowledge than the Elsie assignment. The astute reader however will notice that a principle that maximizes the expression of true beliefs (TBM) <italic>also</italic> does better than the other three charity-based principles mentioned in the previous paragraph. Therefore, one might wonder how to adjudicate here between KM and TBM. Assuming (as is orthodox) that knowledge and true belief are not the same thing, this is a good question.<xref ref-type="fn" rid="n7">7</xref> However, the problems I raise for KM in the next two sections also arise for TBM and therefore, since both KM and TBM are unacceptable, it&#8217;s not going to matter all that much to say which one is worse.</p>
</sec>
<sec>
<title>3. Individual-level KM</title>
<sec>
<title><italic>3.1. Counting Sentences</italic></title>
<p>Let <inline-formula><alternatives><mml:math id="Eq003-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">A</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula> be the set of sentences accepted by speaker <inline-formula><alternatives><mml:math id="Eq004-mml"><mml:mi>S</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq005-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">K</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula> the set of propositions known by that speaker. I leave the notion of <italic>accepted sentences</italic> mostly as a primitive though I note, as many theorists maintain, that acceptance is the internal analogue of assertion. Therefore, an accepted sentence may, in some cases, not be uttered. There are many candidate assignment functions that each assign semantic values to all terms in all sentences in <inline-formula><alternatives><mml:math id="Eq006-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">A</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula>. KM1 provides a method of selection.</p>
<disp-quote>
<p><bold>KM1.</bold> The selected assignment is the one under which more sentences in <inline-formula><alternatives><mml:math id="Eq007-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">A</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula> express knowledge in <inline-formula><alternatives><mml:math id="Eq008-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">K</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula> than any other candidate assignment.</p>
</disp-quote>
<p>When I say that <italic>a sentence in <inline-formula><alternatives><mml:math id="Eq009-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">A</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula> expresses knowledge in <inline-formula><alternatives><mml:math id="Eq010-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">K</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula></italic> I simply mean that once a candidate assignment function has assigned semantic values to the terms in that sentence the resulting proposition is identical to a proposition in <inline-formula><alternatives><mml:math id="Eq011-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">K</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula>. In order to evaluate KM1 it will be helpful to start by building a very simple toy model with a very small number of accepted sentences to make the discussion manageable. The knowledge in each case will be stipulated and, as with the set of accepted sentences, I&#8217;ll be working with unrealistically small sets of knowledge. Nevertheless, as I&#8217;ll try to show, the problems that emerge will generalize to more complex cases with more realistic sets of accepted sentences and knowledge. Take the following case adapted from Kripke (<xref ref-type="bibr" rid="B7">1977: 263</xref>):</p>
<disp-quote>
<p><bold>Leaf Raking.</bold> One day our speaker meets Jones (from now on X) at the local market. X introduces himself by saying &#8216;Hello, I&#8217;m Jones.&#8217; X works as a butcher and becomes well acquainted with our speaker. The next day, our speaker sees Smith (from now on Y) from a distance raking leaves and mistakes him for X. Therefore, our speaker naturally comes to accept the sentence &#8216;Jones is raking leaves.&#8217;</p>
</disp-quote>
<p>I take it that the semantic value of &#8216;Jones&#8217; in this case is X only. Of course there is a sense in which the speaker is talking about Y but that is a merely pragmatic sense. Strictly speaking, the speaker&#8217;s utterance of &#8216;Jones is raking leaves&#8217; is false if, say, X is asleep, regardless of what Y is doing.<xref ref-type="fn" rid="n8">8</xref> Assume <inline-formula><alternatives><mml:math id="Eq012-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">A</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula> includes the following sentences only:</p>
<disp-quote>
<list list-type="order" id="list1">
<list-item><p>Jones is Jones</p></list-item>
<list-item><p>This guy is this guy</p></list-item>
<list-item><p>Jones is this guy</p></list-item>
<list-item><p>This guy is Jones</p></list-item>
<list-item><p>Jones is raking leaves</p></list-item>
<list-item><p>This guy is raking leaves</p></list-item>
<list-item><p>Jones was at the market</p></list-item>
<list-item><p>This guy was at the market</p></list-item>
</list>
</disp-quote>
<p>The demonstrative &#8216;this guy&#8217; in some of the above sentences is a perceptual demonstrative whose semantic value is Y. The speaker sees Y raking leaves and on that basis accepts &#8216;Jones is raking leaves&#8217; and &#8216;This guy is raking leaves&#8217; because they accept &#8216;Jones is this guy.&#8217; Assume <inline-formula><alternatives><mml:math id="Eq013-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">K</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula> includes the following known propositions only.</p>
<disp-quote>
<list list-type="alpha-lower" id="list2">
<list-item><p><italic>X = X</italic></p></list-item>
<list-item><p><italic>Y = Y</italic></p></list-item>
<list-item><p><italic>Y is raking leaves</italic></p></list-item>
<list-item><p><italic>X was at the market</italic></p></list-item>
</list>
</disp-quote>
<p>Now take the following candidate assignments of semantic values. <inline-formula><alternatives><mml:math id="Eq014-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq015-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> assign semantic values to all terms in <inline-formula><alternatives><mml:math id="Eq016-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">A</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula>. <inline-formula><alternatives><mml:math id="Eq017-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq018-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> are identical except for what they assign &#8216;Jones.&#8217; Moreover, they assign all other terms the intuitively correct semantic values. KM1 must select <inline-formula><alternatives><mml:math id="Eq019-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> in order to make the intuitively correct prediction with respect to the semantic value of &#8216;Jones.&#8217;</p>
<disp-quote>
<p><inline-formula><alternatives><mml:math id="Eq020-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>: <inline-formula><alternatives><mml:math id="Eq021-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>(&#8216;Jones&#8217;) = <bold>X</bold>, <inline-formula><alternatives><mml:math id="Eq023-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>(&#8216;this guy&#8217;) = Y, etc.</p>
<p><inline-formula><alternatives><mml:math id="Eq025-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>: <inline-formula><alternatives><mml:math id="Eq026-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>(&#8216;Jones&#8217;) = <bold>Y</bold>, <inline-formula><alternatives><mml:math id="Eq028-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>(&#8216;this guy&#8217;) = Y, etc.</p>
</disp-quote>
<sec>
<title><italic>3.1.1. Knowledge Quantity Problem: The Identity Model</italic></title>
<p>Here is a table that brings the above details together.</p>
<table-wrap id="T1">
<caption>
<p><bold>Table A:</bold> Identity Model Under KM1.</p>
</caption>
<table>
<tbody>
<tr>
<td align="left" valign="top"><bold>Sentence</bold></td>
<td align="left" valign="top"><bold>K ex under <italic>f</italic></bold></td>
<td align="left" valign="top"><bold>K ex under <italic>g</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top">Jones is Jones</td>
<td align="left" valign="top"><italic>X=X</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is this guy</td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones is this guy</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq030-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is Jones</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq031-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones is raking leaves</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq032-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is raking leaves</td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones was at the market</td>
<td align="left" valign="top"><italic>X was at the market</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq033-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">This guy was at the market</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq034-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq035-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Total Under KM1</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq036-mml"><mml:mn>4</mml:mn></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq037-mml"><mml:mn>6</mml:mn></mml:math></alternatives></inline-formula></td>
</tr>
</tbody>
</table>
</table-wrap>
<p><xref ref-type="table" rid="T1">Table A</xref> presents the knowledge expressed under assignments <inline-formula><alternatives><mml:math id="Eq038-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq039-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> for each of the target sentences. As illustrated, under assignment <inline-formula><alternatives><mml:math id="Eq040-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> the total number of sentences that express knowledge is 4, and under assignment <inline-formula><alternatives><mml:math id="Eq041-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> it is 6. KM1 will select <inline-formula><alternatives><mml:math id="Eq042-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> and therefore, according to it, the semantic value of &#8216;Jones&#8217; is Y. But this is not the intuitive/traditional view. Of course, the set of sentences/knowledge is artificially small but expanding those sets in various ways, as I will now show, does not improve KM1&#8217;s predictions.</p>
<p>Call a simple subject-predicate sentence &#8216;simple sentence&#8217; and the corresponding knowledge &#8216;simple knowledge.&#8217; As already observed in <xref ref-type="table" rid="T1">Table A</xref> above, the quantity of simple knowledge about X is the same as the quantity of simple knowledge about Y. There are also two simple sentences for each predicate. We can preserve these two features of the model in <xref ref-type="table" rid="T1">Table A</xref> but have those quantities be greater or much greater. In such a model sentences that express identity will always make the total number of sentences that express knowledge under assignment <inline-formula><alternatives><mml:math id="Eq043-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> greater than that under <inline-formula><alternatives><mml:math id="Eq044-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>.<xref ref-type="fn" rid="n9">9</xref></p>
</sec>
<sec>
<title><italic>3.1.2. Knowledge Quantity Problem: The Curiosity Model</italic></title>
<p>The above identity model, one might think, is quite unlikely to arise in real life cases owing to the assumed symmetry with respect to the quantity of knowledge. Here is another model that does not have this feature. Suppose that our speaker in <bold>Leaf Raking</bold> had been tasked with observing and memorising as much detail as possible about the way X looks, moves, the texture of his clothes, the way the sun reflects off his hair, skin and so on. The speaker had been tasked with this by, say, a painter who for whatever reason is very interested in X as subject matter. However, it is Y that the speaker ends up observing. The speaker also gets to hear Y talk about their life, interests and family in such a way that the speaker becomes much more knowledgable about Y than they were about X. Suppose all this happens within a day. The speaker&#8217;s set of knowledge therefore grows considerably containing the propositions <italic>Y is F, Y is G, Y is H</italic>, etc. This expansion in the set of knowledge corresponds to an increase in the number of accepted sentences containing the name &#8216;Jones&#8217; like <inline-formula><alternatives><mml:math id="Eq045-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Jones is <inline-formula><alternatives><mml:math id="Eq046-mml"><mml:mi>F</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq047-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, <inline-formula><alternatives><mml:math id="Eq048-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Jones is <inline-formula><alternatives><mml:math id="Eq049-mml"><mml:mi>G</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq050-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, <inline-formula><alternatives><mml:math id="Eq051-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Jones is <inline-formula><alternatives><mml:math id="Eq052-mml"><mml:mi>H</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq053-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, etc. The expansion in the set of knowledge also corresponds to an increase in the following kind of accepted sentences: <inline-formula><alternatives><mml:math id="Eq054-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>This guy is <inline-formula><alternatives><mml:math id="Eq055-mml"><mml:mi>F</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq056-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, <inline-formula><alternatives><mml:math id="Eq057-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>This guy is <inline-formula><alternatives><mml:math id="Eq058-mml"><mml:mi>G</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq059-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, <inline-formula><alternatives><mml:math id="Eq060-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>This guy is <inline-formula><alternatives><mml:math id="Eq061-mml"><mml:mi>H</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq062-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, etc. (Recall that the speaker accepts &#8216;Jones is this guy&#8217;). Here is a table illustrating the situation with the additions emphasized in bold.</p>
<table-wrap id="T2">
<caption>
<p><bold>Table B:</bold> Curiosity Model Under KM1.</p>
</caption>
<table>
<tbody>
<tr>
<td align="left" valign="top"><bold>Sentence</bold></td>
<td align="left" valign="top"><bold>K ex under <italic>f</italic></bold></td>
<td align="left" valign="top"><bold>K ex under <italic>g</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top">Jones is Jones</td>
<td align="left" valign="top"><italic>X=X</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is this guy</td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones is this guy</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq063-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is Jones</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq064-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones is raking leaves</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq065-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is raking leaves</td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones was at the market</td>
<td align="left" valign="top"><italic>X was at the market</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq066-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">This guy was at the market</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq067-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq068-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Jones is F</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq069-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><bold><italic>Y is F</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top"><bold>This guy is F</bold></td>
<td align="left" valign="top"><bold><italic>Y is F</italic></bold></td>
<td align="left" valign="top"><bold><italic>Y is F</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Jones is G</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq070-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><bold><italic>Y is G</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top"><bold>This guy is G</bold></td>
<td align="left" valign="top"><bold><italic>Y is G</italic></bold></td>
<td align="left" valign="top"><bold><italic>Y is G</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Jones is H</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq071-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><bold><italic>Y is H</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top"><bold>This guy is H</bold></td>
<td align="left" valign="top"><bold><italic>Y is H</italic></bold></td>
<td align="left" valign="top"><bold><italic>Y is H</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Total Under KM1</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq072-mml"><mml:mn>7</mml:mn></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq073-mml"><mml:mn>12</mml:mn></mml:math></alternatives></inline-formula></td>
</tr>
</tbody>
</table>
</table-wrap>
<p>As illustrated in <xref ref-type="table" rid="T2">Table B</xref>, the number of sentences that express knowledge under assignment <inline-formula><alternatives><mml:math id="Eq074-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> is still greater than <inline-formula><alternatives><mml:math id="Eq075-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>&#8217;s. One crucial reason for this is that assignment <inline-formula><alternatives><mml:math id="Eq076-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> scores 2 for a sentence pair like <inline-formula><alternatives><mml:math id="Eq077-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Jones is <inline-formula><alternatives><mml:math id="Eq078-mml"><mml:mi>F</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq079-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq080-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>This guy is <inline-formula><alternatives><mml:math id="Eq081-mml"><mml:mi>F</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq082-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>. Assignment <inline-formula><alternatives><mml:math id="Eq083-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> however scores only 1 for that same pair. KM1, once again, generates the wrong semantic prediction by selecting assignment <inline-formula><alternatives><mml:math id="Eq084-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>. Variations in curiosity, it seems, should not have a constitutive impact on a proper name&#8217;s semantic value, especially when the associated knowledge is accumulated within such a short period of time. However, according to KM1, such variations have such an impact.</p>
</sec>
</sec>
<sec>
<title><italic>3.2. Counting Knowledge</italic></title>
<p>Above, it was the number of sentences that express knowledge that were being counted. However, as illustrated in <xref ref-type="table" rid="T1">Table A</xref> and <xref ref-type="table" rid="T2">B</xref>, some sentences expressed the same known proposition. For example, four different sentences expressed <italic>Y=Y</italic> under assignment <inline-formula><alternatives><mml:math id="Eq085-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> and therefore increased its score by 4. Some might be tempted to use this observation to revise KM1 to KM2.</p>
<disp-quote>
<p><bold>KM2.</bold> The selected assignment is the one under which more knowledge in <inline-formula><alternatives><mml:math id="Eq086-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">K</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula> is expressed by sentences in <inline-formula><alternatives><mml:math id="Eq087-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">A</mml:mi><mml:mi>S</mml:mi></mml:msub></mml:math></alternatives></inline-formula> than any other candidate assignment.</p>
</disp-quote>
<p>Roughly speaking, KM2 counts the knowledge expressed by the accepted sentences, whereas KM1 counts the sentences that express knowledge. Here is how the identity model in <xref ref-type="table" rid="T1">Table A</xref> looks like if KM2 is adopted instead.</p>
<table-wrap id="T3">
<caption>
<p><bold>Table C:</bold> Identity Model Under KM2.</p>
</caption>
<table>
<tbody>
<tr>
<td align="left" valign="top"><bold>Sentence</bold></td>
<td align="left" valign="top"><bold>K ex under <italic>f</italic></bold></td>
<td align="left" valign="top"><bold>K ex under <italic>g</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top">Jones is Jones</td>
<td align="left" valign="top"><italic>X=X</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is this guy</td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones is this guy</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq088-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is Jones</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq089-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones is raking leaves</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq090-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is raking leaves</td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones was at the market</td>
<td align="left" valign="top"><italic>X was at the market</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq091-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">This guy was at the market</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq092-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq093-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Total Under KM2</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq094-mml"><mml:mn>4</mml:mn></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq095-mml"><mml:mn>2</mml:mn></mml:math></alternatives></inline-formula></td>
</tr>
</tbody>
</table>
</table-wrap>
<p>As illustrated in <xref ref-type="table" rid="T3">Table C</xref>, under assignment <inline-formula><alternatives><mml:math id="Eq096-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> the number of known propositions that are expressed by the target sentences is 4, whereas under assignment <inline-formula><alternatives><mml:math id="Eq097-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> it is 2. According to KM2 then, the semantic value of &#8216;Jones&#8217; is given by assignment <inline-formula><alternatives><mml:math id="Eq098-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and is therefore X. This is the intuitively correct result. Note that in order to arrive at this result, one must assume a coarse-grained view of propositions under which, for example, the propositions expressed by &#8216;Jones is raking leaves&#8217; and &#8216;This guy is raking leaves&#8217; under assignment <inline-formula><alternatives><mml:math id="Eq099-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> is identical. This assumption, which I shall grant in what follows, appears to be essential if KM2 is to be an improvement over KM1.</p>
<p>KM2 also generates the right prediction for the earlier curiosity model. Assignment <inline-formula><alternatives><mml:math id="Eq100-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> picks up all the knowledge about X and all the knowledge about Y. This is in contrast to assignment <inline-formula><alternatives><mml:math id="Eq101-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> which only picks up the knowledge about Y. Here is how <xref ref-type="table" rid="T2">Table B</xref> looks like if KM2 is adopted instead.</p>
<table-wrap id="T4">
<caption>
<p><bold>Table D:</bold> Curiosity Model Under KM2.</p>
</caption>
<table>
<tbody>
<tr>
<td align="left" valign="top"><bold>Sentence</bold></td>
<td align="left" valign="top"><bold>K ex under <italic>f</italic></bold></td>
<td align="left" valign="top"><bold>K ex under <italic>g</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top">Jones is Jones</td>
<td align="left" valign="top"><italic>X=X</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is this guy</td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones is this guy</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq102-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is Jones</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq103-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones is raking leaves</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq104-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is raking leaves</td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones was at the market</td>
<td align="left" valign="top"><italic>X was at the market</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq105-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">This guy was at the market</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq106-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq107-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">Jones is F</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq108-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is F</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is F</td>
<td align="left" valign="top"><italic>Y is F</italic></td>
<td align="left" valign="top"><italic>Y is F</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones is G</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq109-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is G</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is G</td>
<td align="left" valign="top"><italic>Y is G</italic></td>
<td align="left" valign="top"><italic>Y is G</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones is H</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq110-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is H</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is H</td>
<td align="left" valign="top"><italic>Y is H</italic></td>
<td align="left" valign="top"><italic>Y is H</italic></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Total Under KM2</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq111-mml"><mml:mn>7</mml:mn></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq112-mml"><mml:mn>5</mml:mn></mml:math></alternatives></inline-formula></td>
</tr>
</tbody>
</table>
</table-wrap>
<sec>
<title><italic>3.2.1. The Semantic Freedom Problem</italic></title>
<p>KM2 however is problematic. Above, there was no way for assignment <inline-formula><alternatives><mml:math id="Eq113-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> to capture the speaker&#8217;s knowledge about X and therefore <inline-formula><alternatives><mml:math id="Eq114-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> continued to score less than <inline-formula><alternatives><mml:math id="Eq115-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>. This however need not be the case. One can assume there are sentences <italic>not</italic> containing the name &#8216;Jones&#8217; accepted on the basis of seeing X. For example, suppose that when the speaker was at the market looking at X he accepted sentences containing the demonstrative &#8216;that guy&#8217; (not &#8216;this guy&#8217;) like &#8216;That guy is at the market.&#8217; And later, when the speaker is looking at Y raking leaves, suppose the speaker also accepted sentences like &#8216;That guy [who was at the market] is this guy [who is raking leaves].&#8217; Assignments <inline-formula><alternatives><mml:math id="Eq116-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq117-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> assign &#8216;that guy&#8217; X because, recall, they only differ with respect to what they assign &#8216;Jones.&#8217;<xref ref-type="fn" rid="n10">10</xref> Here is how <xref ref-type="table" rid="T4">Table D</xref> for example looks like when the relevant sentences (emphasized in bold) are added to the table.</p>
<disp-quote>
<p><inline-formula><alternatives><mml:math id="Eq118-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>: <inline-formula><alternatives><mml:math id="Eq119-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>(&#8216;Jones&#8217;) = <bold>X</bold>, <inline-formula><alternatives><mml:math id="Eq120-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>(&#8216;this guy&#8217;) = Y, <inline-formula><alternatives><mml:math id="Eq121-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>(&#8216;that guy&#8217;) = X, etc.</p>
<p><inline-formula><alternatives><mml:math id="Eq122-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>: <inline-formula><alternatives><mml:math id="Eq123-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>(&#8216;Jones&#8217;) = <bold>Y</bold>, <inline-formula><alternatives><mml:math id="Eq124-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>(&#8216;this guy&#8217;) = Y, <inline-formula><alternatives><mml:math id="Eq125-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>(&#8216;that guy&#8217;) = X, etc.</p>
</disp-quote>
<table-wrap id="T5">
<caption>
<p><bold>Table E:</bold> Semantic Freedom Problem Under KM2 &amp; KM1.</p>
</caption>
<table>
<tbody>
<tr>
<td align="left" valign="top"><bold>Sentence</bold></td>
<td align="left" valign="top"><bold>K ex under <italic>f</italic></bold></td>
<td align="left" valign="top"><bold>K ex under <italic>g</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top">Jones is Jones</td>
<td align="left" valign="top"><italic>X=X</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is this guy</td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top"><bold>That guy is that guy</bold></td>
<td align="left" valign="top"><bold><italic>X=X</italic></bold></td>
<td align="left" valign="top"><bold><italic>X=X</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top">Jones is this guy</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq126-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Jones is that guy</bold></td>
<td align="left" valign="top"><bold><italic>X=X</italic></bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq127-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>This guy is that guy</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq128-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq129-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">This guy is Jones</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq130-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top"><bold>That guy is Jones</bold></td>
<td align="left" valign="top"><bold><italic>X=X</italic></bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq131-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>That guy is this guy</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq132-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq133-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">Jones is raking leaves</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq134-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is raking leaves</td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
</tr>
<tr>
<td align="left" valign="top"><bold>That guy is raking leaves</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq135-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq136-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">Jones was at the market</td>
<td align="left" valign="top"><italic>X was at the market</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq137-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">This guy was at the market</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq138-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq139-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>That guy was at the market</bold></td>
<td align="left" valign="top"><bold><italic>X was at the market</italic></bold></td>
<td align="left" valign="top"><bold><italic>X was at the market</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top">Jones is F</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq140-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is F</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is F</td>
<td align="left" valign="top"><italic>Y is F</italic></td>
<td align="left" valign="top"><italic>Y is F</italic></td>
</tr>
<tr>
<td align="left" valign="top"><bold>That guy is F</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq141-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq142-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">Jones is G</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq143-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is G</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is G</td>
<td align="left" valign="top"><italic>Y is G</italic></td>
<td align="left" valign="top"><italic>Y is G</italic></td>
</tr>
<tr>
<td align="left" valign="top"><bold>That guy is G</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq144-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq145-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">Jones is H</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq146-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is H</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is H</td>
<td align="left" valign="top"><italic>Y is H</italic></td>
<td align="left" valign="top"><italic>Y is H</italic></td>
</tr>
<tr>
<td align="left" valign="top"><bold>That guy is H</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq147-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq148-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Total Under KM2</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq149-mml"><mml:mn>7</mml:mn></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq150-mml"><mml:mn>7</mml:mn></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Total Under KM1</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq151-mml"><mml:mn>11</mml:mn></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq152-mml"><mml:mn>14</mml:mn></mml:math></alternatives></inline-formula></td>
</tr>
</tbody>
</table>
</table-wrap>
<p>As illustrated in <xref ref-type="table" rid="T5">Table E</xref>, under KM2 <inline-formula><alternatives><mml:math id="Eq153-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq154-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> have the same score and therefore KM2 fails to select either assignment. No knowledge gets missed under either assignment. This result was achieved by assuming there are accepted sentences already in place not containing the name &#8216;Jones&#8217; that under <inline-formula><alternatives><mml:math id="Eq155-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> expressed the knowledge about X. And if the knowledge about X can be expressed under <inline-formula><alternatives><mml:math id="Eq156-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> by sentences not containing &#8216;Jones,&#8217; then assignment <inline-formula><alternatives><mml:math id="Eq157-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> is <italic>free</italic> to assign any semantic value to &#8216;Jones&#8217; whatsoever without lowering its score under KM2. This is why the semantic freedom problem is so called.</p>
<p>As illustrated in <xref ref-type="table" rid="T5">Table E</xref>, the additions also do not improve KM1&#8217;s predictions: <inline-formula><alternatives><mml:math id="Eq158-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>&#8217;s score is still greater than <inline-formula><alternatives><mml:math id="Eq159-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>&#8217;s. The above assumption will not remove the problematic discrepancy generated by KM1.</p>
</sec>
<sec>
<title><italic>3.2.2. The Reverse Assignment Problem</italic></title>
<p>So far I&#8217;ve been working with assignments <inline-formula><alternatives><mml:math id="Eq160-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq161-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> which are identical except for what they assign &#8216;Jones.&#8217; Other candidate assignments however are of course possible. Take for example assignment <inline-formula><alternatives><mml:math id="Eq162-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula> which is identical to <inline-formula><alternatives><mml:math id="Eq163-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> except that it reverses the values for &#8216;Jones&#8217; and &#8216;this guy.&#8217; That is, <inline-formula><alternatives><mml:math id="Eq164-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula> assigns Y to &#8216;Jones&#8217; and X to &#8216;this guy.&#8217; The problem with assignment <inline-formula><alternatives><mml:math id="Eq165-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula> is that it scores the same as <inline-formula><alternatives><mml:math id="Eq166-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>. If these were the only candidate assignments then KM2 will select neither. Here is how the curiosity model in <xref ref-type="table" rid="T4">Table D</xref> for example looks like with assignment <inline-formula><alternatives><mml:math id="Eq167-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula> instead of <inline-formula><alternatives><mml:math id="Eq168-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>.</p>
<disp-quote>
<p><inline-formula><alternatives><mml:math id="Eq169-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>: <inline-formula><alternatives><mml:math id="Eq170-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>(&#8216;Jones&#8217;) = <bold>X</bold>, <inline-formula><alternatives><mml:math id="Eq171-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>(&#8216;this guy&#8217;) = <bold>Y</bold>, etc.</p>
<p><inline-formula><alternatives><mml:math id="Eq172-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula>: <inline-formula><alternatives><mml:math id="Eq173-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula>(&#8216;Jones&#8217;) = <bold>Y</bold>, <inline-formula><alternatives><mml:math id="Eq174-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula>(&#8216;this guy&#8217;) = <bold>X</bold>, etc.</p>
</disp-quote>
<table-wrap id="T6">
<caption>
<p><bold>Table F:</bold> Reverse Assignment Problem Under KM2 &amp; KM1.</p>
</caption>
<table>
<tbody>
<tr>
<td align="left" valign="top"><bold>Sentence</bold></td>
<td align="left" valign="top"><bold>K ex under <italic>f</italic></bold></td>
<td align="left" valign="top"><bold>K ex under <inline-formula><alternatives><mml:math id="Eq175-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula></bold></td>
</tr>
<tr>
<td align="left" valign="top">Jones is Jones</td>
<td align="left" valign="top"><italic>X=X</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is this guy</td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
<td align="left" valign="top"><italic>X=X</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones is this guy</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq176-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq177-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">This guys is Jones</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq178-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq179-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">Jone is raking leaves</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq180-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is raking leaves</td>
<td align="left" valign="top"><italic>Y is raking leaves</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq181-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">Jones was at the market</td>
<td align="left" valign="top"><italic>X was at the market</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq182-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">This guy was at the market</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq183-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>X was at the market</italic></td>
</tr>
<tr>
<td align="left" valign="top">Jones is F</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq184-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is F</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is F</td>
<td align="left" valign="top"><italic>Y is F</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq185-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">Jones is G</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq186-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is G</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is G</td>
<td align="left" valign="top"><italic>Y is G</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq187-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">Jones is H</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq188-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is H</italic></td>
</tr>
<tr>
<td align="left" valign="top">This guy is H</td>
<td align="left" valign="top"><italic>Y is H</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq189-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Total Under KM2</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq190-mml"><mml:mn>7</mml:mn></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq191-mml"><mml:mn>7</mml:mn></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Total Under KM1</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq192-mml"><mml:mn>7</mml:mn></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq193-mml"><mml:mn>7</mml:mn></mml:math></alternatives></inline-formula></td>
</tr>
</tbody>
</table>
</table-wrap>
<p>Given the speaker&#8217;s confusion, <inline-formula><alternatives><mml:math id="Eq194-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq195-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> have the same score. KM2 only &#8216;cares&#8217; about the total quantity of knowledge expressed, not how that knowledge is distributed across the accepted sentences. Crucially, if the speaker wasn&#8217;t confused then under <inline-formula><alternatives><mml:math id="Eq196-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula> none of the simple sentences will express any knowledge and <inline-formula><alternatives><mml:math id="Eq197-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula>&#8217;s score will be lower than <inline-formula><alternatives><mml:math id="Eq198-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>&#8217;s. Similar remarks apply to KM1 as illustrated in <xref ref-type="table" rid="T6">Table F</xref>: <inline-formula><alternatives><mml:math id="Eq199-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq200-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> have the same score.</p>
<p>There are other ways of expanding the speaker&#8217;s set of accepted sentences and knowledge, but none seem very promising at evading the problems discussed above.<xref ref-type="fn" rid="n11">11</xref> Therefore, in the next section, I shall consider communal variants of KM.</p>
</sec>
</sec>
</sec>
<sec>
<title>4. Communal-level KM</title>
<p>Williamson suggests that a communal approach to fixing linguistic content is more appropriate. He says: &#8220;each individual uses words as words of a public language; their meanings are constitutively determined not individually but socially, through the spectrum of linguistic activity across the community as a whole&#8221; (<xref ref-type="bibr" rid="B11">Williamson 2007: 98</xref>). There are some choice points with respect to what sort of communal knowledge maximization strategy to pursue. In what follows I consider two that seem like natural places to start. Moreover, the main lessons will likely carry over to other communal strategies.</p>
<sec>
<title><italic>4.1. Single Set-Pair Strategy (SSP)</italic></title>
<p>Consider a strategy that takes as the set of accepted sentences only one very large set: the set of every sentence such that at least one speaker in the relevant linguistic community accepts it. This strategy will also take as the set of knowledge only one very large set: the set of every proposition such that at least one speaker in the relevant linguistic community knows it. Call this set-pair &#8216;Single Set-Pair&#8217; or &#8216;SSP.&#8217; Our communal knowledge maximization principle will then select the assignment that maximizes knowledge expressed as if this SSP belonged to a single speaker. Therefore, this strategy will not in general evade the problems presented in &#167;3.<xref ref-type="fn" rid="n12">12</xref></p>
</sec>
<sec>
<title><italic>4.2. Multiple Set-Pairs Strategy (MSP)</italic></title>
<p>One might then be tempted to try out a strategy that takes as many sets of accepted sentences as there are speakers and as many sets of knowledge as there are knowing speakers. Each set-pair (constituted by a set of accepted sentences and a set of known propositions) belongs to a different speaker and there is a one-to-one function from set-pairs to speakers. For the purpose of evaluating a candidate assignment this communal strategy looks at each speaker&#8217;s set-pair to see how the candidate assignment does with respect to expressing knowledge <italic>for that speaker</italic>. The strategy will then favour assignments that maximize knowledge expressed across speakers: each speaker will get a score by that assignment and the selected assignment will be the one that generates the highest total score. In what follows I explore whether MSP is a more promising strategy to fixing linguistic content.</p>
<sec>
<title><italic>4.2.1. MSP1 &#8212; Counting Sentences</italic></title>
<p>Take a communal strategy that counts the number of sentences that express knowledge along the lines of KM1. Take also a communal variant of <bold>Leaf Raking</bold> where the relevant linguistic community is comprised of 100 speakers. Suppose only 30 are confused but each has 100 pieces of simple knowledge about Y (the wrong semantic value) that is all accumulated within a day. This way, the total number of simple sentences that express knowledge about Y under <inline-formula><alternatives><mml:math id="Eq201-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> (the correct assignment) for the confused speakers is <inline-formula><alternatives><mml:math id="Eq202-mml"><mml:mrow><mml:mrow><mml:mn>30</mml:mn><mml:mo lspace="0.222em" rspace="0.222em">&#x00D7;</mml:mo><mml:mn>100</mml:mn></mml:mrow><mml:mo>=</mml:mo><mml:mrow><mml:mn>3</mml:mn><mml:mo>,</mml:mo><mml:mn>000</mml:mn></mml:mrow></mml:mrow></mml:math></alternatives></inline-formula>. This is in contrast to 6,000 sentences under <inline-formula><alternatives><mml:math id="Eq203-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>. Recall that assignment <inline-formula><alternatives><mml:math id="Eq204-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> exploits the speakers&#8217; confusion by scoring double for each sentence pair accepted as a result of the knowledge gained about Y. Therefore, <inline-formula><alternatives><mml:math id="Eq205-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>&#8217;s score will be greater than <inline-formula><alternatives><mml:math id="Eq206-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>&#8217;s by <inline-formula><alternatives><mml:math id="Eq207-mml"><mml:mrow><mml:mn>3</mml:mn><mml:mo>,</mml:mo><mml:mn>000</mml:mn></mml:mrow></mml:math></alternatives></inline-formula>. We can ensure that <inline-formula><alternatives><mml:math id="Eq208-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> will not catch up as follows. Suppose each of the 100 speakers holds 10 pieces of simple knowledge about X. This corresponds to <inline-formula><alternatives><mml:math id="Eq209-mml"><mml:mrow><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mn>000</mml:mn></mml:mrow></mml:math></alternatives></inline-formula> sentences that <inline-formula><alternatives><mml:math id="Eq210-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> will miss out on and therefore <inline-formula><alternatives><mml:math id="Eq211-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> now has a shortage of at least 2,001 to makeup for in order for it to be selected. But we&#8217;ve set things up so that this shortage will not be made-up. Whatever simple knowledge about Y held by each of the unconfused speakers will correspond to sentences that end up increasing the scores for <inline-formula><alternatives><mml:math id="Eq212-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq213-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> by the same quantity. Of course unconfused speakers will accept complex sentences like &#8216;Jones is not this guy&#8217; which express knowledge only under <inline-formula><alternatives><mml:math id="Eq214-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> but this only amounts to 70 sentences. Similar remarks apply to complex sentences accepted by unconfused speakers on the basis of looking at Y like &#8216;Jones is not standing there.&#8217; The upshot of this is that, according to MSP1, semantic values will be influenced in a problematic way by a misinformed minority who pick up lots of knowledge about Y in a day.<xref ref-type="fn" rid="n13">13</xref></p>
</sec>
<sec>
<title><italic>4.2.2. MSP2&#8212;Counting Knowledge</italic></title>
<p>Now take a communal strategy that counts the number of known propositions expressed along the lines of KM2. Here, the semantic freedom problem will continue to be troubling whether anyone in the community is confused or not. It will also continue to be troubling no matter how much knowledge each speaker has about Y relative to X. This is because <inline-formula><alternatives><mml:math id="Eq215-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>&#8217;s and <inline-formula><alternatives><mml:math id="Eq216-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>&#8217;s scores will be equalized for each set-pair. Recall that under that problem we assume that whatever sentence containing &#8216;Jones&#8217; that expresses knowledge under <inline-formula><alternatives><mml:math id="Eq217-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> has an analogous sentence involving another name which expresses that knowledge under <inline-formula><alternatives><mml:math id="Eq218-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> too. Therefore, no knowledge will be missed under <inline-formula><alternatives><mml:math id="Eq219-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>.<xref ref-type="fn" rid="n14">14</xref></p>
</sec>
</sec>
</sec>
<sec>
<title>5. KM and Semantic Change</title>
<p>In this section I present another toy model based on a well-known case in the literature on proper names: the case of &#8216;Madagascar&#8217; which involves semantic change. On the face of it, KM seems to have a ready explanation for such cases. Intuitively, the object that becomes the new semantic value of the name is the one that ends up playing a suitably important role in the speaker&#8217;s life and that will naturally correspond to an increased amount of knowledge about the new object relative to the old. An account of fixing semantic values via maximizing the expression of knowledge might seem well positioned to get these cases right.</p>
<p>Evans (<xref ref-type="bibr" rid="B5">1973: 195&#8211;196</xref>) reports from Isaac Taylor&#8217;s (1898) book <italic>Names and their History</italic>, that &#8216;Madagascar&#8217; was, a long time ago, only a name for a section of the African mainland (from now on X). Take the following variant of the case.</p>
<disp-quote>
<p><bold>Madagascar.</bold> Upon first hearing &#8216;Madagascar&#8217; from some Arab sailors Marco Polo correctly took it to name X and based on some remarks by the Arab sailors he thought <italic>X was invaded, X was peaceful</italic> and <italic>X is an island</italic>. A few days after this Marco Polo gets on a ship and discovers an island (from now on Y). For some reason or other Marco Polo thinks that Y is the island those Arab sailors were naming with &#8216;Madagascar.&#8217; That is, he mistakes Y for X. Marco Polo then lands on Y, unpacks and sets himself up for permanent stay. This is the early stage. In the late stage Marco Polo is eighty years old, still using the name &#8216;Madagascar&#8217; and has gained much knowledge about Y.<xref ref-type="fn" rid="n15">15</xref></p>
</disp-quote>
<p>To keep predictions consistent with <bold>Leaf Raking</bold>, we will have to say that when first arriving on Y Marco Polo used the name &#8216;Madagascar&#8217; with only X as semantic value. There are many ways of modelling the situation at the early stage. The below is one in which Marco Polo has a bit more knowledge about X than Y. Assume that Marco Polo&#8217;s <inline-formula><alternatives><mml:math id="Eq220-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">A</mml:mi><mml:mrow><mml:mtext mathvariant="italic">MP</mml:mtext></mml:mrow></mml:msub></mml:math></alternatives></inline-formula> includes the following sentences only.</p>
<disp-quote>
<list list-type="order" continued-from="list1">
<list-item><p>Madagascar is Madagascar</p></list-item>
<list-item><p>This island is this island</p></list-item>
<list-item><p>Madagascar is this island</p></list-item>
<list-item><p>This island is Madagascar</p></list-item>
<list-item><p>Madagascar is an island</p></list-item>
<list-item><p>This island is an island</p></list-item>
<list-item><p>Madagascar was invaded</p></list-item>
<list-item><p>This island was invaded</p></list-item>
<list-item><p>Madagascar was peaceful</p></list-item>
<list-item><p>This island was peaceful</p></list-item>
</list>
</disp-quote>
<p>Suppose also that Marco Polo&#8217;s <inline-formula><alternatives><mml:math id="Eq221-mml"><mml:msub><mml:mi class="MJX-tex-caligraphic" mathvariant="script">K</mml:mi><mml:mrow><mml:mtext mathvariant="italic">MP</mml:mtext></mml:mrow></mml:msub></mml:math></alternatives></inline-formula> includes the following known propositions only.</p>
<disp-quote>
<list list-type="alpha-lower" continued-from="list2">
<list-item><p><italic>X = X</italic></p></list-item>
<list-item><p><italic>Y = Y</italic></p></list-item>
<list-item><p><italic>Y is an island</italic></p></list-item>
<list-item><p><italic>X was invaded</italic></p></list-item>
<list-item><p><italic>X was peaceful</italic></p></list-item>
</list>
</disp-quote>
<p>Now take the following candidate assignments of semantic value and summary table.</p>
<disp-quote>
<p><inline-formula><alternatives><mml:math id="Eq222-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>: <inline-formula><alternatives><mml:math id="Eq223-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>(&#8216;Madagascar&#8217;) = <bold>X</bold>, <inline-formula><alternatives><mml:math id="Eq224-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>(&#8216;this island&#8217;) = Y, etc.</p>
<p><inline-formula><alternatives><mml:math id="Eq225-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>: <inline-formula><alternatives><mml:math id="Eq226-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>(&#8216;Madagascar&#8217;) = <bold>Y</bold>, <inline-formula><alternatives><mml:math id="Eq227-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>(&#8216;this island&#8217;) = Y, etc.</p>
</disp-quote>
<table-wrap id="T7">
<caption>
<p><bold>Table G:</bold> Early Stage Madagascar Under KM1 &amp; KM2.</p>
</caption>
<table>
<tbody>
<tr>
<td align="left" valign="top"><bold>Sentence</bold></td>
<td align="left" valign="top"><bold>K ex under <italic>f</italic></bold></td>
<td align="left" valign="top"><bold>K ex under <italic>g</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top">Madagascar is Madagascar</td>
<td align="left" valign="top"><italic>X=X</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This island is this island</td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">Madagascar is this island</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq228-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This island is Madagascar</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq229-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">Madagascar is an island</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq230-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is an island</italic></td>
</tr>
<tr>
<td align="left" valign="top">This island is an island</td>
<td align="left" valign="top"><italic>Y is an island</italic></td>
<td align="left" valign="top"><italic>Y is an island</italic></td>
</tr>
<tr>
<td align="left" valign="top">Madagascar was invaded</td>
<td align="left" valign="top"><italic>X was invaded</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq231-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">This island was invaded</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq232-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq233-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">Madagascar was peaceful</td>
<td align="left" valign="top"><italic>X was peaceful</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq234-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">This island was peaceful</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq235-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq236-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Total Under KM1</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq237-mml"><mml:mn>5</mml:mn></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq238-mml"><mml:mn>6</mml:mn></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Total Under KM2</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq239-mml"><mml:mn>5</mml:mn></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq240-mml"><mml:mn>2</mml:mn></mml:math></alternatives></inline-formula></td>
</tr>
</tbody>
</table>
</table-wrap>
<p>The correct semantic value of &#8216;Madagascar&#8217; at the early stage is X: the semantic value given by assignment <inline-formula><alternatives><mml:math id="Eq241-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>. KM2, unlike KM1, secures this result. In the late stage however, a fairly widespread intuition is that the semantic value of &#8216;Madagascar&#8217; changes to Y. In the late stage, when Marco Polo picks up much more knowledge about Y, many more sentence pairs will be added of the form <inline-formula><alternatives><mml:math id="Eq242-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Madagascar is <inline-formula><alternatives><mml:math id="Eq243-mml"><mml:mrow><mml:mi>F</mml:mi><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:mrow></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq244-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>This island is <inline-formula><alternatives><mml:math id="Eq245-mml"><mml:mrow><mml:mi>F</mml:mi><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:mrow></mml:math></alternatives></inline-formula>; <inline-formula><alternatives><mml:math id="Eq246-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Madagascar is <inline-formula><alternatives><mml:math id="Eq247-mml"><mml:mrow><mml:mi>G</mml:mi><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:mrow></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq248-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>This island is <inline-formula><alternatives><mml:math id="Eq249-mml"><mml:mrow><mml:mi>G</mml:mi><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:mrow></mml:math></alternatives></inline-formula>, etc. Here is a summary table illustrating the situation at the late stage.</p>
<table-wrap id="T8">
<caption>
<p><bold>Table H:</bold> Late Stage Madagascar Under KM1 &amp; KM2.</p>
</caption>
<table>
<tbody>
<tr>
<td align="left" valign="top"><bold>Sentence</bold></td>
<td align="left" valign="top"><bold>K ex under <italic>f</italic></bold></td>
<td align="left" valign="top"><bold>K ex under <italic>g</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top">Madagascar is Madagascar</td>
<td align="left" valign="top"><italic>X=X</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This island is this island</td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">Madagascar is this island</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq250-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">This island is Madagascar</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq251-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y=Y</italic></td>
</tr>
<tr>
<td align="left" valign="top">Madagascar is an island</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq252-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><italic>Y is an island</italic></td>
</tr>
<tr>
<td align="left" valign="top">This island is an island</td>
<td align="left" valign="top"><italic>Y is an island</italic></td>
<td align="left" valign="top"><italic>Y is an island</italic></td>
</tr>
<tr>
<td align="left" valign="top">Madagascar was invaded</td>
<td align="left" valign="top"><italic>X was invaded</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq253-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">This island was invaded</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq254-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq255-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">Madagascar was peaceful</td>
<td align="left" valign="top"><italic>X was peaceful</italic></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq256-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top">This island was peaceful</td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq257-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq258-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Madagascar is F</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq259-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><bold><italic>Y is F</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top"><bold>This island is F</bold></td>
<td align="left" valign="top"><bold><italic>Y is F</italic></bold></td>
<td align="left" valign="top"><bold><italic>Y is F</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Madagascar is G</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq260-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><bold><italic>Y is G</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top"><bold>This island is G</bold></td>
<td align="left" valign="top"><bold><italic>Y is G</italic></bold></td>
<td align="left" valign="top"><bold><italic>Y is G</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Madagascar is H</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq261-mml"><mml:mo>&#x22C5;</mml:mo></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><bold><italic>Y is H</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top"><bold>This island is H</bold></td>
<td align="left" valign="top"><bold><italic>Y is H</italic></bold></td>
<td align="left" valign="top"><bold><italic>Y is H</italic></bold></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Total Under KM1</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq262-mml"><mml:mn>8</mml:mn></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq263-mml"><mml:mn>12</mml:mn></mml:math></alternatives></inline-formula></td>
</tr>
<tr>
<td align="left" valign="top"><bold>Total Under KM2</bold></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq264-mml"><mml:mn>8</mml:mn></mml:math></alternatives></inline-formula></td>
<td align="left" valign="top"><inline-formula><alternatives><mml:math id="Eq265-mml"><mml:mn>5</mml:mn></mml:math></alternatives></inline-formula></td>
</tr>
</tbody>
</table>
</table-wrap>
<p>Assignment <inline-formula><alternatives><mml:math id="Eq266-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> assigns Y to &#8216;Madagascar&#8217; which is the correct semantic value at the late stage. This time KM1, unlike KM2, makes this prediction. Therefore, neither KM1 nor KM2 makes the intuitive predictions in <bold>Madagascar</bold> because neither predicts the right result at both stages. KM2 does better than KM1 at the early stage and KM1 does better than KM2 at the late stage.<xref ref-type="fn" rid="n16">16</xref></p>
<p>Of course KM1 lines-up with intuition reasonably well when a lot of time passes and there is more knowledge about the intuitively correct and new semantic referent&#8212;the one that is playing a suitably important role in the speaker&#8217;s life. Unfortunately however, as observed in &#167;3 and &#167;4, KM1 will not line-up with intuition if the massive amount of knowledge about Y is acquired in, say, a day. (This will essentially be a <bold>Madagascar</bold> version of the curiosity problem). After all, if Marco Polo learns a lot about Y in a day intuition says that he is still semantically referring to X by &#8216;Madagascar&#8217; at the early stage. So KM1 by itself doesn&#8217;t really offer any insight as to whether and why time makes a difference in the above case of semantic reference change.<xref ref-type="fn" rid="n17">17</xref></p>
<p>Might communal variants of KM make better predictions in cases of semantic change? It seems not: observations parallel to those made in &#167;4.2 will apply here.</p>
</sec>
<sec>
<title>6. Holistic Strategies of Interpretation</title>
<p>Lewis (<xref ref-type="bibr" rid="B8">1974</xref>) formulated a version of <italic>the problem of radical interpretation</italic> by asking us to suppose that we have all the knowledge about some individual, but only as a physical system (e.g., how he moves, what forces he exerts on his surroundings, what light or sounds he absorbs or emits, etc.). Given all this knowledge, Lewis then asks, how might we know this individual&#8217;s beliefs, desires and utterance meanings? Lewis&#8217;s diagrams the problem of radical interpretation as follows: &#8220;given <inline-formula><alternatives><mml:math id="Eq267-mml"><mml:mi mathvariant="normal">&#x2026;</mml:mi></mml:math></alternatives></inline-formula> the facts about [the individual] as a physical system, solve for the rest&#8221; (<xref ref-type="bibr" rid="B8">Lewis 1974: 331</xref>).<xref ref-type="fn" rid="n18">18</xref></p>
<p>But as Davidson (<xref ref-type="bibr" rid="B3">1974</xref>) and others are aware there is a prima facie challenge here. On the face of it, one cannot know the meanings of a speaker&#8217;s utterances without knowing their beliefs and one cannot know the speaker&#8217;s beliefs without knowing the meanings of their utterances. However, charity-based methods of interpretation are intended to meet this challenge: Davidson hopes that using charity we can solve for both belief and meaning <italic>simultaneously</italic>. As <xref ref-type="bibr" rid="B6">Gl&#252;er</xref> points out:</p>
<disp-quote>
<p>For Davidson, belief and meaning are interdependent; the radical interpreter determines both belief contents and meanings simultaneously. Assignments of belief automatically fall out of assignments of meanings to sentences held true. Therefore, beliefs are as public as meanings are. (<xref ref-type="bibr" rid="B6">Gl&#252;er 2011: 134</xref>)</p>
</disp-quote>
<p>To see how this might work, take a charity-based principle that assigns meanings to sentences in a way that maximizes, say, truths only. The meanings this principle assigns are also beliefs that the principle attributes to the speaker. But left as it is this principle is obviously inadequate; some of the speaker&#8217;s beliefs are false and with no other constraints there is nothing stopping our charity principle from attributing beliefs that are all in fact true. Lewis (<xref ref-type="bibr" rid="B8">1974: 340</xref>) therefore considers a strategy of what he calls &#8220;successive approximation.&#8221; But even this strategy, he says, <italic>assumes</italic> at the beginning some &#8216;tentative&#8217; speaker beliefs so that one may go and solve for meanings of utterances. When the initial results are in, he says, we may go on revising beliefs and meanings until a &#8220;satisfactory balance is struck&#8221; (<xref ref-type="bibr" rid="B8">Lewis 1974: 340</xref>). For various reasons Lewis thinks this strategy is inadequate and opts for a strategy under which the contents of the speaker&#8217;s attitudes are filled in completely and &#8220;no special attention is given to [the speaker&#8217;s] language at [the first] step&#8221; (<xref ref-type="bibr" rid="B8">Lewis 1974: 341</xref>). At the second step however, the content of the speaker&#8217;s attitudes are used to fill in the meanings of his utterances. Somewhat in the spirit of this strategy, I&#8217;ve been working on the following project: given facts about the speaker as a physical system and given their knowledge, solve for the meanings of their utterances. That is, I first filled in the speaker&#8217;s set of knowledge and then tried to solve for utterance meaning by maximizing knowledge expressed.</p>
<p>I should emphasize, however, that my central concerns will carry over to a strategy of using knowledge maximization to devise a method of interpretation where knowledge and utterance meanings are somehow fixed simultaneously. Let&#8217;s consider two competing interpretational packages in, say, <bold>Leaf Raking</bold> (though there will be an analogous issue for <bold>Madagascar</bold>). The first package uses assignment <inline-formula><alternatives><mml:math id="Eq269-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> to interpret the speaker&#8217;s words and includes a correct specification of the speaker&#8217;s knowledge. The second package uses assignment <inline-formula><alternatives><mml:math id="Eq270-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> to interpret the speaker&#8217;s words and includes a correct specification of the speaker&#8217;s knowledge. A simultaneous method of interpretation, however it&#8217;s formulated, should not find fault with the knowledge component of these packages. This is because, by hypotheses, the knowledge component of these packages are identical and correspond to the speaker&#8217;s actual knowledge. So the question arises: why should the holistic package with <inline-formula><alternatives><mml:math id="Eq271-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> in it be preferred to the holistic package with <inline-formula><alternatives><mml:math id="Eq272-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> in it? Since our two packages agree on the knowledge component, it&#8217;s the differing meaning assignments that are going to have to break the tie. But as we&#8217;ve seen, it&#8217;s very hard to see how anything in the vicinity of knowledge maximization would explain why the <inline-formula><alternatives><mml:math id="Eq273-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> package is preferred to the <inline-formula><alternatives><mml:math id="Eq274-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> package. This suggests that knowledge maximization cannot after all play the starring role in a holistic strategy that assigns knowledge and meaning simultaneously.</p>
<p>Finally, the incorrect predictions made by variants of KM weren&#8217;t especially due to choosing knowledge rather than true belief as the starring propositional attitude, since the problems I raised in &#167;3 and &#167;4 easily extend to true belief. One may simply re-label all the above tables (e.g., change &#8220;Total Under KM1&#8221; to &#8220;Total Under TBM1&#8221;) and use parallel cases to raise analogous problems. When the parallel cases are set up appropriately, the scores and consequently semantic predictions will remain exactly the same. Moreover, the remarks above can readily be adapted to a holistic version of the true belief strategy.</p>
</sec>
<sec>
<title>7. Conclusion</title>
<p>The challenge presented so far for KM is a significant one. Curiosity models made trouble for KM1. KM2 seemed like an improvement because it did better with that model. However, ultimately, KM2 confronted other problems like the semantic freedom problem and the reverse assignment problem (these also posed a challenge for KM1). One natural strategy was to switch from versions of KM that focused on the individual to versions that focused on the community, but this did not make the problems go away. And in cases of semantic change all versions of KM gave incorrect predictions at either the early or late stage. Moreover, as I showed in the previous section, the problems raised cast doubts about more holistic strategies that appeal to knowledge or true belief.</p>
<p>In this paper I have used candidate assignments with the intuitively correct semantic values for most terms in the set of accepted sentences (e.g., &#8216;is,&#8217; &#8216;was,&#8217; &#8216;market,&#8217; &#8216;leaves,&#8217; etc). Candidate assignments like <inline-formula><alternatives><mml:math id="Eq275-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq276-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> only differed with respect to what they assigned the name in question&#8212; be it &#8216;Jones&#8217; or &#8216;Madagascar.&#8217; When this assumption is relaxed, KM is in even greater trouble. For example, we would have to rule out assignments that assigned a different piece of mathematical knowledge to every sentence.<xref ref-type="fn" rid="n19">19</xref> And it&#8217;s a good question how various versions of KM are supposed to do this. It&#8217;s striking however that even when we assume the intuitively correct semantic values for nearly all terms, KM still cannot always deliver the right result.</p>
<p>Of course it remains possible that something in the vicinity of KM might figure in a much more complex charity-based theory of interpretation. Clearly, I&#8217;m in no position to refute this open-ended suggestion, though the lessons of this paper will be a helpful guide to anyone wishing to develop a theory along those lines.</p>
</sec>
</body>
<back>
<fn-group>
<fn id="n1"><p>It&#8217;s possible to run analogues of my arguments using other expressions. However, I focus on proper names of type <inline-formula><alternatives><mml:math id="Eq277-mml"><mml:mi>e</mml:mi></mml:math></alternatives></inline-formula> for simplicity and vividness.</p></fn>
<fn id="n2"><p>This is roughly based on some remarks made by Bach (<xref ref-type="bibr" rid="B1">2006</xref>). The distinction between semantic reference and speaker reference has also been discussed, among many others, by Kripke (<xref ref-type="bibr" rid="B7">1977</xref>).</p></fn>
<fn id="n3"><p>Some criticisms of KM like that by McGlynn (<xref ref-type="bibr" rid="B10">2012</xref>) are partly concerned with whether, in certain cases, the agent&#8217;s beliefs constitute knowledge or not. This sort of issue will not be relevant here as I&#8217;ll simply be stipulating the agent&#8217;s knowledge in each case.</p></fn>
<fn id="n4"><p>See a survey of some of Davidson&#8217;s passages by Gl&#252;er (<xref ref-type="bibr" rid="B6">2011: 112&#8211;152</xref>) that are suggestive of this claim.</p></fn>
<fn id="n5"><p>Williamson uses pronouns but, as far as I can tell, the same points can be made using proper names.</p></fn>
<fn id="n6"><p>Williamson and Davidson themselves are more interested in a holistic strategy whereby beliefs and linguistic contents are somehow fixed simultaneously in a foundational theory of meaning and belief. I&#8217;ll be talking about the ramifications of my discussion for this holistic strategy in &#167;6.</p></fn>
<fn id="n7"><p>Obviously we could, in principle, construct a case where one assignment does better on TBM and one on KM. The general structure of the case would be such that under one assignment there are lots of expressed true beliefs that aren&#8217;t knowledge and on the other assignment there are fewer expressed true beliefs that are knowledge. The question would then be which assignment is the intuitively correct one. However, for the reasons stated in the text, I am not going to investigate cases of this sort.</p></fn>
<fn id="n8"><p>Kripke (<xref ref-type="bibr" rid="B7">1977</xref>) and many commentators also take this view. The semantic value of &#8216;Jones&#8217; is X only and the speaker referents are X <inline-formula><alternatives><mml:math id="Eq278-mml"><mml:mrow><mml:mtext mathvariant="italic">and</mml:mtext></mml:mrow></mml:math></alternatives></inline-formula> Y. Given our working definition of speaker reference in &#167;1, both X and Y qualify as speaker referents. Recall that the speaker has mistaken Y for X.</p></fn>
<fn id="n9"><p>Here is another way of expanding the set of accepted sentences/knowledge that I&#8217;ll mention only to set aside. If an agent accepts any sentence, then it might seem like they accept an infinite number of sentences (e.g., by repeated use of conjunction introduction including conjoining a sentence with itself). Thus, it might seem like the number of sentences that express knowledge under <inline-formula><alternatives><mml:math id="Eq279-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and the number of sentences that express knowledge under <inline-formula><alternatives><mml:math id="Eq280-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> will always be the same. And therefore, one might think, KM1 is already doomed. I have some sympathy with this concern, but here I want draw out the consequences of KM that do not involve infinite quantities. Thus, at least for the sake of argument, I assume that the operative notion of acceptance can be meaningfully applied to only a finite number of sentences.</p></fn>
<fn id="n10"><p>The problem under consideration can also be generated by supposing there are sentences with a <italic>name</italic> that&#8217;s not &#8216;Jones&#8217; whose semantic value is X under both assignments.</p></fn>
<fn id="n11"><p>Here are a few worth noting. Call a sentence that includes two or more simple sentences connected with a boolean connective &#8216;a complex sentence&#8217; and the corresponding knowledge &#8216;complex knowledge.&#8217; Complex sentences/knowledge can be easily generated from the existing set of simple sentences/knowledge. Adding complex sentences will not fix KM2. One reason for this is the semantic freedom problem. Under that problem whatever sentence containing &#8216;Jones&#8217; that expresses knowledge under <inline-formula><alternatives><mml:math id="Eq281-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> has an analogous sentence involving another name which expresses that knowledge under <inline-formula><alternatives><mml:math id="Eq282-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> too. Therefore, no knowledge will be missed under <inline-formula><alternatives><mml:math id="Eq283-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>. Moreover, adding complex sentences does not seem to be a promising avenue for KM1. As illustrated with curiosity models, one can massively increase complex knowledge that is only about Y (e.g., <italic>Y is F <inline-formula><alternatives><mml:math id="Eq284-mml"><mml:mo>&#x2227;</mml:mo></mml:math></alternatives></inline-formula> Y is G</italic>). Due to the speaker&#8217;s confusion this will correspond to quadruples of complex sentences that will each score, under <inline-formula><alternatives><mml:math id="Eq285-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>, four times the quantity under <inline-formula><alternatives><mml:math id="Eq286-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>. Of course sentences like <inline-formula><alternatives><mml:math id="Eq287-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Jones was at the market <inline-formula><alternatives><mml:math id="Eq288-mml"><mml:mo>&#x2227;</mml:mo></mml:math></alternatives></inline-formula> this guy is <inline-formula><alternatives><mml:math id="Eq289-mml"><mml:mi>F</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq290-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, <inline-formula><alternatives><mml:math id="Eq291-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Jones was at the market <inline-formula><alternatives><mml:math id="Eq292-mml"><mml:mo>&#x2227;</mml:mo></mml:math></alternatives></inline-formula> this guy is <inline-formula><alternatives><mml:math id="Eq293-mml"><mml:mi>G</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq294-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, etc., <italic>only</italic> express knowledge under <inline-formula><alternatives><mml:math id="Eq295-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula>. The point however is that there is going to be an even bigger class of complex sentences that <italic>only</italic> express knowledge under <inline-formula><alternatives><mml:math id="Eq296-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula>: <inline-formula><alternatives><mml:math id="Eq297-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Jones is <inline-formula><alternatives><mml:math id="Eq298-mml"><mml:mi>F</mml:mi></mml:math></alternatives></inline-formula> <inline-formula><alternatives><mml:math id="Eq299-mml"><mml:mo>&#x2227;</mml:mo></mml:math></alternatives></inline-formula> this guy is <inline-formula><alternatives><mml:math id="Eq300-mml"><mml:mi>F</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq301-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, <inline-formula><alternatives><mml:math id="Eq302-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Jones is <inline-formula><alternatives><mml:math id="Eq303-mml"><mml:mi>G</mml:mi></mml:math></alternatives></inline-formula> <inline-formula><alternatives><mml:math id="Eq304-mml"><mml:mo>&#x2227;</mml:mo></mml:math></alternatives></inline-formula> this guy is <inline-formula><alternatives><mml:math id="Eq305-mml"><mml:mi>G</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq306-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, <inline-formula><alternatives><mml:math id="Eq307-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Jones is <inline-formula><alternatives><mml:math id="Eq308-mml"><mml:mi>F</mml:mi></mml:math></alternatives></inline-formula> <inline-formula><alternatives><mml:math id="Eq309-mml"><mml:mo>&#x2227;</mml:mo></mml:math></alternatives></inline-formula> this guy is <inline-formula><alternatives><mml:math id="Eq310-mml"><mml:mi>G</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq311-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, <inline-formula><alternatives><mml:math id="Eq312-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Jones is <inline-formula><alternatives><mml:math id="Eq313-mml"><mml:mi>F</mml:mi></mml:math></alternatives></inline-formula> <inline-formula><alternatives><mml:math id="Eq314-mml"><mml:mo>&#x2227;</mml:mo></mml:math></alternatives></inline-formula> this guy is <inline-formula><alternatives><mml:math id="Eq315-mml"><mml:mi>H</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq316-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, etc. (A similar class is one containing sentences like <inline-formula><alternatives><mml:math id="Eq317-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Jones is <inline-formula><alternatives><mml:math id="Eq318-mml"><mml:mi>F</mml:mi></mml:math></alternatives></inline-formula> <inline-formula><alternatives><mml:math id="Eq319-mml"><mml:mo>&#x2228;</mml:mo></mml:math></alternatives></inline-formula> that guy is <inline-formula><alternatives><mml:math id="Eq320-mml"><mml:mi>F</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq321-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, <inline-formula><alternatives><mml:math id="Eq322-mml"><mml:mi mathvariant="normal">&#x231C;</mml:mi></mml:math></alternatives></inline-formula>Jones is <inline-formula><alternatives><mml:math id="Eq323-mml"><mml:mi>F</mml:mi></mml:math></alternatives></inline-formula> <inline-formula><alternatives><mml:math id="Eq324-mml"><mml:mo>&#x2228;</mml:mo></mml:math></alternatives></inline-formula> that guy is <inline-formula><alternatives><mml:math id="Eq325-mml"><mml:mi>G</mml:mi></mml:math></alternatives></inline-formula><inline-formula><alternatives><mml:math id="Eq326-mml"><mml:mi mathvariant="normal">&#x231D;</mml:mi></mml:math></alternatives></inline-formula>, etc). We can make it even harder for <inline-formula><alternatives><mml:math id="Eq327-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> to catch up by making it compete with assignment <inline-formula><alternatives><mml:math id="Eq328-mml"><mml:mi>i</mml:mi></mml:math></alternatives></inline-formula> which is just like <inline-formula><alternatives><mml:math id="Eq329-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> except that it also assigns more subject terms Y. Note also that expanding the set of knowledge to include propositions not about X or Y is not going to make a difference to the results I&#8217;ve surveyed. Recall that assignments <inline-formula><alternatives><mml:math id="Eq330-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq331-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> are identical with respect to what they assign all terms except &#8216;Jones.&#8217; Therefore, the corresponding increase in accepted sentences will increase the score for both assignments, under KM1 or KM2, by the same quantity.</p></fn>
<fn id="n12"><p>For example, under a communal principle that maximizes the number of known propositions expressed along the lines of KM2, the semantic freedom problem will continue to be troubling despite how many speakers are confused. On the other hand, suppose we imagine there being enough confused speakers who have lots of varied knowledge about Y. If so, then it will be easy to generate curiosity style problems for a communal principle along the lines of KM1.</p></fn>
<fn id="n13"><p>Note that the reverse assignment problem will equalize the scores for <inline-formula><alternatives><mml:math id="Eq332-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq333-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula> across the confused speakers. What will be break the tie in favour of <inline-formula><alternatives><mml:math id="Eq334-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> is the score for the unconfused speakers. So long as there is at least one unconfused speaker, that will be sufficient to narrowly break the tie between those assignments. However, it&#8217;s possible that there are no unconfused speakers. Note also there are variants of the MSP1 strategy under which the selected assignment is not the one with the highest total score but the one with the highest mean, median or mode score. However, as the reader can easily workout for themselves, it&#8217;s easy to set up examples that make trouble for each of these variants. Moreover, none of these variants will make a difference for variants of MSP that count knowledge instead. This is because, as we shall shortly see, the semantic freedom problem ensures that the scores for <inline-formula><alternatives><mml:math id="Eq335-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq336-mml"><mml:mi>g</mml:mi></mml:math></alternatives></inline-formula> are equalized for each set-pair.</p></fn>
<fn id="n14"><p>Moreover, if all speakers are confused, then the reverse assignment problem will continue to be troubling for MSP2 as this will equalize the total scores for <inline-formula><alternatives><mml:math id="Eq337-mml"><mml:mi>f</mml:mi></mml:math></alternatives></inline-formula> and <inline-formula><alternatives><mml:math id="Eq338-mml"><mml:mi>h</mml:mi></mml:math></alternatives></inline-formula>.</p></fn>
<fn id="n15"><p>On standard presentations of the case &#8216;Madagascar&#8217; was just a name for a section of mainland Africa&#8212;X. After a period of misuse initiated by Marco Polo, the semantic value of the name changed to the island we today call &#8216;Madagascar&#8217;&#8212;Y.</p></fn>
<fn id="n16"><p>Assuming there aren&#8217;t any other terms with X as semantic value. If there are, then the semantic freedom problem will kick in and make things even worse for KM2.</p></fn>
<fn id="n17"><p>One might think that it is semantically important that over time Marco Polo and his community increasingly care about Y. But it&#8217;s far from clear that variation in these affective attitudes can be adequately encoded simply by observing the quantity of knowledge expressed given that knowledge is a doxastic attitude.</p></fn>
<fn id="n18"><p>This contrasts with the less ambitious meta-semantic project in Lewis (<xref ref-type="bibr" rid="B9">1983</xref>) which has served as the precedent for my discussion so far.</p></fn>
<fn id="n19"><p>Thanks to Alexander Sandgren for pressing this general point.</p></fn>
</fn-group>
<sec>
<title>Acknowledgements</title>
<p>I am grateful to John Hawthorne and Kyle Blumberg for their encouragement, constructive feedback, and valuable discussions. Thanks also to two anonymous reviewers for helpful comments on an earlier version of this paper.</p>
</sec>
<ref-list>
<ref id="B1"><mixed-citation publication-type="book"><string-name><surname>Bach</surname>, <given-names>Kent</given-names></string-name> (<year>2006</year>). <chapter-title>What Does It Take to Refer?</chapter-title> In <string-name><given-names>Ernest</given-names> <surname>Lepore</surname></string-name> and <string-name><given-names>Barry</given-names> <surname>Smith</surname></string-name> (Eds.), <source>The Oxford Handbook of Philosophy of Language</source> (<fpage>516</fpage>&#8211;<lpage>554</lpage>). <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="B2"><mixed-citation publication-type="journal"><string-name><surname>Davidson</surname>, <given-names>Donald</given-names></string-name> (<year>1973</year>). <article-title>Radical Interpretation</article-title>. <source>Dialectica</source>, <volume>27</volume>(<issue>1</issue>), <fpage>314</fpage>&#8211;<lpage>328</lpage>.</mixed-citation></ref>
<ref id="B3"><mixed-citation publication-type="journal"><string-name><surname>Davidson</surname>, <given-names>Donald</given-names></string-name> (<year>1974</year>). <article-title>Belief and the Basis of Meaning</article-title>. <source>Synthese</source>, <volume>27</volume>(<issue>3/4</issue>), <fpage>309</fpage>&#8211;<lpage>323</lpage>.</mixed-citation></ref>
<ref id="B4"><mixed-citation publication-type="journal"><string-name><surname>Davidson</surname>, <given-names>Donald</given-names></string-name> (<year>1977</year>). <article-title>The Method of Truth in Metaphysics</article-title>. <source>Midwest Studies in Philosophy</source>, <volume>2</volume>(<issue>1</issue>), <fpage>244</fpage>&#8211;<lpage>254</lpage>.</mixed-citation></ref>
<ref id="B5"><mixed-citation publication-type="journal"><string-name><surname>Evans</surname>, <given-names>Gareth</given-names></string-name> (<year>1973</year>). <article-title>The Causal Theory of Names</article-title>. <source>Aristotelian Society Supplementary Volume</source>, <volume>47</volume>(<issue>1</issue>), <fpage>187</fpage>&#8211;<lpage>208</lpage>.</mixed-citation></ref>
<ref id="B6"><mixed-citation publication-type="book"><string-name><surname>Gl&#252;er</surname>, <given-names>Kathrin</given-names></string-name> (<year>2011</year>). <source>Donald Davidson: A Short Introduction</source>. <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="B7"><mixed-citation publication-type="book"><string-name><surname>Kripke</surname>, <given-names>Saul</given-names></string-name> (<year>1977</year>). <chapter-title>Speaker&#8217;s Reference and Semantic Reference</chapter-title>. In <string-name><given-names>Peter A.</given-names> <surname>French</surname></string-name>, <string-name><given-names>Theodore E.</given-names> <surname>Uehling</surname> <suffix>Jr</suffix></string-name>, and <string-name><given-names>Howard K.</given-names> <surname>Wettstein</surname></string-name> (Eds.), <source>Studies in the Philosophy of Language</source> (<fpage>255</fpage>&#8211;<lpage>296</lpage>). <publisher-name>University of Minnesota Press</publisher-name>.</mixed-citation></ref>
<ref id="B8"><mixed-citation publication-type="journal"><string-name><surname>Lewis</surname>, <given-names>David</given-names></string-name> (<year>1974</year>). <article-title>Radical Interpretation</article-title>. <source>Synthese</source>, <volume>23</volume>(<issue>3/4</issue>), <fpage>331</fpage>&#8211;<lpage>344</lpage>.</mixed-citation></ref>
<ref id="B9"><mixed-citation publication-type="book"><string-name><surname>Lewis</surname>, <given-names>David</given-names></string-name> (<year>1983</year>). <source>Philosophical Papers Volume I</source>. <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="B10"><mixed-citation publication-type="journal"><string-name><surname>McGlynn</surname>, <given-names>Aidan</given-names></string-name> (<year>2012</year>). <article-title>Interpretation and Knowledge Maximization</article-title>. <source>Philosophical Studies</source>, <volume>160</volume>(<issue>3</issue>), <fpage>391</fpage>&#8211;<lpage>405</lpage>.</mixed-citation></ref>
<ref id="B11"><mixed-citation publication-type="book"><string-name><surname>Williamson</surname>, <given-names>Timothy</given-names></string-name> (<year>2007</year>). <source>The Philosophy of Philosophy</source>. <publisher-name>Wiley-Blackwell</publisher-name>.</mixed-citation></ref>
</ref-list>
</back>
</article>