C'est un terme utilisé par Peirce pour désigner une forme d'inférence (aux côtés de déduction et induction), par lequel nous traitons un signifiant en tant qu'instance d'une règle d'un code familier et ensuite de déduire ce qu'il signifie en appliquant cette règle.