Dear Professor Feser,
Code:
I am sorry for the long delay in our correspondence. In returning to the problem, I'll state my purpose at the outset. I am trying to argue that the functional power of human intelligence might be artificially replicated - that this is at least a prospect worth taking seriously.
I had prepared a careful comparison of the capabilities of humans and computers to do addition, and an argument that the deficiencies of the latter relative to the former will disappear in the future. I will share it with you if you like.
But I fear I overlooked the essence of your contention in "Kripke contra computationalism". It seems to me now that you make the following argument:
A. Any artifact, including the human brain, could in principle be running any abstract program, at varying degrees of defectiveness. That is, Programmed Behavior - Actual Behavior = Defectiveness. Since only actual behavior is observable, we have a single equation in the two unknowns (Programmed Behavior and Defectiveness), so we cannot solve for either of them. Hence, we cannot know the program by observing the artifact.
B. We CAN know the program of an artifact by consulting its (human) programmer.
C. By knowing the program of the artifact, we know some of the intentions of the programmer.
D. If computationalism is true, then our consultation of the programmer constituted an observation of his brain.
E. If computationalism is true, then the intentions of the programmer constitute information about the program his brain is running.
F. If computationalism is true, then by B, C, D, and E, we have that we derived information about the programming of the programmer’s brain by observing that same brain. By A, this is impossible, so computationalism must be false.
Code:
I'll grant for now that C, D, E, and F are valid. The fatal flaw in the argument is that A and B cannot both be true, when defining the words "know" and "program" consistently. My argument is as follows:
By the word "know", we might mean either "to have mathematical certainty" (we can label this definition Ka), or merely "to have high and justified confidence" (definition Kb). Likewise, by "program" we might mean either "the rules which the programmer of an artifact intended it to follow" (definition La), or "rules which explain the actual behavior of an artifact" (definition Lb).
Proposition A is true only if we use the former definitions for both terms (case KaLa). The argument is as follows:
If we use definition Kb, then we can know the program (in senses of definitions La and Lb) by examining the structure of the artifact and using the reasoning below:
We want to find the simplest (most likely) explanation for the artifact. For instance, if the artifact resembles a computer, except that it trips the circuit-breaker when we plug it in, then we might decide between three explanations:
M. That the artifact, by some (necessarily highly complex) process, arose from materials more typically found in nature, without conscious agency.
N. That the artifact was constructed by humans in order to function as a computer, and by some (perhaps very simple) process developed an electrical fault.
O. That the artifact was constructed by humans in order to trip circuit breakers, yet structurally resemble a computer.
Given our prior knowledge about humans, N qualifies as a simple explanation, since humans have simple reasons to construct computers. O is not a simple explanation, since circumstances motivating humans to behave in such a way would bear considerable explanation. For M to occur would require so many independent events that any explanation for those events would run to extreme length, indicating the correspondingly extreme unlikelihood of the scenario. The same reasoning applies when considering a computer running any specific code - the code may have bugs, but almost never so many as to make incorrect hypotheses about the programmer’s basic intent statistically competitive with correct ones.
In case KaLb, if it is granted that we “know” the relevant laws of physics, we can examine the structure of the artifact and derive rules that it is bound to follow*, hence its “program”.