THÉORIE DE LA DÉDUCTION

Raisonner, c'est tirer d'un ou de plusieurs jugements donnés un autre jugement qui en est la conséquence. Dans le raisonnement déductif, qui îonclut du général au particulier, la conséquence découle nécessairement des prémisses paV cela seul qu'elles sont données.

La déduction est donc une inférence dans laquelle la conséquence dérive de jugements antécédents en vertu de la forme même de la pensée, indépendamment de sa matière. Dans le raisonnement inductif, qui va du particulier au général, le passage de quelques cas à tous les cas du même genre ne peut être expliqué uniquement par l'analyse des lois de l'esprit. C'est pourquoi la déduction seule relève de la Logique formelle.

La déduction est de deux sortes :

1° Immédiate, quand elle tire une conclusion d'un jugement donné sans recourir à un jugement intermédiaire.

2o Médiate, quand elle recourt à un jugement intermédiaire. De là deux articles.

ARTICLE PREMIER