Dette er et begreb, der anvendes af Peirce at henvise til en form for inferens (sammen med fradrag og induktion), som vi behandler en betegner som en forekomst af en regel fra en bekendt kode, og så udlede, hvad det betyder ved at anvende denne regel.