Lord Ping, in
#41 you wrote:
I would also recommend Kripke to you. One of Kripke's most helpful examples is Godel. All Kripke knows about Godel is that he proved the incompleteness theorem. Yet a counterfactual like "If Godel hadn't proved the incompleteness theorem, I would never have heard of him" is intuitively* either true or false. But for it to have a truth-value, "Godel" has to refer in a scenario where Godel never did the only thing we attribute to him. The meaning of his name must be something different from merely what we know about him.
Please disregard my previous attempt at a disproof of that argument. Here is a more cogent one.
A word is a symbol for the meaning it represents. Usually that meaning is given in terms of several other words. A name is a word that is a symbol for a particular person or group of persons; its meaning is also usually given by several other words. Sometimes substituting their meanings for words or phrases in a sentence exposes covert self-contradictions. Let us try the substitution technique with that argument.
From the sentence “ All Kripke knows about Godel is that he proved the incompleteness theorem” it follows that for Kripke the name ‘Godel’ means
the person who proved the incompleteness theorem. Now, in your argument, let’s substitute that meaning for all references to the name. Let’s also substitute meanings for relevant words or phrases. The original sentence and the sentences with substitutions will be recognizable below.
(1o) All Kripke knows about
Godel is that he proved the incompleteness theorem.
(1s) All Kripke knows about the
person who proved the incompleteness theorem is that he proved the incompleteness theorem.
(2o) Yet a counterfactual like "If
Godel hadn't proved the incompleteness theorem, I would never have heard of
him" is intuitively* either true or false.
(2s) Yet a counterfactual like "If
the person who proved the incompleteness theorem hadn't proved the incompleteness theorem, I would never have heard of
the person who proved the incompleteness theorem" is intuitively* either true or false.
(3o) But for it to have a truth-value, "
Godel" has to refer in a scenario where
Godel never
did the only thing we attribute to him.
(3s) But for it to have a truth-value,
"the person who proved the incompleteness theorem" has to refer in a scenario where
the person who proved the incompleteness theorem never
proved the incompleteness theorem.
(4o)
The meaning of his name must be something different from merely
what we know about him.
(4s)
The person who proved the incompleteness theorem must be something different from merely
the person who proved the incompleteness theorem
Now let us examine the substitution sentences.
Sentence 2s’s counterfactual is not “intuitively either true or false”; it is necessarily true. That renders the remainder of the argument inconsequential.
Sentence 3s can be interpreted in two ways. The first is that the person who proved the incompleteness theorem does refer to the person who proved the incompleteness theorem in the scenario. The second is that the scenario is self-contradictory since it requires the same person to have proved and not have proved the incompleteness theorem. Either interpretation renders the remainder of the argument inconsequential.
Sentence 4s is a self-contradiction.
I hope that is a sufficient disproof of the argument. Words remain symbols for meanings that are in our heads. If we attach words to incomplete or wrong meanings, we will misuse those words and produce tangled thoughts and miscommunications.