Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.
Followup to: The Argument from Common Usage
Consider (yet again) the Aristotelian idea of categories. Let's say that there's some object with properties A, B, C, D, and E, or at least it looks E-ish.
Fred: "You mean that thing over there is blue, round, fuzzy, and—"
Me: "In Aristotelian logic, it's not supposed to make a difference what the properties are, or what I call them. That's why I'm just using the letters."
Next, I invent the Aristotelian category "zawa", which describes those objects, all those objects, and only those objects, which have properties A, C, and D.
Me: "Object 1 is zawa, B, and E."
Fred: "And it's blue—I mean, A—too, right?"
Me: "That's implied when I say it's zawa."
Fred: "Still, I'd like you to say it explicitly."
Me: "Okay. Object 1 is A, B, zawa, and E."
Then I add another word, "yokie", which describes all and only objects that are B and E; and the word "xippo", which describes all and only objects which are E but not D.
Me: "Object 1 is zawa and yokie, but not xippo."
Fred: "Wait, is it luminescent? I mean, is it E?"
Me: "Yes. That is the only possibility on the information given."
Fred: "I'd rather you spelled it out."
Me: "Fine: Object 1 is A, zawa, B, yokie, C, D, E, and not xippo."
Fred: "Amazing! You can tell all that just by looking?"
Impressive, isn't it? Let's invent even more new words: "Bolo" is A, C, and yokie; "mun" is A, C, and xippo; and "merlacdonian" is bolo and mun.
Pointlessly confusing? I think so too. Let's replace the labels with the definitions:
"Zawa, B, and E" becomes [A, C, D], B, E
"Bolo and A" becomes [A, C, [B, E]], A
"Merlacdonian" becomes [A, C, [B, E]], [A, C, [E, ~D]]
And the thing to remember about the Aristotelian idea of categories is that [A, C, D] is the entire information of "zawa". It's not just that I can vary the label, but that I can get along just fine without any label at all—the rules for Aristotelian classes work purely on structures like [A, C, D]. To call one of these structures "zawa", or attach any other label to it, is a human convenience (or inconvenience) which makes not the slightest difference to the Aristotelian rules.
Let's say that "human" is to be defined as a mortal featherless biped. Then the classic syllogism would have the form:
All [mortal, ~feathers, bipedal] are mortal.
Socrates is a [mortal, ~feathers, bipedal].
Therefore, Socrates is mortal.
The feat of reasoning looks a lot less impressive now, doesn't it?
Here the illusion of inference comes from the labels, which conceal the premises, and pretend to novelty in the conclusion. Replacing labels with definitions reveals the illusion, making visible the tautology's empirical unhelpfulness. You can never say that Socrates is a [mortal, ~feathers, biped] until you have observed him to be mortal.
There's an idea, which you may have noticed I hate, that "you can define a word any way you like". This idea came from the Aristotelian notion of categories; since, if you follow the Aristotelian rules exactly and without flaw—which humans never do; Aristotle knew perfectly well that Socrates was human, even though that wasn't justified under his rules—but, if some imaginary nonhuman entity were to follow the rules exactly, they would never arrive at a contradiction. They wouldn't arrive at much of anything: they couldn't say that Socrates is a [mortal, ~feathers, biped] until they observed him to be mortal.
But it's not so much that labels are arbitrary in the Aristotelian system, as that the Aristotelian system works fine without any labels at all—it cranks out exactly the same stream of tautologies, they just look a lot less impressive. The labels are only there to create the illusion of inference.
So if you're going to have an Aristotelian proverb at all, the proverb should be, not "I can define a word any way I like," nor even, "Defining a word never has any consequences," but rather, "Definitions don't need words."
Part of the sequence A Human's Guide to Words
Next post: "Taboo Your Words"
Previous post: "The Argument from Common Usage"