Este é um termo usado por Peirce para referir uma forma de inferência (ao lado de dedução e indução) pelo qual nós tratamos um significante como uma instância de uma regra de um código familiar e, em seguida, inferir o que significa aplicando essa regra.