Pongamos un ejemplo: a la pregunta de cuántas cifras diferentes se encuentran en la serie 2200999, hay dos posibles respuestas correctas.
La distinción entre casos y tipos aparece en diversos ámbitos de la filosofía, pero se utiliza sobre todo en la filosofía de la mente.
En la lingüística estructural estos términos sirven para distinguir entre las expresiones lingüísticas concretas (casos) y las unidades abstractas de los metaniveles (tipos) que las representan.
En el ámbito de la palabra esta pareja de términos sirve para distinguir entre las perspectivas ética y émica, o entre lengua y palabra.
Estos términos fueron introducidos por Charles Sanders Peirce, en 1906: