Dette er et begrep som brukes av Peirce å referere til en skjema for slutning (sammen med fradrag og induksjon) som vi behandle et signifier som en forekomst av en regel fra en kjent kode, og så utlede hva det betyr ved å bruke denne regelen.