Stav dette: Vagueness and intuitionistic logic