I was reading an argument happening in the comments of an article about Light Table switching to open source. The argument was about freedom in relation to software, and it went basically something like this:
People who use OSX are less free [than Linux users], because they don't have the freedom to modify their OS source code.
No, they have the exact same freedom. People who use OSX and people who use Linux both have the freedom to modify the source code of Linux.
I'm not entirely sure, but this conversation reminded me immediately of arguing about a tree falling and making a sound when nobody's around to hear.
The first persons statement uses a variable in the place that the second persons statement uses a constant.
X's freedom is [partially] a function of [X's OS].
vs
X's freedom is [partially] a function of OS_List. (where OS_List is just a list of the OSs that he could in principle modify, regardless of if he wants to or is using any of those OSs)
(Obviously OS_List is a variable as well, but with respect to each person it's relatively unchanging).
I've seen this crop up in various conversations before - one person arguing using a variable where another person is using a constant (if that's the right way to describe it).
How does one diagnose the problem with this argument, if there is a problem? Is it a similar problem to the Tree in the Forest problem? Is there a standard rationalist way to dissolve the dispute so that both parties can leave not only agreeing, but also having a high probability of being correct when they leave?
This is closely related to a failure mode of communication discussed here recently. The error made by the "fascists" and "rakes" in the linked post is a special case of the OP's error of assumed variables: in this case the hidden variable is whose morality applies.
My guess is that these miscommunications often arise from inadequate empathy or theory of mind. It's very common for assertions to have hidden or assumed variables that are reflexive, that is, they refer to the speaker. Some people have the ability to automatically transfer the hidden referent when changing such an assertion's subject, and others must to reminded to do so. (And indeed, in some cases some will argue that it's not appropriate to transfer the referent!)