Este es un término utilizado por Peirce para referirse a una forma de inferencia (junto a la deducción y la inducción) por la cual tratamos un significante como un ejemplo de una regla a partir de un código familiar y luego deducimos lo que significa aplicando esa regla.