Déduction

La déduction est un mode de raisonnement qui part de principes généraux pour en tirer une conclusion particulière. Sa force tient à une garantie : si les prémisses de départ sont vraies et si la forme du raisonnement est valide, alors la conclusion est nécessairement vraie. La déduction ne crée pas d'information nouvelle sur le monde, elle explicite ce qui était déjà contenu dans les prémisses.

C'est le raisonnement des mathématiques et de la logique formelle, là où la certitude prime. Sa limite est le revers de sa force : une déduction impeccable à partir de prémisses fausses conduit à une conclusion fausse, sans que la logique n'y puisse rien. On distingue ainsi la validité, qui concerne la correction de la forme, et la vérité, qui concerne la justesse des prémisses.