Barbershop paradox

In the story, Uncle Joe and Uncle Jim are walking to the barber shop. They explain that there are three barbers who live and work in the shop—Allen, Brown, and Carr—and some or all of them may be in. We are given two pieces of information from which to draw conclusions. Firstly, the shop is definitely open, so at least one of the barbers must be in. Secondly, Allen is said to be very nervous, so that he never leaves the shop unless Brown goes with him.

Now, according to Uncle Jim, Carr is a very good barber, and he wants to know whether Carr will be there to shave him. Uncle Joe insists that Carr is certain to be in, and claims that he can prove it logically. Uncle Jim demands this proof.

Uncle Joe gives his argument as follows:

Suppose that Carr is out. We will show that this assumption produces a contradiction. If Carr is out, then we know this: "If Allen is out, then Brown is in", because there has to be someone in "to mind the shop". But, we also know that whenever Allen goes out he takes Brown with him, so as a general rule, "If Allen is out, then Brown is out". The two statements we have arrived at are incompatible, because if Allen is out then Brown cannot be both In (according to one) and Out (according to the other). There is a contradiction. So we must abandon our hypothesis that Carr is Out, and conclude that Carr must be In.

Uncle Jim's response is that this conclusion is not warranted. The correct conclusion to draw from the incompatibility of the two "hypotheticals" is that what is hypothesized in them (that Allen is out) must be false under our assumption that Carr is out. Then our logic simply allows us to arrive at the conclusion "If Carr is out, then Allen must necessarily be in"..