le solide engendré par la révolution d'un demi-cercle autour de son diamètre, on ne me définit qu'un nom. Sans doute on vous apprend par là le sens d'un nom, mais on vous apprend encore bien autre chose. On vous annonce que toutes les propriétés de toute sphère dérivent de cette formule génératrice. On réduit une donnée infiniment complexe à deux éléments. On transforme la donnée sensible en données abstraites; on exprime l'essence de la sphère, c'est-à-dire la cause intérieure et primordiale de toutes ses propriétés. Voilà la nature de toute vraie définition; elle ne se contente pas d'expliquer un nom, elle n'est pas un simple signalement; elle n'indique pas simplement une propriété distinctive, elle ne se borne pas à coller sur l'objet une étiquette propre à le faire reconnaître entre tous. Il y a en dehors de la définition plusieurs façons de faire reconnaître l'objet ; il y a telle autre propriété qui n'appartient qu'à lui; on pourrait désigner la sphère en disant que, de tous les corps, elle est celui qui, à surface égale, occupe le plus d'espace, et autrement encore. Seulement ces désignations ne sont pas des définitions; elles exposent une propriété caractéristique et dérivée, non une propriété génératrice et première; elles ne ramènent pas la chose à ses facteurs, elles ne la recréent pas sous nos yeux, elles ne montrent pas sa nature intime et ses éléments irréductibles. La définition est la proposition qui marque dans un objet la qualité d'où dérivent les autres, et qui ne dérive point d'une autre qualité. Ce n'est point là une proposition

verbale, car elle vous enseigne la qualité d'une chose Ce n'est point là l'affirmation d'une qualité ordinaire, car elle vous révèle la qualité qui est la source du reste. C'est une assertion d'une espèce extraordinaire, la plus féconde et la plus précieuse de toutes, qui résume toute une science, et en qui toute science aspire à se résumer. Il y a une définition dans chaque science; il y en a une pour chaque objet. Nous ne la possédons pas partout, mais nous la cherchons partout. Nous sommes parvenus à définir le mouvement des planètes par la force tangentielle et l'attraction qui le composent; nous définissons déjà en partie le corps chimique par la notion d'équivalent, et le corps vivant par la notion de type. Nous travaillons à transformer chaque groupe de phénomènes en quelques lois, forces ou notions abstraites. Nous nous efforçons d'atteindre en chaque objet les éléments générateurs, comme nous les atteignons dans la sphère, dans le cylindre, dans le cercle, dans le cône, et dans tous les composés mathématiques. Nous réduisons les corps naturels à deux ou trois sortes de mouvements, attraction, vibration, polarisation, comme nous réduisons les corps géométriques à deux ou trois sortes d'éléments, le point, le mouvement, la ligne, et nous jugeons notre science partielle ou complète, provisoire ou définitive, suivant que cette réduction est approximative ou absolue, imparfaite ou achevée.

IV

Même changement dans la théorie de la preuve. Selon Mill, on ne prouve pas que le prince Albert mourra en posant que tous les hommes sont mortels, car ce serait dire deux fois la même chose, mais en posant que Jean, Pierre et compagnie, bref tous les hommes dont nous avons entendu parler, sont

morts.

Je réponds que la vraie preuve n'est ni dans la mortalité de Jean, Pierre et compagnie, ni dans la mortalité de tous les hommes, mais ailleurs. On prouve un fait, dit Aristote', en montrant sa cause. On prouvera donc la mortalité du prince Albert en montrant la cause qui fait qu'il mourra. Et pourquoi mourra-t-il, sinon parce que le corps humain, étant un composé chimique instable, doit se dissoudre au bout d'un temps; en d'autres termes, parce que la mortalité est jointe à la qualité d'homme; Voilà la cause et voilà la preuve. C'est cette loi abstraite qui, présenté dans la nature, amènera la mort du prince, et qui, présente dans mon esprit, me montre la mort du prince. C'est cette proposition abstraite qui est probante; ce n'est ni la proposition particulière, ni la proposition générale. Elle est si bien la preuve qu'elle prouve les deux autres. Si Jean, Pierre et compagnie sont morts, c'est parce que la mortalité

1. Voyez les seconds analytiques, si supérieurs aux premiers: δί αἰτίων καὶ προτέρων..

est jointe à la qualité d'homme. Si tous les hommes sont morts ou mourront, c'est encore parce que la mortalité est jointe à la qualité d'homme. Ici, une fois de plus, le rôle de l'abstraction a été oublié. Mill l'a confondue avec les expériences; il n'a pas distingué la preuve et les matériaux de la preuve, la loi abstraite et le nombre fini ou indéfini de ses applications. Les applications contiennent la loi et la preuve, mais elles ne sont ni la loi ni la preuve. Les exemples de Pierre, Jean et des autres contiennent la cause, mais ils ne sont pas la cause. Ce n'est pas assez d'additionner les cas, il faut en retirer la loi. Ce n'est pas assez d'expérimenter, il faut abstraire. Voilà la grande opération scientifique. Le syllogisme ne va pas du particulier au particulier, comme dit Mill, ni du général au particulier, comme disent les logiciens ordinaires, mais de l'abstrait au concret, c'est-à-dire de la cause à l'effet. C'est à ce titre qu'il fait partie de la science; il en fait et il en marque tous les chaînons; il relie les principes aux effets; il fait communiquer les définitions avec les phénomènes. Il porte sur toute l'échelle de la science l'abstraction que la définition a portée au sommet.

V

La même opération explique aussi les axiomes. Selon Mill, si nous savons que des grandeurs égales ajoutées à des grandeurs égales font des sommes égales, ou que deux droites ne peuvent enclore un espace,

c'est par une expérience extérieure faite avec nos yeux, ou par une expérience intérieure faite avec notre imagination. Sans doute on peut savoir ainsi que deux droites ne sauraient enclore un espace, mais on peut le savoir encore d'une autre façon. On peut se représenter une droite par l'imagination, et l'on peut la concevoir aussi par la raison. On peut considérer son image ou sa définition. On peut l'étudier en elle-même ou dans les éléments générateurs. Je puis me représenter une droite toute faite, mais je puis aussi la résoudre en ses facteurs. Je puis assister à sa formation, et dégager les éléments abstraits qui l'engendrent, comme j'ai assisté à la formation du cylindre et dégagé le rectangle en révolution qui l'a engendré. Je puis dire non pas que la ligne droite est la plus courte d'un point à un autre, ce qui est une propriété dérivée, mais quelle est la ligne formée par le mouvement d'un point qui tend à se rapprocher d'un autre, et de cet autre seulement; ce qui revient à dire que deux points suffisent à déterminer une droite, en d'autres termes que deux droites ayant deux points communs coïncident dans toute leur étendue intermédiaire; d'où l'on voit que si deux droites enfermaient un espace, elles ne feraient qu'une droite et n'enfermeraient rien du tout. Voilà une seconde manière de connaître l'axiome, et il est clair qu'elle diffère beaucoup de la première. Dans la première, on le constate; dans la seconde, on le déduit. Dans la première, on éprouve qu'il est vrai; dans la seconde, on prouve qu'il est vrai. Dans la première,