No. An argument that addition of integers is commutative will not contain such a qualifier. Nor will an argument that the laws of general relativity, say, correctly describe gravity in the regimes we have tested. If we had an argument of that sort--an argument based on deductive logic or detailed empirical knowledge of the problem domain--for a conscious computer being impossible, it would not need the qualifier either. But we don't.