Skip to main content
Log in

Kripke’s paradox and the Church–Turing thesis

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

Abstract

Kripke (1982, Wittgenstein on rules and private language. Cambridge, MA: MIT Press) presents a rule-following paradox in terms of what we meant by our past use of “plus”, but the same paradox can be applied to any other term in natural language. Many responses to the paradox concentrate on fixing determinate meaning for “plus”, or for a small class of other natural language terms. This raises a problem: how can these particular responses be generalised to the whole of natural language? In this paper, I propose a solution. I argue that if natural language is computable in a sense defined below, and the Church–Turing thesis is accepted, then this auxiliary problem can be solved.

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

References

  • Church A. (1941). The calculi of lambda-conversion. Princeton, NJ: Princeton University Press

    Google Scholar 

  • Clark A. (1997). Being there. Cambridge, MA: MIT Press

    Google Scholar 

  • Dreyfus H.L. (1992). What computers still can’t do. Cambridge, MA: MIT Press

    Google Scholar 

  • Fodor J.A. (1990). A theory of content and other essays. Cambridge, MA: MIT Press

    Google Scholar 

  • Ginet C. (1992). The dispositionalist solution to Wittgenstein’s problem about understanding a rule: Answering Kripke’s objections. In: French P.A., Uehling T.E.J., Wettstein H.K.(eds) Midwest studies in philosophy vol. 17. Notre Dame, University of Notre Dame Press, pp. 53–73

    Google Scholar 

  • Haugeland J. (1981). Semantic engines: An introduction to mind design. In: Haugeland J.(eds) Mind design. Cambridge, MA: MIT Press, pp. 1–34

    Google Scholar 

  • Hutchins E. (1995). Cognition in the wild. Cambridge, MA: MIT Press

    Google Scholar 

  • Kripke S.A. (1982). Wittgenstein on rules and private language. Cambridge, MA: MIT Press

    Google Scholar 

  • Maddy P. (1984). How the causal theorist follows a rule. Midwest Studies in Philosophy 9, 457–477

    Google Scholar 

  • McGinn C. (1984). Wittgenstein on meaning. Oxford, Blackwell

    Google Scholar 

  • Mellor D.H. (1977). Natural kinds. British Journal for the Philosophy of Science 28, 299–312

    Article  Google Scholar 

  • Miller A., Wright C.(eds) (2002). Rule-following and meaning. Chesham, Acumen

    Google Scholar 

  • Millikan R.G. (1990). Truth rules, hoverflies, and the Kripke–Wittgenstein paradox. Review 99, 323–353

    Google Scholar 

  • Putnam H. (1975). The meaning of “meaning”. In : Mind, language and reality, philosophical papers vol 2. Cambridge, Cambridge University Press, pp. 215–271

  • Rosch E. (1973). On the internal structure of perceptual and semantic categories. In: Moore T.(eds) Cognitive development and the acquisition of language. New York, Academic Press

    Google Scholar 

  • Searle J.R. (1980). Minds, brains, and programs. Behavioral and Brain Sciences 3, 417–424

    Article  Google Scholar 

  • Zymach E. (1976). Putnam’s theory of the reference of subject terms. Journal of Philosophy 73, 116–127

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mark D. Sprevak.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sprevak, M.D. Kripke’s paradox and the Church–Turing thesis. Synthese 160, 285–295 (2008). https://doi.org/10.1007/s11229-006-9120-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-006-9120-2

Keywords

Navigation