Dit is een term die door Peirce gebruikt om te verwijzen naar een vorm van gevolgtrekking (naast deductie en inductie) waarmee wij een betekenaar als een instantie van een regel uit een vertrouwde code behandelen, en vervolgens afleiden wat betekent het door toepassing van die regel.