Raisonnement déductif

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir déduction.

En logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière.

Définition[modifier | modifier le code]

La déduction procède de la conception que les moyens ne sont pas plus importants que la conclusion) par opposition à l'induction logique qui consiste à former des représentations générales à partir de faits particuliers. La déduction est un principe de la logique développée entre autres par Aristote.

Exemples[modifier | modifier le code]

Tous les hommes sont mortels.
Or tous les Athéniens sont des hommes.
Donc tous les Athéniens sont mortels.
  • Le syllogisme suivant est incorrect :
Tous les criminels sont contre le gouvernement.
Or tous les membres de l'opposition sont contre le gouvernement.
Donc tous les membres de l'opposition sont des criminels.

Ce dernier raisonnement est incorrect, car les hypothèses ne parviennent pas à relier l'appartenance au parti de l'opposition et le fait d'être un criminel. Il s'agit d'une sorte de sophisme amené par un argument fallacieux : il confond « certains contre le gouvernement » (les membres de l'opposition, les criminels), et conclut sur une égalité entre tous ces individus particuliers sous prétexte qu'ils appartiennent à la même catégorie. Seulement, s'il est possible d'être à la fois membre de l'opposition et criminel, on ne peut en déduire que l'un implique nécessairement l'autre ; c'est ce que l'on appelle le sophisme du milieu non distribué (fallacy of the undistributed middle). Dans ce genre de cas, les deux prémisses peuvent être vraies sans que la conclusion soit correcte, car la forme logique est incorrecte. D’autres théories logiques[Lesquelles ?] définissent le raisonnement déductif comme une inférence dont la conclusion est aussi certaine que les prémisses, tandis que dans un raisonnement inductif la conclusion peut être moins certaine que les prémisses. Dans les deux approches, la conclusion d'une inférence déductive découle des prémisses ; celles-ci ne peuvent être vraies si la conclusion est fausse. (En logique aristotélicienne[Où ?], les prémisses d'un raisonnement inductif peuvent entretenir le même lien avec la conclusion.)

Voir aussi[modifier | modifier le code]

Notes et références[modifier | modifier le code]