Ini adalah istilah yang digunakan oleh Peirce untuk merujuk ke bentuk inferensi (bersama deduksi dan induksi) dengan mana kita memperlakukan penanda sebagai sebuah instance dari sebuah aturan dari kode akrab, dan kemudian menyimpulkan apa itu menandakan dengan menerapkan aturan itu.