Termine usato da Pierce in riferimento ad una forma di inferenza (insieme a deduzione e induzione) per la quale un significante e' trattato come caso di una regola di un codice familiare, ed in seguito si inferisce il suo significato applicando la regola.