NATURE DE LA LOGIQUE. - LES CATÉGORIES

De quelque manière qu'il faille ensuite interpréter plus précisément cette expression vague, tout le monde doit convenir que la logique est une réflexion, et même un ensemble de réflexions, sur les procédés de la pensée. Or un tel ensemble de réflexions suppose avant lui, d'abord, l'exercice naturel et irréfléchi de la pensée, ensuite, la formation d'un grand nombre de réflexions isolées sur lesdits procédés. Ces deux conditions préalables de l'apparition de la logique ont été réalisées par les prédécesseurs d'Aristote. Au moment oii la pensée passe de l'action ou, pour mieux dire, de l'imitation esthétique de l'action, de l'activité de jeu, au savoir, efle est bien près do réfléchir sur elle-même. Car, dès qu'elle aura créé, soit une science, soit une certaine somme d'explications visant à être scientifiques, la pensée trouvera inévitablement dans cette création, c'està-dire en elle-même, un nouvel objet de savoir. Aussi les premières réflexions sur les procédés de la pensée apparaissent-efles de bonne heure dans le développement merveilleusement rapide de la pensée grecque entre Thaïes et Socrate. A peine les penseurs grecs ont-ils commencé la constitution de la géométrie et, d'autre part, rassemblé un certain nombre d'hypothèses physiques, que la réflexion de la pensée sur elle-même commence de se faire jour : telles sont les plaintes des Physiologues sur la faiblesse des moyens de connaître et notamment sur la faiblesse des sens ; telle est encore la découverte, que fait Parménide, d'un véritable critère de la vérité, avec son principe : êttiv t, oux

eo-Tiv (1), puisque tout cela suppose, et même comme à demi dégagée, une certaine notion de la science. Avec Socrate et Platon, pendant que d'autre part la géométrie achève de se constituer, les réflexions de la pensée sur elle-même s'accroissent tout à coup prodigieusement en importance et en nombre. Il s'en faut de peu qu'elles se réunissent chez Platon en un corps de doctrine. Toutefois ce n'est pas lui, c'est Aristote qui opère avec pleine conscience l'abstraction du procédé hors de ses apphcations et qui réduit définitivement en un système les réflexions abstraites rassemblées. Aristote lui-même s'est rendu compte et de ce qu'il devait en là matière, à ses prédéces seurs, ou du moins à Socrate, et de son originalité comme créateur de la logique. Les deux textes auxquels il faut se référer à ce propos parlent de la dialectique plutôt que de la logique en général, et cela est vrai, semble-t-il, même du second, par lequel se termine ÏOrganon, Mais on comprendra plus tard, quand on saura comment Aristote définit la dialectique, que c'est précisément dans cette partie de la logique qu'on voit le mieux à quel degré d'abstraction il a dû s'élever pour dégager les lois du raisonnement. Le premier texte est au chap. 4 du livre M de la Métaphysique, 1078 b, 25-27 '^2) : Socrate ne sait pas encore séparer le syllogisme d'avec l'essence dont le syllogisme part ni se rendre compte qu'on bâtirait aussi bien un syllogisme en partant d'une essence fictive opposée à l'essence réelle, et que ce syllogisme conclurait aussi légitimement que l'autre, bien que d'une manière opposée. L'autre texte, De sophisticis elenchis, 34, 184 a, 8-/^ 3, n'est pas moins net (3). Aristote se reconnaît, et c'est à juste titre, comme le fondateur de la logique.

(1) Vorsokr. fr. 8, v. 15 sq. (v. 70, Karsten) : ... îj <îe xptfftç mpi

(i) A la suite du texte cité p. 79, n. i: JfaXcxrtxiQ yUp t^xù? oujrw tôt' ^v, wffTg (Jûvac-Qat xat X^P^^ "^^^ "^^ ^""^^ TavavTta eTrtorxoTrstv, xal rwv èvavTiwv et rj uÙTii iTcifTxriiim.

(3) Kaî ntpi fxev twv j6)jT0pixwv ùnfjpx^ nollù xat îraXatà Ta Iz-^ôpLivoi, TTspt ^6 Toû o-uAXoYÎÇeo-ôai TravTfXùi; oùSev 6t;^o/x6v npàrèpov âUo "kéysiv, àW

i} T/3i6^ ÇïjToOvTs; ;ro)^ùv ;^p6vov eTTovov/xiv. On peut, il est vrai, comme

-Jtaiû^i

NATURE DE LA LOGIQUE

Quelle conception s'est-il faite de cette science qu'il a fondée ? Nous dirons tout à l'heure qu'il y a de l'empirisme ! dans la logique d'Aristote, et comment en eût-il été autrement dans une science qui débutait? Mais il ne résulte aucunement de là qu'Aristote ait conçu la logique comme un prolongement de la psychologie. Un disciple des Sophistes aurait pu entreprendre de décrire, par exemple, la succession des états d'esprit par lesquels passe un géomètre qui établit un théorème. Mais rien n'est et ne devait être plus loin des intentions d'Aristote, disciple de Socrate et de Platon. Il conçoit l'objet de la science comme étant le nécessaire, et la logique comme faisant connaître les procédés nécessaires de cette pensée du nécessaire. Reste seulement à savoir en quoi consistent ces procédés nécessaires, dont la logique entreprend l'étude théorique ou enseigne le maniement pratique.

La manière la plus simple de donner à la logique un objet nécessaire, c'est de la considérer comme formelle. Et l'on a dit effectivement qu'Aristote est un des partisans de la logique formelle. Si l'on sait prendre avec quelque rigueur cette notion d'une logique formelle, elle doit s'interpréter, semble-t-il, dans le sens adopté par Hamilton. Dire que la logique est formelle, cela veut dire qu'elle est la science de l'accord de la pensée avec elle-même, ou de la conséquence. La pensée apporterait avec elle la loi de non-contradiction, et, sans s'inquiéter du contenu quelconque des notions et des propositions, elle les transformerait sans autre souci que de ne pas se contredire ; la logique serait la science des lois de ces transformations, toutes lois dérivées de celle de non-contradiction. Cette manière de voir est étrangère à Aristote. Il n'a aucunement l'idée d'une loi de non-contradiction qui flotterait au-dessus des choses. La loi de non- contradiction est pour lui une nécessité, non de la pensée, mais des essences mêmes,

nous l'avons indiqué tout à l'heure, croire avec Thurot(o/>. cit, App. 1 : Aristote s* est il désigné comme l'auteur de la théorie du syllogisme ? p. 195-197) que ce texte se rapporte à la dialectique plutôt qu'à la logique.

un principe qui est à l'œuvre dans les choses. On doit même ajouter que ce principe n'est pas, au fond, une généralité qui, dans le monde des essences, soit comme une essence qui enveloppe et pénètre de^ essences subordonnées. La loi de non-contradiction prend en chaque sorte d'essences, ou même en chaque essence, un caractère spécial : c'est, par exemple, l'impair comme impair qui repousse la division par un multiple quelconque de deux. Chaque essence a sa loi de non-contradiction, à elle adaptée et à elle propre. Ainsi, pour Aristote, la logique n'est pas même formelle en ce sens qu'elle aurait pour objet un i^enre suprêmement général et qui envelopperait tous les autres. — Il est vrai qu'Aristote a fait, dans les Premiers anal 1/ ligues, une théorie du syllogisme, dans laquelle cette forme essentielle du raisonnement apparaît comme dégagée de tout contenu. Mais d'abord il faudra demander à la métaphysique si le syllogisme est, à proprement parler un procédé général, ou s'il n'est pas seulement l'équivalent d'un procédé générai. Ensuite les Premiers ana/i/tiques ne sont pas toute la logique d'Aristote. Le syllogisme, tel qulls l'étudient, convient indistinctement à toutes les sciences et, qui plus est, à la dialectique aussi bien qu'à la science. Mais, à côté des Premiers, il y a les Seconds analijîiques ; ou plutôt ce sont ceux-ci qui sont la cause finale de ceux-là. Or les Seconds analytiques étudient non plus tout syllogisme, mais le syllogisme démonstratif seulement, c'est-à-dire celui qui s'adapte aux exigences de l'objet de la science.

Aristote, ainsi opposé à la logique formelle, aiirait-il donc absorbé la logique dans la métaphysique et conçu la logique comme la science de la pensée nécessaire en tant qu'identique avec l'être, en un mot à peu près comme les Hégéliens, qui la définissent la science de l'idée pure? Les notions, prises en elles-mêmes et élevées au-dessus des contingences du monde sensible, se constitueraient et s'enchaîneraient d'une façon nécessaire ; cette constitution et cet enchaînement des idées pures seraient l'objet du savoir, ou le savoir puisque c'est tout un, et la logique serait elle-même l'idée de ce savoir. La constitution de cette idée

NATURE DE LÀ LOGIQUE

et son expansion en enchaînements d'idées subordonnées seraient bien entendu, eux aussi nécessaires, et si étrangers à toute contingence qu'ils se feraient comme au-dessus de rindividu et sans l'intervention de l'individu. — Bien que Prantl ait essayé de retrouver une conception de ce genre dans Aristote (l) on peut affirmer qu'elle n'est pas aristotélicienne. Aristote a dit sans doute que la science est identique à son objet. Mais cette identité s'explique plutôt par l'absorption de la pensée dans son objet, que par le fait que Fobjet serait lui-même, au fond, un moment de la pensée. Ensuite, Aristote n'étant pas notionaliste jusqu'au bout à la façon de Hegel, ou même de Platon, l'être sur lequel porte la métaphysique n'est pas le même que celui sur lequel portent les autres sciences et la logique : l'être de la métaphysique est une substance première ; l'être qu'atteignent les autres sciences en tant qu'elles raisonnent, et par conséquent l'être qu'atteint la logique, n'est jamais en somme que quelque substance seconde. Si donc on pouvait dire, en un sens, que chez Aristote la logique est la science de l'idée, il ne s'ensuivrait pas qu'elle serait la science de l'être. Ce serait plutôt le contraire. Enfin, un peu peut-être par le sentiment, qui ne lui est pas tout à fait étranger, qu'il y a au fond de l'individu de la liberté, et beaucoup par la raison qu'il est disposé, étant dans une certaine mesure empiriste, à faire une part à la contingence brute, Aristote, en fin de compte, distingue le connaître et l'être et estime que la connaissance est l'œuvre de l'individu, ou du moins qu'elle se fait dans l'individu et ne se laisse pas détacher de lui, si ce n'est par abstraction. C'est donc le savoir humain, et en tant qu'humain, que sa logique prend pour objet. A la vérité le savoir vise au nécessaire, mais c'est en l'extrayant du contingent, et la logique étudie les procédés, nécessaires en eux-mêmes, par lesquels le nécessaire est extrait du contingent. Mais ces procédés nécessaires s'accomplissent au milieu des opérations psychologiques de l'individu et ne s'en séparent que par abstraction. C'est pourquoi la logique, aux yeux d'Aris-

(i) Prantl, Geschichte der Logik, ï, 436; cf. Zeller, p. 187, n. 4.

tote, est la science d'un savoir qui n'est pas identique à l'être, mais qui constitue, en face de l'être, un ordre distinct. Et c'est pourquoi aussi la logique, qui ne serait déjà que la théorie du savoir, n'est pas même purement et simplement théorique : elle n'étudie pas des lois suivant lesquelles 1© savoir se constituerait automatiquement et de lui-même ; elle formule plutôt des règles dont l'application réussit, encore que ces règles soient, bien entendu, fondées en raison. En un mot, la logique n'est pas une science pure ; elle garde quelque chose d'un art. C'est bien ce qu'entendaient les Péripatéticiens en disant qu'elle est un instrument pour faire la science. On pourrait dire encore qu'elle est pour Aristote une science normative : autre façon d'indiquer qu'elle s'adresse à l'individu et le regarde comme l'auteur de la connaissance. Ainsi, pour Aristote, la logique est bien distincte de la métaphysique, de la métaphysique proprement dite et comme il l'entend, ou science de l'être. Il faut remarquer en revanche qu'elle ne se distingue pas, ou qu'elle se. distingue mal pour lui, de ce que nous appelons la théorie de la connaissance. Il n'a pas songé à mettre à part de la métaphysique et de la logique à la fois, pour en faire une science purement théorique, l'étude de la connaissance quant à sa portée et à sa valeur : la théorie de la connaissance est restée mêlée pour lui avec la logique. Valeur de la science et procédés pour obtenir la science, cela réuni fait l'objet d'une seule étude. Mais dans cette étude la principale place revient aux procédés pour obtenir la science.

C'est bien comme la connaissance de ces procédés que les textes d'Aristote nous invitent à nous représenter la logique. Voici trois considérations, empruntées à Zeller (1), qui l'établissent assez bien : i^ l'objet de la dialectique est de nous enseigner à déduire, sur toutes sortes de sujets, des syllogismes fondés sur des prémisses plausibles (2). En

(1) Zeller, p. 185-187.

(2) Top. I, 1 dëb. : h /xkv tidôBstiç tâç TrpayixaTeta; /z£0o(Îov supiêv, à^'

cv(f o^cûv, xaî avToi Xôyov ùns^ov-âç ixïjôsv kpoùusv uTrevavTtov. — 3. dëb, : fiÇouw Sï T8).e&i; -HQv |xs9oJov, ôrav ôaot'wg r/^MUSv Û(tkeo srrt pï}zopix^i xat iocrpixijç

LES CATÉGORIES

vertu de la correspondance qui existe entre la dialectique et l'analytique, celle-ci doit nous mettre en possession des moyens de déduire des syllogismes fondés sur des prémisses nécessaires. 2° L'ensemble des traités de logique d'Aristote donne bien l'impression que ce qui commande tout le reste, c'est l'étude* du procédé qui procure la science, savoir la démonstration ; et d'ailleurs le début des Premiers analytiques eux mêmes indique que tel est bien l'objet de la recherche d'Aristote logicien (l). 3° La Rhétorique (I, i, 1359 6, 10) nous parle d'une àva>v'j':',x7i stï'.ttt^ult,, ce qui est le nom authentique de la logique selon Aristote. Or qu'est- I ce que àvaÂJ£',v? C'est ramener une chose à ses éléments, ou en général à ses conditions. L'àvaXuTixy; zT.i'STri'xr^, c'est donc la science qui nous apprend à remonter aux causes, c'est-à-dire à constituer la science. — En somme donc la logique d'Aristote est une méthodologie, à laquelle est intimement unie une théorie de la connaissance.

Le plan de la logique d'Aristote suit immédiatement de cette manière de la concevoir. Déjà nous avons vu, dans le début des Premiers analytiques^ quelque chose qui ressemble fort à une indication de ce plan. Philopon ne fait que développer cette indication dans le passage suivant où le plan en question est présenté de la façon la plus sûre et la plus lumineuse (2) : « Nous voulons connaître la démonstration. Mais la démonstration est une sorte de syllogisme ; nous devons donc chercher, avant de nous attacher à la démonstration, ce que c'est que le syllogisme pur et simple. Le syllogisme pur et simple est, comme l'indique son nom, quelque chose de composé... Il faut donc commencer par

(i) I, 1 déh. : TZû'iûTO-j strêîv Tzioi ri x«t --ho; iTzvj v] cxe'-^iç, on Ktpï

(2) Schot. 38 fl, 45. A la vérité., le morceau que Brandis a publié dans les Scholia sous le nom de Philopon, appartient au commentaire des Catég. qu'on désigne sous le nom d'Ammonius (cf. p. 51, n. 1 et Busse, p. X) ; encore faut-il noter que le texte suivi par Brandis dans ce passage n'est peut être pas le meilleur (p. H, 1 et dans Vappar. crit. 1. 3).

apprendre de quels éléments il se compose : ces éléments sont les propositions. Celles-ci se composent de sujets et d'attributs. » Ainsi nous sommes amenés à considérer comme l'objet initial de la logique l'étude des notions séparées dont la proposition est l'assemblage. En un mot la logique doit débuter par l'étude des catégories. C'est cette étude qui va maintenant nous occuper.

Les catégories ont pour caractère extérieur — et c'est ce caractère qui leur assigne leur place au début de la logique — d'être des choses qui sont dites en dehors de toute liaison (1).

Mais que sont ces choses qui sont dites en dehors de toute liaison ? D'abord, ce ne sont pas des mots ; ce sont des notions. C'est ce qu'indique, à notre avis, le début des Catégories. Ce début en effet est la distinction des ojjLwvujxa et des 7uva)vj|i.a. Si Aristote fait ici cette distinction des homonymes et des synonymes^ c'est sans doute afin de nous avertir qu'il ne faut pas considérer comme se rangeant sous la même catégorie les choses qui n'ont en commun que le nom. Par exemple un homme et un homme en peinture ne sont pas l'un et l'autre des substances ; mais le premier seul est une substance (2).

Ainsi les catégories sont des notions. Mais quelle sorte de notions ? Il ne faut pas songer un instant à y voir avec Kaut des formes de la pensée, fût-ce des formes subjectives d'attribut, et non de jugement ou d'attribution; car ce subjectivisme est étranger aux anciens, et à x\ristote plus qu'à aucun autre.

Rangeons donc les catégories parmi les notions qui expriment quelque chose de l'être, et, pour trouver ce qu'elles en expriment, considérons d'abord le mot même de catégorie. Le sens classique du mot xa-rT^yopsIv, comme terme technique chez Aristote, est celui ^'attribuer. On ne voit point que le mot signifie jamais énoncer. Ainsi une caté- '

^ (1) Cat. 1 déb. : t&>v A^yoïiévc^^j rù uïv xxtù (7uu.n).oxi]v Xgygrat, rà 0 otvvj <7u^7r>.ox;^ç. t« akv ovv xarà <TupL7:lo7:r}v oïov (x.vBpconoç rpé^st, âvôpw- -oç vtxàl, rà ^'aveu (TU]:x7r>.ox/2Ç olov avôpwTroç, ^oùç, rpéyji, vtxà.

(2) Les noms dérivés indiquent les modes de la substance, les autres 'atégories.

Aristote 7

LES CATÉGORIES

gorie, ce serait un attribut (1). — On peut faire à cette manière de voir deux objections, dont la première est facile à lever et dont la seconde ne porte pas, — parce qu'elle prouverait trop. La première objection, c'est qu'un attribut fait partie d'une proposition et qu'une catégorie est une notion prise à part. — Sans doute, répondrons-nous, une catégorie n'est pas un attribut dans sa fonction d'attribut ; mais c'est une notion qui peut devenir un attribut. — La seconde objection est que la première des catégories, ou la substance, est précisément ce qui ne peut être attribut de rien. — On pourrait dire que la substance seconde s'attribue à la substance première comme sujet [Cat. 5, 2 a, 19), et que la substance première peut elle-même devenir attribut par accident : cette chose blanche est Socrate (Pr. an, I, 27, 43 a, 33). Mais ces deux réponses seraient sans valeur. Ce qu'il faut dire, c'est qu'il est impossible de trouver une notion qui convienne à la fois aux autres catégories et à la substance, que dès lors celle-ci constituera toujours un ordre à part et que tout ce qu'on peut faire est de définir l'ensemble des autres catégories : autrement il n'y aura aucune définition possible des catégories en général. Peutêtre d'autre part faudrait-il ajouter que, si les catégories renferment la substance, ce ne serait du moins que la substance seconde. En effet la science discursive, qui procède par notions, par attribution d'universaux à un sujet, ne peut pas porter sur un être qui n'a rien de commun avec les universaux. Cette substance ne peut jamais être que la substance seconde, et non pas la substance première. Sous ces réserves donc les catégories sont des attributs possibles, et, selon la distinction que fait le 2« chapitre des Catégories, elles sont xa'/ jTroxïitjLÉvoi;, et non h •jTcoxsij^évw. Être sv i7roxE!.|jL£V(i), c'est résider dans un sujet, sinon à titre de partie intégrante de ce sujet, du moins comme devant y Irouver un siège et un support : ainsi la grammaire est

(1) Pr. anal. I, Î7, 43 a, 29 : il y a des êtres qui ne sont attributs de rien ; il y en a d'autres qui sont attributs, mais ne reçoivent pas d'attributs antérieurs à eux. rà (?'«jTà /xkv xar' âÀ^wv xaTTjyooelTKt, xarà Si toOtwv aX).a TrpoTspov où xarioyopetTai.

dans Tâme. Ce qui est, comme les catégories, xaQ' Ottoxsiaévou, ce qui est attribut d'un sujet, c'est ce qui admet des parties subjectives (des espèces subordonnées), ou ce qui peut entrer comme partie logique dans la compréhension d'une notion ; en un mot c'est un genre. Les catégories sont donc des genres et, de fait, Aristote les appelle souvent les genres de Têtre, vx yévvi toù ovtoç (1). — Qu'est-ce maintenant qu'un genre pour Aristote ? C'est quelque chose qui peut se retrouver, à titre de fond commun, en plusieurs termes différents ; ces termes, sous l'aspect considéré, diffèrent par le plus et le moins seulement : ainsi les oiseaux, voilà un genre. Et par contre on ne fait pas un genre avec de simples ressemblances de rapports : ainsi les plumes et les écailles sont les unes à l'oiseau ce que les autres sont au poisson, mais cela n'autorise pas à faire rentrer, quant à l'enveloppe qui les revêt, les poissons et les oiseaux dans un même genre [De part. an. I, 4 déb.). Ainsi un genre est un contenu réellement commun ; un genre est, autant que cela est possible à un universel, quelque chose de réel. Puisque les catégories sont des genres, elles sont donc chacune un élément réellement commun dans les choses qui participent de chacune ; elles expriment des déterminations réelles de l'être.

Mais, si les catégories sont des genres, ce sont des genres qui ont quelque chose de caractéristique. Elles diffèrent des autres genres en ce qu'elles sont les genres les plus généraux possibles. Comme le dirait le passage des Premiers analytiques que nous avons cité tout à l'heure, elles sont les premiers attributs des choses. Ce caractère des catégories est ce qui en fait le mieux saisir la signification et Timportance. Pour Platon il semble que, depuis les indivi- <lus jusqu'à rUn et à l'Être, il n'y avait qu'une seule et unique hiérarchie de genres et d'espèces, avec un genre suprême qui se retrouvait jusque dans les dernières espèces. Aristote rompt absolument avec cette manière de voir. Il divise l'être en plusieurs genres irréductibles et incom'

(4) En quoi faisant, il est clair qu'il ne prétend pas faire de la substance un genre.

-c^^tr^^Ts^a»^..

LES CATEGORIES

mifnicables. Ces genres sont déjà très généraux sans doute, et ainsi le savoir, qui porte toujours sur des universaux, pourra s'élever très haut. Mais il n'y aura pas d'universel suprême et unique d'où Ton puisse faire découler tout le reste. Il y aura des genres coordonnés entre eux, sans passage de 1 un àTautre (1).

Cette irréductibilité des catégories assure la réalité qu'elles possèdent comme genres, puisqu'il n'est plus à craindre qu'elles soient, comme le genre suprême unique de Platon, vidées de tout contenu par une abstraction sans limites. Cependant, en tant qu'elles sont, malgré tout, très générales, les catégories d'Aristote peuvent être appelées formelles, dans un sens qui approche de celui oii ron parle d'une logique formelle. Elles peuvent aussi être qualifiées de déterminations logiques. Et en effet le logique pour Aristote, c'est ce qui est très général : c'est en ce sens quH oppose une recherche /ogigue, s'^teIv Xoyixwç, à des considérations spéciales, \6yo\ olxsloi (Bonitz, Ind. 432 b, o). Aussi est-ce avec raison que le traité des Catégories figure parmi les ouvrages de logique, et Zeller a commis un contre-sens en voulant renvoyer la théorie des catégories à la métaphysique. Il est bien entendu qu'il n'y a rien de purement formel et de purement logique dans Aristote : mais les catégories sont justement ce qu'il y a de plus formel et de plus logique, ce qui en thèse générale est le plus éloigné de l'individu. Or c'est sur un individu que roule la métaphysique.

De la nature des catégories découlent plusieurs conséquences, qui permettent de lever certaines objections ou d'éclaircir la pensée d'Aristote. — Puisque les catégories sont des genres, c'est-à-dire quelque chose qui a un contenu réel, Aristote a dû en exclure, ainsi qu'il l'a fait, l'Un et l'Être qui n'ont aucun contenu parce qu'ils conviennent à tout (2). Ce sont ces termes qui s'élèvent au-dessus des caté-

(i) Metaph. A, 28 fin : ov^è yào TaOra àva)vÛ6Tat oOr ctç aXkti^v. ojt Eiç h ri. Cf. K, 9, 4065 6, 8 et Pfiys. III, 1, -200 b. U.

(2) Voir p. ex. Metaph. B, 3, 998 6. 21 : t«ùt« yào (l'Un et l'Etre) xarà TrctvTwv jX6é)to'Ta \é-^v:(/ii twv ovtwv. o\iy^ olov re Si twv ovtwv ovTê to £v oyriTÔ ôv «ivai "^ivo^. Cf. Zeller, p. 260, n. 2.

o-ories que l'École appellera ^e/'mwîz transcendentales , — En tant que les catégories sont quelque chose de réel et d'ontologique, elles excluent en outre des déterminations subjectives comme le vrai et le faux, comme l'acte et la puissance, comme ce que l'École appelle les prédicables : le o^enre, l'espèce, la différence, le propre et l'accident, ou comme la matière et la forme. On peut dire d'ailleurs que le vrai et le faux, l'acte et la puissance conviendraient à tout, comme l'Un et l'Être. — En tant que les catégories sont formelles ou très générales, elles excluent pareillement les déterminations plus concrètes, par exemple le mouvement qui est une détermination proprement physique. Le quand et le où, tioté et '^o\J, peuvent appartenir à tous les êtres réels, même à l'individu suprême, car il est éternel, a£t, et il enveloppe le premier ciel, domaine propre du divin. — Enfin, puisque les catégories ne peuvent se déduire d'aucun genre, il est clair qu'Aristote ne pouvait que les recueillir empiriquement. Lés tentatives pour trouver le fil conducteur dont il se serait servi sont arbitraires. La première en date et la plus spécieuse est celle de Trendelenburg. Pour lui la table aristotélicienne des catégories se fonde sur une classification des parties du discours : l'ouo-ia, la substance, correspond au substantif; la qualité, à l'adjectif; \di quantité, aux noms de nombre; -poç ti, par rapport à, à toutes les formes comparatives et relatives ; ttots et Tîo'j, quand et on, aux adverbes de temps et de lieu; -oisiv, T:à(rye',v, xcldGa»., agir, pdtir, être dans tel état, aux verbes actifs, passifs et intransitifs ; ï'/iiy, à la signification propre du parfait grec, exprimant l'état que le sujet possède comme résultat d'une action accomplie. Mais il convient tout d'abord d'observer qu'il n'y a pas trace chez Aristote d'une telle classification des parties du discours. De plus le parallélisme de cette classification avec la table des catégories est loin d'être aussi exact que le donne à entendre Trendelenburg : c'est ce qui apparaît avec évidence, notamment dans le cas de la relation (1).

(1) Trendelenburg, Geschichte der Kateg oriente lire (ier vol. des llistorische Beitràge, p. 23 sqq., 19isq.), 4846, et Elementa logices

LES CATÉGOUXS

La liste des catégories telle que la donne Aristote, par exemple au début du chapitre 4 des Catégoines, est une énumération ordonnée empiriquement : 1° substance, 2° quantité, 3° qualité, ¥ relation, 5° où, 6** quand, 7° situation^ S^ avoir, 9o action, 10"^ passion (i). Mais cette énumération est considérée par lui comme complète et comme exacte: il est persuadé qu'il a trouvé le nombre vrai des catégories ou, dans tous les cas, le nombre le plus vraisemblable, car cette liste, exception faite pourtant de Y avoir et de la situation, se retrouve entière en plusieurs endroits (2). Quant aux cinq notions dont il est question à la fin des Catégories, à partir du chap. 12 : opposé, antérieur, simultané, mouvement, avoir au sens à'être propriétaire de quelque chose, on a vu (p. 27) que cette partie du traité, les Postprédicaments, doit être tenue pour inauthentique.

Le développement qu' Aristote a consacré à ses dix catégories est tout à fait inégal en étendue, même proportionnelle : presque rien sur irouiv et -àoysiv, rien sur tioj, TïOTs, £'/£t.v, ni, en somme, sur xùo-Oai (3). Pour les autres catégories, sauf pour la substance, le développement est quelquefois de peu d'intérêt, souvent hàtif et artificiel. Rien de difficile, il est vrai, comme une définition de notions, et Aristote avait encore bien peu de prédécesseurs.

La substance est étudiée au chapitre 5. Aristote com-

Aristoteleae,S^ éd., p. 56 sq. — Gf . Zeller, p. 264, n. 2, où Ton trouvera sur la question des indications plus complètes.

(1) Tôiv xarà fio^iULiwj TuaTT/o/Àv ye'^ouévùù'j ÏAKdro'j yjroioO'Ttav ff/jaaîvs'.

(2) Cf. Zeller, p. 263, n. 1 et p. 266, n. 3.

(3) Cat, ch. 9 : xrotîfvet Trao-^itv admettent la contrariété (erAûM/fer, refroidir ; être échauffé, être refroidi), ainsi que le plus et le moins. Le xiliBcii (Il b, 8 sq.) se dénomme 7rao'.jvj/:x«ç àrrô rwv ôe'ffswv; c'est pourquoi on en a parlé au chapitre de la relation. Cf. 7, 6 6, 14-44 : àv«x>to-tç, fjxù.(îi(i, x.«BéâpK fie coucher, la station droite ou assise) sont des positions, des déatiç, mais non (nvuxtiaBut, go-râvat, xff.QcuQat {être couché, être debout, être assis dont les noms peuvent sembler en efifet dérivés de ceux des Giastç correspondantes, et Ogon; est un npoç n ; un autre exemple mettrait ceci très clairement en lumière, à Venvers, renverse. — Sur ttou, ttotî, i;^gtv Aristote se borne à déclarer que manifestement il n'y a rien d'autre à dire, sinon à rappeler les exemples donnés antérieurement.

mence par distinguer entre les substances premières et les substances secondes [déh, à 2 a, 19). Parmi les substances secondes, Fespèce est plus substance que le genre (2 6, 7-28). Il n'y a d'ailleurs que les espèces et les i^enres qui soient des substances secondes, parce que seuls ils expriment l'essence des substances premières, quand on dit par exemple de tel homme, substance première, que c'est un homme, un animal ; au contraire, des termes tels que blanc, (il) court etc. ne donnent pas l'essence [b, 29- 3 a, 6), Tandis que la substance première n'est, comme on l'a vu, ni sv Otîoxeiijlevw ni xa8' uTioxetfxévou, le sujet ne pouvant être ni dans un sujet ni attribut d'un sujets la substance seconde en revanche n'est pas h •j7rox£i.{jL£v(j>, car l'homme n'est pas partie ou fonction de tel homme particulier, mais elle est xaô' {>7rox£i{jLévoi> (a, 7-21). De plus la substance seconde ne signifie pas le particulier et Xindivi-duel, Tooc Ti, elle est un universel, plus ou moins d'ailleurs selon qu'il s'agit de l'espèce ou du genre et selon le degré d'élévation de ce genre. Elle signifie une qualification, un TTO'.ôv, à savoir le ttoiov de la substance première, mais non un Tûoiov qui ne soit que cela, comme le blanc par exemple (3 b, 10-23). Ajoutons que les substances, tant premières que secondes, n'ont pas de contraires (6, 24-32) et qu'elles n'admettent pas le plus et le moins (6, 33-4 a, 9). Enfin ce qui, plus que tout, est le propre de la substance, c'est l'aptitude à recevoir en elle les contraires, tandis que cette aptitude fait défaut à toutes les autres catégories : il est impossible en effet qu'une couleur, une action, sans perdre leur unité et leur identité numériques, c'est-à-dire leur individualité, soient le sujet de contraires, comme blanc et noir, bon et mauvais (4 a, 10, ad fin.) (1).

(4) Ce morceau est d'une importance capitale : en voici le début (a, 10 21) : uâXtfira (îk £(îiov tâÇ &.>Ttxî ^oxsî ?tvat rô raÛTÔv xat h àptO/ixw ôv Twy èvavTÎwv etvat Svatlxù'j, oIov ettî f*«v T&iv âXXwv oùx àv t-/oi nç rh

xat «TTO'jîîaîa • wo-aûrwç Si xai în-t ràiv âXXwv, o(T« y.'Q «tflrtv oûcrtat, ïj ^s yt Ojo-îa h xai raùrov àoiô/xw ôv (ycxrixôv twv ÉvavTt«i>y «ortv, olov ô Ttç âvÔpw-

'ik

LES CATÉGORIES

Passons aux catégories autres que la substance. — La quantité, le tcoo-ôv (c. 6) comporte deux distinctions importantes : 1° la distinction de la quantité discrète (ttoot. Sitopid- {^svov), les nombres, les éléments du discours, et de la quantité con/mz^e (tuotov (j'jveyés), constituée par des parties dont les extrémités sont communes, ligne, surface, solide, temps, lieu {déb. — 5 a, 14); 2^ la distinction entre les quanta formés de parties qui ont une position les unes par rapport aux autres (sx Ôio-w syovxwv npoç olWtiKol twv sv ajTol; i/.op':a>v), ainsi les lignes, les surfaces etc., et d'autre part les quanta qui ne sont pas formés de telles parties (oùx s; r/ovTwv Oso-iv), la série des nombres, les moments du temps, les mots du discours {«, 15-37). Aristote distingue encore entre les Tto^à xaO'ajTa, dont il vient d'être question, et les Twoo-à xaxà a'jjjLêsêriXÔs : amsi c est par accident que la couleur, l'action, le mouvement sont des quanta, en tant que lune s'étend sur la surface, que les autres se déploient dans le temps (a, 37— A, 10). Le ttotov n'admet pas la contrariété : peu et beaucoup, grand et petit sont des relatifs ; c'est surtout par rapport au lieu que la quantité offre l'apparence de la contrariété, ainsi le haut et le bas, etc. {b, 11—6 a, 18). Il n'y a pas davantage place ici pour le plus et le moins : une longueur de trois coudées ne peut pas être plus longue qu'une autre longueur de trois coudées [b, 19-25). Enfin ce qui caractérise proprement la quantité, c'est renonciation égal, inégal; partout ailleurs il ne peut être question que de similitude {b, 20 ad fin.}, — Le relatif ou -pos ti est étudié dans le ch. 7. Est relatif ce qui se réfère à autre chose (aTisp so-tIv sts-owv... y. Tiûo; sTspov) : double de, semblable à, plus grand que, etc. Parmi les relatifs, il faut compter les dispositions permanentes (s^iç) ou passagères (SiàGso-w ; cf. 8, 8 b, 27), la sensation, la science, la position (déb. — 6 ô, 14). Certains relatifs, vertu et vice, science et ignorance, admettent des contraires, mais non certains autres : double, triple (6, 15-19). Il en est de même pour le plus et le moins; car,

s^il y a des degrés dans la similitude, par contre le double ne peut être plus ou moins double (6, 20-26). Tout relatif, bien énoncé, a son corrélatif (àvuio-Tpéîpov) : maître, esclave, double, moitié (A, 27-7 b, 14). Entre les corrélatifs il y a souvent, comme dans les deux exemples précédents, simultanéité naturelle (àjjia Tri cpùo-st) ; mais il n'en est pas toujours ainsi, car l'objet de la science ou de la sensation (to £TC5.(7T/iT6v, 10 alo-STjTov) pcut exister antérieurement à l'une ou à l'autre. D'autre part, tandis que la non-existence ou la suppression de Tobjet entraîne celle de la iaculté corrélative, la réciproque n'est pas vraie (1)(A, 15-8 a, 12). Enfin c'est une question (àîropia) de savoir si le relatif est seulement ce qui se réfère à autre chose. Si en effet le relatif peut être quelque chose de plus que ce rapport, alors au moins les substances secondes seront quelquefois des relatifs; car la tête et la main, non en tant que telle ou telle (ce seraient alors des substances premières), mais en tant que tête et que main, seront la tête et la main du corps. Toutefois la vérité est que tout l'être du relatif est proprement dans la relation (8 a. 32, 39 : èVt', oà To slvaî. Tol^- 7:pôç t». TaÙTov tw Tupoc; T'I tiidç syst-v) et que qui sait un des termes sait le tout de l'autre : par exemple, le double est le double de ce qui en est la moitié; au contraire la connaissance de la tête et de la main ne donne pas la connaissance totale du corps (a, 13 ad fin.). — La quaUté, le 7co'.6v (c. 8) a plusieurs acceptions. Une première espèce comprend Yt^ic, et la ôvàGs^riç, que nous avons déjà eu à mentionner à propos des relatifs : de la première Aristote donne comme exemples la science, la vertu; de la seconde, la chaleur et le refroidissement, la maladie et la santé {déb. 9 «, 13). En second lieu, c'est l'aptitude ou l'inaptitude naturelles à faire, à subir une action ou à y résister (ouvaaiç cs-jcnxYi r^ àôuvaji-'la toO Tuoirjora'l xi paôiwç t, |jL7jÔ£v -ào--y^ei.v) : ainsi l'aptitude à courir facilement dans un coureur; chez l'homme sain ou l'homme maladif, l'aptitude ou l'inaptitude à n'être pas affecté par les causes de

({) To^kv STTtoTïj-ôv àvKips$h ff'jvavatost r«v sTTKXTïjaYjv, ij âï STzfyT/iu-'fi

^>v'-s^^;jgR/

LES CATÉGORIES

maladie; dur et mou, c'est Faptitude ou l'inaptitude à résister à la division (9 a, 14-27). Viennent ensuite les qualités affectives (TraOTjTixal TcotoTTiTe;), les unes étant les qualités diverses qui affectent les sens (saveurs, températures), les autres exprimant les affections de leur sujet, la rougeur par exemple ou la pâleur, car le sujet rougit ou pâlit parce qu'il est affecté (aTto îrâOouç, oià TiàQoç) (h, 28-10 a, 10). Dans la quatrième espèce de -oiov Aristole range la figure (^y;/i|xa, {Aop^pvi), ainsi le droit et le courbe (1) (10 a, 11-24). C'est, observe-t-il encore, du nom. de chaque qualité que dérive, au moins quand la langue est complète, le nom du quale correspondant (àTroTvîçT^otoTrjTOs Trapwvufxw; \i-^t'Z'3.\ To TToiov) : blancheur, blanc, justice, juste, etc. (a, 27-6, 11). Ajoutons que, dans la plupart des cas, la qualité admet aussi bien la contrariété que le plus et le moins [b, 12-11 a, 14). Enfin le propre de la qualité, c'est d'être dite semblable ou dissemblable (a, 15-19). Il n y a d'ailleurs aucun inconvénient à faire entrer, comme on l'a fait, dans la qualité des déterminations que nous avons comptées parmi les relatifs, à savoir des s^e'-s et des ô'.aGédeiç. Le quale en effet est essentiellement ce qui appartient à un sujet individuel, et ce sont les qualités de ce sujet qui font son individualité; or ce qui est individuel n'est pas relatif (a, 20 ad fin.), La remarque est importante; elle exprime bien le caractère des catégories aristotéliciennes : ce ne sont pas des morceaux réalistiquement découpés dans les choses, ce sont des points de vue sur les choses, et une même chose peut être envisagée à différents points de vue.

Du traité des Catégories il faut rapprocher le livre A de la Métaphysique qui contient parfois des indications plus intéressantes et plus mûres. Mais peut-être est-ce en partie volontairement qu'Aristote s'est borné dans le traité des Catégories à des indications très imparfaites. Car, si selon

toute apparence ce traité était l'introduction à tout le cours de philosophie, il s'adressait à des auditeurs non préparés. Quoi qu'il en soit, ni le sens et la portée générale de la doctrine des catégories, ni la nature de chaque catégorie n'ont été déterminés avec une précision suffisante par notre traité et ces lacunes n'ont été ailleurs qu'imparfaitement comblées par Aristote.

(1) n exclut du rrotôv des déterminations telles que rare et dense, rude et lisse : elles signifient plutôt, selon lui, la position réciproque des parties constituantes (plus ou moins éloignées par ex.) et sont par conséquent de l'ordre du Ttpà^ n.

■xré^Ê^