Това е термин, използван от Пърс да се отнася за форма на дедуктивни (заедно с приспадане и индукция), с която разглеждаме сигнификатора като екземпляр на правило от познат код и след това да извлече тя показва чрез прилагането на това правило.