Skip to main content
Top
Published in: Minds and Machines 3/2018

12-06-2018

Does Kripke’s Argument Against Functionalism Undermine the Standard View of What Computers Are?

Author: Jeff Buechner

Published in: Minds and Machines | Issue 3/2018

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Kripke’s argument against functionalism extended to physical computers poses a deep philosophical problem (not previously addressed in the literature) for understanding the standard view of what computers are. The problem puts into jeopardy the definition in the standard view that computers are physical machines for performing physical computations. Indeed, it is entirely possible that, unless this philosophical problem is resolved, we will never have a good understanding of computers and may never know just what they are.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
Three well-known computer science texts which express the standard view of what computers are: Hennessy and Patterson (1994), Aho et al. (1982) and Sedgewick and Wayne (2017). Hennessy and Patterson define the classical components of a computer as: memory, processor (control and the datapath), input and output.
 
2
Since there are different philosophical views concerning the nature of (abstract) computation and physical computation, there are correspondingly different philosophical views as to what is a physical computer (compatible with the standard view’s definition of a physical computer). Although my target is the view of computers held by most computer scientists (the standard view), I will examine some of the philosophical views on the nature of physical computation. The problem which I pose for the standard view arises on these different philosophical views about the nature of physical computation. For a first-rate exposition of different philosophical views on the nature of physical computation, see Piccinini (2015).
 
3
Turing (1936–1937).
 
4
See, for example, an important work on explicating the concept of an algorithm, Dean (2007).
 
5
Scott and Strachey (1971).
 
6
vanBenthem (1995). It would be a mistake to claim that a logic viewed in this way is a computer. The rules of inference in, say, sentential calculus (embodying various truth-functions) direct the flow of information through the proofs in which they are employed. However, we can program a physical computer to make those inferences by performing various physical computations.
 
7
McCune (1997).
 
8
Haken and Appel (1977).
 
9
One might object that computers are more than just physical devices for performing physical computations—that they are used to, for example, communicate (the Internet), display images and sounds, store and record information (including images and sounds). This objection can be easily defused. For instance, images and sounds are data structures which can be manipulated by a physical computation.
 
10
Teller (1980).
 
11
John H. Conway is quoted in an article in the New York Times on the use of computers in mathematical proofs, by Kenneth Chang, April 6, 2004, In math, computers don’t lie. Or do they?
 
12
Davis and Cerutti (1969).
 
13
Wittgenstein (2009).
 
14
For a full exposition of Kripke’s argument against functionalism as it applies to both human minds and to physical computers (that are not human beings), see Buechner (2011). Kripke’s argument against functionalism has never been published—the exposition of it in Buechner (2011) uses, among other things, a transcript of a talk Kripke gave in 1984 and tape recordings of different versions of the talk he gave in the early 1980s. Buechner (2011) does not (except when directly quoting) separate what Kripke says from what Buechner says about what Kripke says about how to refute functionalism. Additionally, Kripke in his talks applies his argument to the use of functionalism to describe human mental states (including mental states in which computations are performed). In this paper I show how his argument can be applied to physical computers (that are not human beings).
 
15
Which user of a given physical computer gets to make such stipulations? What competence(s) must such a user possess? These are difficult questions which will not be addressed here. For analogous questions concerning who gets to make the conventions as to what words mean in a community of language users, see Kripke (1982, especially Chapter Three).
 
16
For an exposition of several triviality arguments and an attempt to refute each of them, see Buechner (2008, Chapters 3–5). Buechner (2011) amplifies the material in this section.
 
17
I thank an anonymous referee for comments which helped me formulate this weak version of skepticism and for asking for an argument which shows that it is false that Kripke’s argument against functionalism extended to physical computers is nothing more than a form of weak skepticism. My definition of weak skepticism is that it is a skeptical claim against some knowledge claim which leaves open evidence sources which can be used to justify that knowledge claim. Strong skepticism is a skeptical claim against some knowledge claim which leaves open no sources of evidence which could be used to justify that knowledge claim. The material in this section is not in Buechner (2011).
 
18
I have considerably simplified this discussion in two ways. First, at each node there will be four pathways exiting it: normal in computation of F, breakdown in computation of G, breakdown in computation of F, normal in computation of G. Second, the introduction of new functions growth will be, for instance, 3N where there are two different kinds of physical breakdown, in each one of which a different function is physically computed. I assume in the discussion only one kind of breakdown and two pathways exiting each node.
 
19
Putnam (1981).
 
20
See Piccinini (2015), op. cit. I thank an anonymous referee of this paper for motivating the inclusion of this section.
 
21
Piccinini (2015), op. cit., p. 10.
 
22
See Piccinini (2015), op. cit., pp. 44–45.
 
23
Kripke (1982), op. cit.
 
24
Stabler (1987).
 
25
Parfit (1984). For a criticism of this use of Parfit’s non-identity argument, see Green (2011).
 
26
Monty Python Flying Circus Episode 35 Chapter 5: Mystico and Janet—Flats Built By Hypnosis https://​www.​youtube.​com/​watch?​v=​1ujRE2IkEIo.
 
27
Many thanks to the two anonymous referees whose comments were a great help in improving this paper.
 
Literature
go back to reference Aho, A., Hopcroft, J., & Ullman, J. (1982). Data structures and algorithms. Boston: Addison-Wesley.MATH Aho, A., Hopcroft, J., & Ullman, J. (1982). Data structures and algorithms. Boston: Addison-Wesley.MATH
go back to reference Buechner, J. (2008). Gödel, Putnam, and functionalism. Cambridge: MIT Press.MATH Buechner, J. (2008). Gödel, Putnam, and functionalism. Cambridge: MIT Press.MATH
go back to reference Buechner, J. (2011). Not even computing machines can follow rules: Kripke’s critique of functionalism. In A. Berger (Ed.), Saul Kripke. Cambridge: Cambridge University Press. Buechner, J. (2011). Not even computing machines can follow rules: Kripke’s critique of functionalism. In A. Berger (Ed.), Saul Kripke. Cambridge: Cambridge University Press.
go back to reference Davis, P., & Cerutti, E. (1969). Formac meets Pappus: Some observations on elementary analytic geometry by computer. American Mathematical Monthly, 76, 895–905.MathSciNetMATH Davis, P., & Cerutti, E. (1969). Formac meets Pappus: Some observations on elementary analytic geometry by computer. American Mathematical Monthly, 76, 895–905.MathSciNetMATH
go back to reference Dean, W. (2007). What algorithms could not be. Ph.D. dissertation. Rutgers University. Dean, W. (2007). What algorithms could not be. Ph.D. dissertation. Rutgers University.
go back to reference Green, R. (2011). Should we retire Derek Parfit? Hastings Center Report, 40, 3.CrossRef Green, R. (2011). Should we retire Derek Parfit? Hastings Center Report, 40, 3.CrossRef
go back to reference Haken, W., & Appel, K. (1977). Every planar map is four colorable. Illinois Journal of Mathematics. 84, Parts I and II, Supplements I and II. Haken, W., & Appel, K. (1977). Every planar map is four colorable. Illinois Journal of Mathematics. 84, Parts I and II, Supplements I and II.
go back to reference Hennessy, J., & Patterson, D. (1994). Computer organization and design: The hardware/software interface. Burlington: Morgan-Kaufman.MATH Hennessy, J., & Patterson, D. (1994). Computer organization and design: The hardware/software interface. Burlington: Morgan-Kaufman.MATH
go back to reference Kripke, S. (1982). Wittgenstein on rules and private language. Cambridge: Harvard University Press. Kripke, S. (1982). Wittgenstein on rules and private language. Cambridge: Harvard University Press.
go back to reference Parfit, D. (1984). Reasons and persons. New York: Oxford University Press. Parfit, D. (1984). Reasons and persons. New York: Oxford University Press.
go back to reference Putnam, H. (1981). Reason, truth, and history (p. 122). New York: Cambridge University Press.CrossRef Putnam, H. (1981). Reason, truth, and history (p. 122). New York: Cambridge University Press.CrossRef
go back to reference Scott, D., & Strachey, C. (1971). Toward a mathematical semantics for computer languages. In J. Fox (Ed.), Proceedings of the symposium on computers and automata (pp. 19–46). Brooklyn: Polytechnic Press. Scott, D., & Strachey, C. (1971). Toward a mathematical semantics for computer languages. In J. Fox (Ed.), Proceedings of the symposium on computers and automata (pp. 19–46). Brooklyn: Polytechnic Press.
go back to reference Sedgewick, R., & Wayne, K. (2017). Computer science: An interdisciplinary approach. London: Pearson. Sedgewick, R., & Wayne, K. (2017). Computer science: An interdisciplinary approach. London: Pearson.
go back to reference Stabler, E. (1987). Kripke on functionalism and finite automata. Synthese, 70, 1–22.CrossRef Stabler, E. (1987). Kripke on functionalism and finite automata. Synthese, 70, 1–22.CrossRef
go back to reference Turing, A. (1936–1937). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42, 230–265. Turing, A. (1936–1937). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42, 230–265.
go back to reference vanBenthem, J. (1995). Logic and the flow of information. In D. Prawitz (Ed.), Logic, methodology, and philosophy of science IX (pp. 693–724). Amsterdam: Elsevier. vanBenthem, J. (1995). Logic and the flow of information. In D. Prawitz (Ed.), Logic, methodology, and philosophy of science IX (pp. 693–724). Amsterdam: Elsevier.
go back to reference Wittgenstein, L. (2009). Philosophical investigations (4th ed.). New York: Wiley.MATH Wittgenstein, L. (2009). Philosophical investigations (4th ed.). New York: Wiley.MATH
Metadata
Title
Does Kripke’s Argument Against Functionalism Undermine the Standard View of What Computers Are?
Author
Jeff Buechner
Publication date
12-06-2018
Publisher
Springer Netherlands
Published in
Minds and Machines / Issue 3/2018
Print ISSN: 0924-6495
Electronic ISSN: 1572-8641
DOI
https://doi.org/10.1007/s11023-018-9466-5

Other articles of this Issue 3/2018

Minds and Machines 3/2018 Go to the issue

Premium Partner