A conta amplamente aceita da forma como os seres humanos categorizam que foi o modelo predominante da época de Aristóteles até a década de 1970. Este porões de teoria que categorias conceituais e linguísticas têm 'estrutura definitional'. Isso significa que uma entidade representa um membro de categoria em virtude de cumprimento de um conjunto de condições necessárias e suficientes (em conjunto) para a adesão da categoria. Estas condições são chamadas "necessária e suficiente" porque eles são individualmente necessárias, mas apenas coletivamente suficientes para definir uma categoria.

Tradicionalmente, as condições foram pensadas para ser sensorial ou perceptual na natureza. Para ilustrar, considere o bacharel de categoria. Para uma entidade de pertencer a essa categoria, ele deve seguir as seguintes condições: 'não é casada'; 'é do sexo masculino'; 'é um adulto'. Cada uma dessas condições é necessária para definir a categoria, mas nenhuma delas é suficiente individualmente, porque 'não é casada' igualmente poderia prender para solteirona, enquanto 'é masculino' poderia igualmente manter para o marido e assim por diante. Durante a década de 1970 os achados experimentais que emergiu sob a bandeira da teoria do protótipo mostrou a teoria clássica de categorização a ser implausível como um modelo de categorização humana.