Gettier's sleight of hand is made when he introduces the notion of entailment, by which he combines the two beliefs into one. But "he" is Gettier, not Smith. — creativesoul
Not quite. Gettier is explicit:
Let us suppose that Smith sees the entailment from (d) to (e), and accepts (e)
on the grounds of (d), for which he has strong evidence.
Your argument has been made before -- maybe by Donnellan, I forget. It's that there are two different sorts of definite descriptions, and that in some cases such a description is used to refer, that it is in essence a name.
The thing is, logic is useful. We want to be able to manipulate linguistic tokens liberated from the circumstances of their utterance, to make inferences of the sort Gettier attributes to Smith. But logic has to be informed by linguistics. Ever since logic was formalized and logicians began applying it to natural language, there's been a recognition that an utterance doesn't always wear its logical form on its sleeve.
So there are two ways to take this: that you're right because Gettier is getting the linguistics wrong, or, more precisely, he's exploiting an ambiguity; or that you're wrong because you have no principled way of blocking the ambiguity Gettier relies on. It might even be a problem if you could.
We wouldn't see anything odd about a scenario in which Smith knows nothing about what Jones has got in its pocketses, but is asked to guess and guesses right. The sense in which "ten" is right -- with no justification at all -- is all logic cares about, and the source of logic's usefulness. Why that should be so, I can't say, except that abstraction rulez.
I would say we want to find linguistic grounds for blocking the ambiguity that Gettier exploits without blocking the use of logic entirely. I agree with you, by "the man with ten coins in his pocket" Smith means Jones. But how do we justify our preference for this interpretation? If it's by appeal to something that will nullify logical analysis, then that's a problem.
Sorry -- rambling, repetitive response. I agree that what's weird here is the entailment. I also think that means the stakes here are the nature of logic.