Résumé : Au moyen d’une dualyse non-philosophique de l'un des opérateurs de la logique formelle moderne, le quantificateur, il est possible à clarifier les différences entre les modes de généralisation et de formalisation utilisés par la philosophie d'une part et ceux effectués par la non-philosophie d'autre part. De ceci, il est possible d'induire une théorie unifiée de l'individuation et de la quantification : le diagramme générique.