La classification relève traditionnellement de l'étude de la logique. Mais à quel titre exactement ? Une réponse consiste à considérer que la logique opère par excellence sur des classes, et qu'à ce titre elle constitue la science générale des classifications. Telle est la conception que véhicule via Porphyre la logique classique d'inspiration scolastique. Le xix e siècle est venu bouleverser ces habitudes. D'une part, les sciences empiriques élaborent des taxinomies indépendantes de la

more »

... ance abstraite ou a priori que peuvent fournir les logiciens, au point que ce sont plutôt ces derniers qui viennent puiser des méthodes dans la chimie, la botanique ou la minéralogie. D'autre part, le développement de la logique symbolique a renouvelé la compréhension de la logique elle-même : sans être une théorie générale de la classification, elle est en revanche susceptible de recourir à une classification de ses objets propres (ensembles, fonctions, symboles, etc.).