This note points out a terminological clash between Atanassov’s “intuitionistic fuzzy sets” and what is currently understood as intuitionistic logic.