LA DEDUCTION, L EQUATION ET LE SYLLOGISME
homme, animai, mortel. Mais, en un autre sens, il y a quatre termes. En effet, le syllogisme veut dire : La totalité des hommes est une partie des animaux ; la totalité des animaux est une partie des mortels; donc, la toi ail té des hommes est une partie des mortels. Les quatre termes sont : 1 ° totalité des hommes ; 2° partie des animaux ; 3° totalité des animaux ; 4° partie des mortels.
Le syllogisme vulgaire n'est qu'une espèce d'un raisonnement plus général, qui est la comparaison de trois termes sous un rapport déterminé, soit d'égalité, soit d'identité, soit de grandeur et de contenance, d'extension, de compréhension et d'inhérence. Si vous ne considérez que les termes entre lesquels vous établissez une comparaison, il n'y en a jamais que trois ; si vous appelez termes les sujets et attributs des propositions, en y faisant entrer la relation sous laquelle vous considérez les objets, il y a toujours quatre termes, même dans le syllogisme. L'ambiguïté du verbe est sert à masquer les choses, qui reparaissent évidentes dès qu'on précise le sens du verbe être.
Le raisonnement par identités est donc beaucoup plus fondamental que le syllogisme, qui s'y ramène ; il est plus fondamental aussi que le raisonnement par égalité. L'identité de deux termes entraîne la possibilité de les substituer l'un à l'autre, comme on fait dans les opérations algébriques. Le syllogisme se réduit à une forme de substitution des identiques, comme l'a bien vu Stanley Jevons. Il y a identité entre tous les hommes et quelques animaux, entre tous les animaux et quelques mortels ; donc, il y a identité entre tous les hommes et quelques mortels ; donc on peut substituer dans le raisonnement un des termes à l'autre. Il y aura
ii8 LA PENSÉE
alors trois termes sous le rapport de la qualité : hommes, mortels, animaux ; et il y aura quatre termes sous le rapport de la quantité : totalité des hommes, partie des animaux, totalité des animaux, partie des mortels. La copule est voile des rapports plus précis. La déduction ne porte pas primitivement sur des quantités, elle porte sur des identités où la pensée maintient son accord avec elle-même1.