Skip to main content
Log in

Words on Kripke’s Puzzle

  • Original Research
  • Published:
Synthese Aims and scope Submit manuscript

Abstract

In this paper we present a solution to Saul Kripke’s Puzzle About Belief (in: Margalit (ed) Meaning and use, Dordrecht, 1979) based on Kaplan’s metaphysical picture of words (Proc Aristotelian Soc 64:93–119, 1990, J Philos 11:504–529, 2011). Although it is widely accepted that providing such a solution was one of the main incentives for the development of Kaplan’s theory, it was never presented by Kaplan in a systematic manner and was regarded by many as unsatisfactory. We agree with these critiques, and develop an extension of Kaplan’s theory by introducing the notion of “conservative” word uses, as well as arguing for the restriction of Kripke’s Disquotational Principle only to such uses. This restriction allows us to solve Kripke’s Puzzle by arguing that the assent of the puzzle’s protagonist does not allow disquotation and ascription of corresponding inconsistent belief, as it contains the non-conservative use of a proper name. At the end of the paper, we defend two of Kaplan’s theses that we find essential for our argument to work: that individuation of word tokens involves taking into account the intention of the speaker, and that different uniquely referring proper names of the same shape should be regarded as different homonymous words.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. Important works on the subject were written by, among others, Chomsky (1986), Davidson (1994), Lewis (1983), and Russell (1950), not to name Plato’s Cratylus or Aristotle’s Hermeneutics.

  2. Of course, the conditions as stated refer to a highly idealized situation. No actual reasoner is flawless and has enough computing power to state all the logical consequences of his or her beliefs (for a discussion see Tarnowski, 2020). If it were the case, there would be no reason to pursue or fund research in mathematics. The idealization though only reinforces Kripke’s conclusions: if even such a flawless reasoner can arrive at inconsistency, the same applies to the real-world ones.

  3. Note that in this formulation it is rather a scheme of a principle not a single proposition The intended reading of DP is that the principle holds with p replaced by any English sentence. See (Kripke, 1979, pp. 248–249).

  4. It requires internalization from him of an additional principle, namely the so-called Leibniz Principle, according to which two objects are identical if, and only if, they have the same properties (or at least the weaker implication of the identity to the sameness of properties, known as the principle of the indiscernibility of identicals). Although Kripke did not explicitly mention Peter drawing “Paderewski is not Paderewski” conclusion from his beliefs, under uncontroversial rationality conditions (abovementioned Leibniz Principle and Closure) it seems perfectly rational for him to do so. Such formulation allows us to treat Kripke’s Puzzle as a kind of identity puzzle—as it has been done e.g. by Ruth Barcan Marcus (1983, p. 336; Zabłudowski, 1986, p. 282). As will become clear further in the article, our solution works also for Kripke’s original formulation with Peter believing only contradictory statements (1) and (2). We would like to thank an anonymous referee for pressing us on this point.

  5. It is the second version of the puzzle given in Kripke's paper. The other version, concerning the bilingual Pierre who seems to have inconsistent beliefs about London and Londres, is more complicated and needs an additional Principle of Translation. Although we believe that our solution may be extended to cover this version as well, we focus on the one-language version of the puzzle, for the sake of simplicity.

  6. Apart from this remark we would like to remain neutral here on the issue of metaphysics of belief.

  7. We will come back to such examples later on when discussing Kaplan’s distinction between generic and common currency names.

  8. Although Kaplan’s paper started the most recent discussion on metaphysics of words, it is worth remembering that the subject was within philosophical interests much earlier. See for instance, MacIver (1937) and Russell (1950, pp. 23–30).

  9. Ramsey writes in his Critical Notice of Wittgenstein’s Tractatus logico-philosophicus: “[the] ‘propositional sign’ has type-token ambiguity; the tokens (like those of any sign) are grouped into types by physical similarity (and by conventions associating certain noises with certain shapes) just as are the instances of a word” (Ramsey, 1923, pp. 468–469).

  10. It should be noted that the orthographic conception is not the only platonic theory of words. Other platonic attempts were given e.g. by Katz (2000) and Wetzel (2009). These theories do not rely solely on the orthographic resemblance of tokens of the same word type, but it is not obvious how they can avoid the general problems of platonism.

  11. One could ask, for example, how an abstract object (like the word: „esperanto”) could be created (e.g. by Ludwik Zamenhof, the inventor of Esperanto language), if the abstract objects are cannot have any direct causal relationship with the material world. This problem is addressed by Irmak (2018), but in a fashion which significantly distances itself from the orthographic conception.

  12. See (Wetzel, 1993).

  13. This is only a small sample of problems with the orthographic conception. For a deep and interesting analysis and critique of this stance, see. E.g., Wetzel (2009, pp. 53–72), Kaplan (1990, 2011), Hawthorne and Lepore (2011), and Irmak (2018).

  14. For an in-depth discussion of this distinction see Głowacki (2021).

  15. Later in the paper, we also speak of lexical representations of words, which we denote using a distinct font.

  16. This name is also due to the reservations Kaplan has about the type/token distinction usage in the context of the metaphysics of words (Kaplan, 1990, p. 98). Although we find these reservations legitimate, we chose to retain this terminology. We also decided to replace Kaplan’s notion of “word-token production” with a more neutral “word-token usage”, unless we want to specifically address the act of uttering or inscribing the physical token of a word.

  17. The claim that proper names are ambiguous in the sense proposed by Kripke (1981, pp. 7–8) and defended by Kaplan (that is that that some proper names are homonymous, not polysemous) is not new and may be found in many other sources, see Millikan (1984), Richard (1990). The explanation of the difference in terms of “generic” and “common-currency names” and the metaphysical justification for it are however taken from Kaplan and it is one of the most developed accounts among those proposed by causal-chain theorists. Devitt (1976, 1981) seems to follow this route, speaking of “name-type-uses” and “name-types” as distinct, where the first seems to correspond to Kaplan’s “common-currency” and the latter to “generic names”—the limits of this analogy are however beyond the scope of this paper.

  18. Kaplan in his article uses the notion of “syntax” in a peculiar way: „When I use the word “syntax” or “syntactical” (…) or “logical syntax” it is usually this syntactical-lexical form notion that I have in mind” (Kaplan, 1990, p. 94, ft. 4).

  19. This had been pointed out by some of Kaplan’s critics: see McCulloch (1991, p. 77) and Hawthorne & Lepore (2011, pp. 27–29).

  20. Not an uncommon mistake among English as a Second Language speakers—and certainly a struggle for one of the authors.

  21. This presupposes the difference between public language and idiolects (and respectively their lexicons), which is a controversial matter. We believe however that this difference is fundamental if we are to use notions such as linguistic competence (which needs to be the competence of something) of English/Japanese/French speakers and provide an intersubjective linguistic description of our mental states (assuming that idiolects, by their nature, cannot be shared). In this article we follow roughly the Lewisian (1983) picture of natural language as conventional (in Lewis’ sense of convention) pairings between sentences and meanings, where idiolects are languages spoken by only one person exhibiting certain differences from the conventional language of the community. For more in-depth review of different stances on the relation between idiolects and natural languages see: Barber and Garcia Ramirez (2021).

  22. We would like to thank the anonymous referee of the journal for pressing us on this point.

  23. Cf. a similar example given in Elmar Unnsteinsson’s paper A Gricean Theory of Malaprops (2017, p. 455).

  24. The assumption of the polysemy of the nonexistent word that Botan represents is not essential here, however if one wonders whether it classifies as polysemous one may further elaborate on how Botan represents the semantics of this word. Maybe he is not only confused about linguistic matters, but also about institutional conventions at Harvey Yard, thinking that every rector is also a lector at some point. Without changing the rest of the argument, we can also alternatively assume that Botan thinks of the word, which he represents as (r|l)ecto(r|l)(r|l) as having a disjunctive connotation: either rector or lector, or take this word to be a sort of a weird indexical. What is essential is that he, unlike Akira, is unaware of the existence of two distinct words and thinks of them as one.

  25. One may regard Akira’s peculiar pronunciation as a case of malapropism. It does not commit us to the conclusion that he in fact said that he is a rector of Harvey Yard. As Unnsteinsson argues in his paper (2017) even in cases of malaprop-utterances the content of the utterance is determined by speaker’s communicative intentions. And Akira’s intention is to communicate that he is a lector of Harvey Yard.

  26. Note that, although implicitly, this definition essentially involves user’s intentions since it is mentions use, which is an intentional action performed by the user. In a more elaborate form, the definition may be stated in the following way: The use U of a token of the word-type “W” is conservative if U was performed with an intention of use that conforms to public standards of individuation of “W.”.

  27. We specifically differ from Kaplan in acknowledging the role of mental representation in word-token usage and abandoning behavioristic „black box”-talk. A more charitable reading of Kaplan perhaps would be to treat lexical representations as his “mysterious intrapersonal stages” of words (Kaplan, 1990, p. 98), but apart from these rather obscure remarks we see no specific evidence for such interpretation in Kaplan’s texts.

  28. Note that Hawthorne and Lepore’s Tolerance actually does not help us to get Akira and Botan’s cases; if “[p]erformance p is of a word w only if it meets relevant performance standards” (Hawthorne & Lepore, 2011, p. 17), then Akira’s /rector/ should not be counted as a successful performance of the word “lector”, while Botan’s /lector/ should, despite the only difference in how these standards were met between the two is blind chance of getting the pronunciation right.

  29. In theis formulation of CDP we use the term ‘conservative understanding’. The speaker S understands p conservatively iff s/he interprets it lexically with respective words of public lexicon.

  30. Interestingly, an even closer analogy between the cases could be drawn if we imagine that Botan takes two proper names, not common nouns, to have the same referent. Paolo Bonardi (2021) proposes such a scenario, which involves a rational speaker believing that the names of Cicero—the Roman orator, and Cicero—the German II World War spy, to be names of the same person and assents to the statement (S) „Cicero is an orator and a spy.” We believe that our proposal works here, as well: As this speaker intends to utter the name “Cicero” which maps onto both common-currency names in the public language, we should abstain from disquoting (S).

  31. Important thing to note here is that these lexical representations are representations of names as words, not different representations of Paderewski. In his discussion of Kripke’s Puzzle Jerry Fodor (2008: 71–79) hypothesizes that Peter actually believes that Paderewski1 is not Paderewski2, where “Paderewski1” and “Paderewski2” are expressions of Mentalese; according to Fodor we simply deal here with a mistranslation between English and Mentalese (and therefore DP should not be applied). We make no such assumption and wish to remain neutral with respect to the Language of Thought Hypothesis—on our view it is sufficient to say that Peter misrepresents the lexicon of public language and when he does so, DP should not be applied. Fodor’s proposal comes here with a significant cost of assuming that there are in fact two distinct Mentalese expressions “Paderewski1” and “Paderewski2”—and by Language of Thought Hypothesis that not only Peter, but all humans possess these two in their Mentalese lexicon or are able to form it. We take this consequence to be highly implausible and share much of the problems of Kaplan’s and Larson & Ludlow’s solutions discussed above.

  32. In particular we do not think we are committed to defending Kaplan’s view that having an appropriate intention is sufficient for word-token use, as well as his view that it is the intention to repeat some other token (we explicitly denounced this thesis earlier). Although we are sympathetic to Kaplan’s wide tolerance and we certainly agree that the variety of idiosyncratic differences is not easily covered by some strict canon envisaged by the orthographic conception, our solution to Kripke’s Puzzle works as well if we, for instance, limit the scope of acceptable difference from the standard pronunciation or inscription as Hawthorne and Lepore do with their principle of Tolerance (2011, p. 17).

  33. This line of critique is quite common in discussions about different forms of intentionalism in the philosophy of language. For a discussion see, for instance, Gauker (2008) and Åkerman (2009).

  34. A similar point on the importance of the distinction between metaphysical and epistemological considerations is made by Stephen Neale (2016, pp. 268–270).

  35. See (Russell, 1950, p. 24).

  36. The quote is from Nyquist’s unpublished PhD thesis, pp. 159–160.

  37. From Nyquist’s unpublished PhD thesis, p. 160.

  38. The difference between polysemy and homonymy is usually introduced on the basis of either genetic considerations of word’s shape (whether the similarity is coincidental or tied to identical root) or semantic considerations (Lehrer, 1974). The existence of this difference is however a subject of debate among linguists [see Panman (1982)].

References

  • Åkerman, J. (2009). A plea for pragmatics. Synthese, 170, 155–167.

    Article  Google Scholar 

  • Alward, P. (2005). Between the lines of age: Reflections on the metaphysics of words. Pacific Philosophical Quarterly, 86(2), 172–187.

    Article  Google Scholar 

  • Barber, A. & Garcia Ramirez, E. (2021). Idiolects. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Summer 2021 Edition), https://plato.stanford.edu/archives/sum2021/entries/idiolects/.

  • Barcan Marcus, R. (1981). A proposed solution to a puzzle about belief. Midwest Studies in Philosophy, 1981(1), 501–510.

    Article  Google Scholar 

  • Barcan Marcus, R. (1983). Rationality and believing the impossible. The Journal of Philosophy, 80(6), 321–338.

  • Bonardi, P. (2021). The “Cicero”/“Cicero” Puzzling Case. Theoria, 87(3), 628–642.

    Article  Google Scholar 

  • Bromberger, S. (2011). What are words? The Journal of Philosophy, 2011(11), 486–503.

    Article  Google Scholar 

  • Cappelen, H. (1999). Intentions in words. Nous, 1999(1), 92–102.

    Article  Google Scholar 

  • Chomsky, N. (1986). Knowledge of language. Praeger.

    Google Scholar 

  • Davidson, D. (1994). The social aspect of language. In B. McGuinness & G. Oliveri (Eds.), The philosophy of Michael Dummett (pp. 1–16). Kluewr Academic Publishers.

    Google Scholar 

  • Devitt, M. (1976). Semantics and the ambiguity of proper names. The Monist, 59(3), 404–423.

    Article  Google Scholar 

  • Devitt, M. (1981). Designation. Columbia University Press.

    Book  Google Scholar 

  • Fodor, J. A. (2008). LOT 2: The language of thought revisited. Oxford University Press.

  • Frege, G. (1879/1967), Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle a. S.: Louis Nebert; translated as Concept Script, a formal language of pure thought modelled upon that of arithmetic, by S. Bauer-Mengelberg, in J. van Heijenoort (Ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Harvard University Press, 1967.

  • Frege, G. (1892/1980) Über Sinn und Bedeutung. In Zeitschrift für Philosophie und philosophische Kritik, 100: 25–50; translated as “On Sense and Reference’ by M. Black in Geach and Black (Eds. And trans.), (1980), Translations from the Philosophical Writings of Gottlob Frege. Blackwell, 3rd edn, pp. 56–78.

  • García-Carpintero, M. (2018). The Mill-Frege theory of proper names. Mind, 127(508), 1107–1168.

    Google Scholar 

  • Gauker, C. (2008). Zero tolerance for pragmatics. Synthese, 165(3), 359–371.

    Article  Google Scholar 

  • Głowacki, M. (2021). On production and use of tokens of “I.” Studia Semiotyczne, 35(1), 95–106.

    Google Scholar 

  • Goto, H. (1971). Auditory perception by normal Japanese adults of the sounds “l” and “r.” Neuropsychologia, 9(3), 317–323.

    Article  Google Scholar 

  • Hawthorne, J., & Lepore, E. (2011). On words. The Journal of Philosophy, 2011(11), 1–39.

    Google Scholar 

  • Irmak, N. (2018). Ontology of words. Erkenntnis, 84, 1139–1158.

    Article  Google Scholar 

  • Katz, J. J. (2000). Realistic rationalism. MIT Press.

    Google Scholar 

  • Kaplan, D. (1989a). Demonstratives. In J. Almog, J. Perry, & H. Wettstein (Eds.), Themes from Kaplan (pp. 481–563). Oxford University Press.

    Google Scholar 

  • Kaplan, D. (1989b). Afterthoughts. In J. Almog, J. Perry, & H. Wettstein (Eds.), Themes from Kaplan (pp. 564–614). University Press.

    Google Scholar 

  • Kaplan, D. (1990). Words. Proceedings of the Aristotelian Society, 64, 93–119.

    Article  Google Scholar 

  • Kaplan, D. (2011). Words on words. The Journal of Philosophy, 11, 504–529.

    Article  Google Scholar 

  • Kripke, S. (1979). A Puzzle about belief. In A. Margalit (Ed.), Meaning and Use (pp. 239–283).

  • Kripke, S. (1981). Naming and Neccessity. Harvard University Press.

    Google Scholar 

  • Larson, R. K., & Ludlow, P. (1993). Interpreted logical forms. Synthese, 95(3), 305–355.

    Article  Google Scholar 

  • Lehrer, A. (1974). Semantic fields and lexical structure. North-Holland.

    Google Scholar 

  • Lewis, D. (1983). Language and languages. In D. Lewis (Ed.), Philosophical papers (Vol. 1, pp. 163–188). Oxford University Press.

    Google Scholar 

  • MacIver, A. M. (1937). Token, type and meaning. Analysis, 4(4), 58–64.

    Article  Google Scholar 

  • McCulloch, G. (1991). Making sense of words. Analysis, 51(2), 73–79.

    Article  Google Scholar 

  • Miller, J. T. M. (2020a). On the individuation of words. Inquiry, 63(8), 875–884.

    Article  Google Scholar 

  • Miller, J. T. M. (2020b). The ontology of words: Realism, nominalism, and eliminativism. Philosophy Compass, 15(7), e12691.

    Article  Google Scholar 

  • Millikan, R. G. (1984). Language, thought, and other biological categories: New foundations for realism. MIT Press.

    Google Scholar 

  • Neale, S. (2016). Silent Reference. In G. Ostertag (Ed.), Meanings and other things: Essays in Honor of Stephen Schiffer (pp. 229–344). Oxford University Press.

    Chapter  Google Scholar 

  • Panman, O. (1982). Homonymy and polysemy. Lingua, 58(1–2), 105–136.

    Article  Google Scholar 

  • Quine, W. V. O. (1982). Mathematical logic. Harvard University Press.

    Google Scholar 

  • Rami, D. (2014). The use-conditional indexical conception of proper names. Philosophical Studies, 168(1), 119–150.

    Article  Google Scholar 

  • Ramsey, F. (1923). Critical notice of Wittgenstein’s Tractatus logico-philosophicus. Mind, 465–478.

  • Richard, M. (1990). Propositional attitudes: An essay on thoughts and how we ascribe them. Cambridge University Press.

    Book  Google Scholar 

  • Richard, M. (2011). Kripke’s puzzle about belief. In A. Berger (Ed.), Saul Kripke (pp. 211–234). Cambridge University Press.

    Chapter  Google Scholar 

  • Russell, B. (1950). What is a word? In B. Russell (Ed.), An inquiry into meaning and truth (pp. 23–29). Allen & Unwin.

    Google Scholar 

  • Salmon, N. (1986). Frege’s Puzzle. MIT Press.

    Google Scholar 

  • Salmon, N. (1995). Being of two minds: Belief with doubt. Noûs, 29(1), 1–20.

    Article  Google Scholar 

  • Salmon, N. (2011). A note on Kripke’s puzzle about belief. In A. Berger (Ed.), Saul Kripke (pp. 235–252). Cambridge University Press.

    Chapter  Google Scholar 

  • Soames, S. (2003). Philosophical analysis in the twentieth century (Vol. 2). Princeton University Press.

    Book  Google Scholar 

  • Tarnowski, M. (2020). Is Having Contradictory Beliefs Possible? Discussion and Critique of Arguments for the Psychological Principle of Non-Contradiction. Studia Semiotyczne—English Supplement, 31, 91–126.

    Google Scholar 

  • Unnsteinsson, E. (2017). A Gricean theory of malaprops. Mind & Language, 32(4), 446–462.

  • Van Langendonck, W. (2008). Theory and typology of proper names. Mouton de Gruyter.

    Google Scholar 

  • Wetzel, L. (1993). What are occurrences of expressions? Journal of Philosophical Logic, 1993(22), 215–219.

    Article  Google Scholar 

  • Wetzel, L. (2009). Types and tokens: On abstract objects. MIT Press.

    Book  Google Scholar 

  • Zabłudowski, A. (1986). On Marcus’ solution to Kripke’s puzzle and a few related issues. Pacific Philosophical Quarterly, 67, 279–296.

    Article  Google Scholar 

Download references

Acknowledgements

We would like to thank Tadeusz Ciecierski, James Miller, Antonina Jamrozik and two anonymous referees for Synthese for their helpful and insightful remarks during the drafting and revising of this article. We also express our gratitude towards Mons Nyquist for sharing his work with us and thank audiences at the Propositions, Language and Meaning conference in Bratislava (2019), Philosophy in Progress conference in Nottingham (2020) and Polish Semiotic Society seminar for stimulating discussion on the early presentation of paper’s content. The second author was supported by the scholarship in the grant from the National Science Centre in Cracow (NCN), Project Number 2019/34/A/HS1/00399. Both authors contributed equally to the development and writing of the article.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Maciej Tarnowski.

Ethics declarations

Conflict of interest

All authors declare that they have no conflicts of interest.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

T.C.: Philosophy of Words.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Tarnowski, M., Głowacki, M. Words on Kripke’s Puzzle. Synthese 200, 292 (2022). https://doi.org/10.1007/s11229-022-03769-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11229-022-03769-w

Keywords

Navigation