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.