Déduction logique

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir déduction.

En logique, la déduction procède de la conception que les moyens ne sont pas plus importants que la fin (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.


[modifier] Exemples

  • Corrects :
Tous les hommes sont mortels.
Or tous les Athéniens sont des hommes.
Donc tous les athéniens sont mortels.
La peinture est au dessus du bureau.
Le bureau est au dessus du sol.
Par conséquent la peinture est au dessus du sol.
  • Incorrects :
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 raisonnement est incorrect parce que 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. Le mode de cette figure de syllogisme n'est pas valide.

Elle n'y parvient pas surtout parce que les membres de l'opposition ne sont pas tous contre le gouvernement, ni que les criminels sont tous contre le gouvernement. Il y a donc deux prémisses fausses parce que non vraies.

Aussi, le problème de toutes déduction, c'est qu'elle se base sur la croyance que la logique ne nous trompera pas. Alors que tout nos énoncées logiques nous proviennent de notre perception.

[modifier] Voir aussi