Déduction , en logique, d'une preuve rigoureuse, ou dérivation, d'une déclaration (la conclusion) à partir d'une ou plusieurs déclarations (les prémisses) - c'est-à - dire une chaîne d'énoncés, dont chacun est soit une prémisse, soit une conséquence d'une déclaration survenant plus tôt dans la preuve. Cet usage est une généralisation de ce que le philosophe grec Aristote appelait le syllogisme, mais un syllogisme est maintenant reconnu comme un simple cas particulier de déduction. En outre, la conception traditionnelle selon laquelle la déduction procède «du général au spécifique» ou «de l'universel au particulier» a été abandonnée comme étant incorrecte par la plupart des logiciens. Certains experts considèrent que toute inférence valide est de forme déductive et, pour cette raison et d'autres, rejettent le prétendu contraste entre la déduction et l'induction. Voir égalementméthode axiomatique; système formel; inférence.
En savoir plus sur ce sujet Réflexion: Déduction Le raisonnement déductif, ou déduction, consiste à analyser des formes d'argumentation valides et à en tirer les conclusions implicites dans leurs prémisses .... Cet article a été récemment révisé et mis à jour par Brian Duignan, rédacteur en chef.
