Raisonnement déductif

En logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. La déduction est une opération par laquelle on établit au moyen de prémisses une conclusion qui en est la conséquence nécessaire, en vertu de règles d'inférence logiques. Ces règles sont notamment l'objet des Premiers Analytiques d'Aristote. On l'oppose généralement à l'induction, qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales. Le syllogisme suivant est correct : 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 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.