ABCD

ABcD,

AaCD,

aBGD,

aBcD,

abCD,

ahcD,

ahcd.

On le voit, cette machine, dont nous n'avons pas à décrire ici le mécanisme intérieur S est comme la réalisation matérielle du corps entier de la logique par substitution. Étant données certaines prémisses, elle classe, choisit et rejette les combinaisons des termes, comme le ferait un esprit pensant ; l'exactitude automatique des résultats qu'elle donne est une preuve de la vérité du système qu'elle applique.

IX. L'induction est l'opération Inverse de la déduction, et, comme tout procédé inverse , elle est beaucoup plus complexe que l'opération directe à laquelle elle correspond. On la définit, d'ordinaire, le procédé de raisonnement par lequel l'esprit passe de la connaissance des faits à la connaissance des lois qui les régissent, ou du particulier au général. Cette définition, exacte s'il s'agit de l'induction matérielle, est insuffisante dès qu'il s'agit de l'induction formelle, c'est-àdire de l'induction considérée abstraction faite de toute matière spéciale ^

La déduction logique, en toute son étendue , consiste à tirer d'une ou de plusieurs lois toutes les combinaisons qui peuvent exister sous les conditions énon-