“Intuitionists think that there are cases in which, say, some identity statement between real numbers is neither true nor false, even though we know that it cannot possibly be false. That is: We know that it cannot not be that a = b, say, but we cannot conclude that a = b. We can't, in general, move from not-not-p to p in intuitionistic logic. , I suggest that the believer in vague objects should say something similar. It can never be true that it is vague whether A is B. But that does not imply that there is always a fact of the matter whether A is B.”
