Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.
Followup to: Sneaking in Connotations
"This plucked chicken has two legs and no feathers—therefore, by definition, it is a human!"
When people argue definitions, they usually start with some visible, known, or at least widely believed set of characteristics; then pull out a dictionary, and point out that these characteristics fit the dictionary definition; and so conclude, "Therefore, by definition, atheism is a religion!"
But visible, known, widely believed characteristics are rarely the real point of a dispute. Just the fact that someone thinks Socrates's two legs are evident enough to make a good premise for the argument, "Therefore, by definition, Socrates is human!" indicates that bipedalism probably isn't really what's at stake—or the listener would reply, "Whaddaya mean Socrates is bipedal? That's what we're arguing about in the first place!"
Now there is an important sense in which we can legitimately move from evident characteristics to not-so-evident ones. You can, legitimately, see that Socrates is human-shaped, and predict his vulnerability to hemlock. But this probabilistic inference does not rely on dictionary definitions or common usage; it relies on the universe containing empirical clusters of similar things.
This cluster structure is not going to change depending on how you define your words. Even if you look up the dictionary definition of "human" and it says "all featherless bipeds except Socrates", that isn't going to change the actual degree to which Socrates is similar to the rest of us featherless bipeds.
When you are arguing correctly from cluster structure, you'll say something like, "Socrates has two arms, two feet, a nose and tongue, speaks fluent Greek, uses tools, and in every aspect I've been able to observe him, seems to have every major and minor property that characterizes Homo sapiens; so I'm going to guess that he has human DNA, human biochemistry, and is vulnerable to hemlock just like all other Homo sapiens in whom hemlock has been clinically tested for lethality."
And suppose I reply, "But I saw Socrates out in the fields with some herbologists; I think they were trying to prepare an antidote. Therefore I don't expect Socrates to keel over after he drinks the hemlock—he will be an exception to the general behavior of objects in his cluster: they did not take an antidote, and he did."
Now there's not much point in arguing over whether Socrates is "human" or not. The conversation has to move to a more detailed level, poke around inside the details that make up the "human" category—talk about human biochemistry, and specifically, the neurotoxic effects of coniine.
If you go on insisting, "But Socrates is a human and humans, by definition, are mortal!" then what you're really trying to do is blur out everything you know about Socrates except the fact of his humanity—insist that the only correct prediction is the one you would make if you knew nothing about Socrates except that he was human.
Which is like insisting that a coin is 50% likely to be showing heads or tails, because it is a "fair coin", after you've actually looked at the coin and it's showing heads. It's like insisting that Frodo has ten fingers, because most hobbits have ten fingers, after you've already looked at his hands and seen nine fingers. Naturally this is illegal under Bayesian probability theory: You can't just refuse to condition on new evidence.
And you can't just keep one categorization and make estimates based on that, while deliberately throwing out everything else you know.
Not every piece of new evidence makes a significant difference, of course. If I see that Socrates has nine fingers, this isn't going to noticeably change my estimate of his vulnerability to hemlock, because I'll expect that the way Socrates lost his finger didn't change the rest of his biochemistry. And this is true, whether or not the dictionary's definition says that human beings have ten fingers. The legal inference is based on the cluster structure of the environment, and the causal structure of biology; not what the dictionary editor writes down, nor even "common usage".
Now ordinarily, when you're doing this right—in a legitimate way—you just say, "The coniine alkaloid found in hemlock produces muscular paralysis in humans, resulting in death by asphyxiation." Or more simply, "Humans are vulnerable to hemlock." That's how it's usually said in a legitimate argument.
When would someone feel the need to strengthen the argument with the emphatic phrase "by definition"? (I.e. "Humans are vulnerable to hemlock by definition!") Why, when the inferred characteristic has been called into doubt—Socrates has been seen consulting herbologists—and so the speaker feels the need to tighten the vise of logic.
So when you see "by definition" used like this, it usually means: "Forget what you've heard about Socrates consulting herbologists—humans, by definition, are mortal!"
People feel the need to squeeze the argument onto a single course by saying "Any P, by definition, has property Q!", on exactly those occasions when they see, and prefer to dismiss out of hand, additional arguments that call into doubt the default inference based on clustering.
So too with the argument "X, by definition, is a Y!" E.g., "Atheists believe that God doesn't exist; therefore atheists have beliefs about God, because a negative belief is still a belief; therefore atheism asserts answers to theological questions; therefore atheism is, by definition, a religion."
You wouldn't feel the need to say, "Hinduism, by definition, is a religion!" because, well, of course Hinduism is a religion. It's not just a religion "by definition", it's, like, an actual religion.
Atheism does not resemble the central members of the "religion" cluster, so if it wasn't for the fact that atheism is a religion by definition, you might go around thinking that atheism wasn't a religion. That's why you've got to crush all opposition by pointing out that "Atheism is a religion" is true by definition, because it isn't true any other way.
Which is to say: People insist that "X, by definition, is a Y!" on those occasions when they're trying to sneak in a connotation of Y that isn't directly in the definition, and X doesn't look all that much like other members of the Y cluster.
Over the last thirteen years I've been keeping track of how often this phrase is used correctly versus incorrectly—though not with literal statistics, I fear. But eyeballing suggests that using the phrase by definition, anywhere outside of math, is among the most alarming signals of flawed argument I've ever found. It's right up there with "Hitler", "God", "absolutely certain" and "can't prove that".
This heuristic of failure is not perfect—the first time I ever spotted a correct usage outside of math, it was by Richard Feynman; and since then I've spotted more. But you're probably better off just deleting the phrase "by definition" from your vocabulary—and always on any occasion where you might be tempted to say it in italics or followed with an exclamation mark. That's a bad idea by definition!
Part of the sequence A Human's Guide to Words
Next post: "Where to Draw the Boundary?"
Previous post: "Sneaking in Connotations"