déduction (philosophie)

déduction (philosophie), en logique, raisonnement qui consiste à conclure d’une ou de plusieurs prémisses, ou propositions données, à une proposition spécifique qui en est la conséquence nécessaire.

Lorsque l’antécédent ne comporte qu’une seule prémisse, on parle de déduction immédiate, ou inférence. Lorsqu’il en comporte plusieurs, la déduction est médiate, ou syllogistique.

L’exemple suivant est un raisonnement déductif qui prend la forme d’un syllogisme ; il comporte deux prémisses et une conclusion logique déduite de celles-ci : « si l’on admet que tous les êtres humains ont une tête et deux bras et que Pierre est un être humain, on peut alors logiquement conclure que Pierre doit avoir une tête et deux bras ». Ce raisonnement déductif est valide, c’est-à-dire que sa conclusion est vraie si toutes les prémisses sont vraies.

La méthode déductive constitue une forme essentielle de la pensée discursive.

Voir aussi induction (logique).