Il est le principal créateur de la sémiotique : on lui doit une classification des signes, selon que la relation du signe à l'objet est une relation de ressemblance, de contiguïté ou de convention. Il est le fondateur du pragmatisme logique, qu'il a présenté comme une théorie de la signification (Collected Papers, 1931).
