Déduction

"déduction" dans l'encyclopédie

• RAISONNEMENT

  • Écrit par Robert BLANCHÉ
  • 27 554 mots

  La déduction Le type du raisonnement direct, progressif et rigoureux, est la déduction, pour laquelle on peut reprendre la définition qu'Aristote donnait du syllogisme : « Un discours tel que, certaines choses étant posées, quelque autre chose en résulte nécessairement, par cela seul que les premières sont posées. » Pendant longtemps a régné, en effet, l'idée que toute déduction était réductible au syllogisme.

• INFÉRENCE

  • Écrit par Françoise ARMENGAUD
  • 1 068 mots

  On distingue aussi l'inférence démonstrative ou déduction, qui comporte l'idée de nécessité, et l'inférence non démonstrative, ou induction, qui comporte l'idée de probabilité ; inférer signifie donc soit déduire soit induire. L'inférence déductive est qualifiée de valide ou de non valide ; cette qualification ne se retrouve pas exactement pour l'inférence inductive.

• RAISONNEMENT CHEZ L'ADULTE, psychologie

  • Écrit par Jean-François BONNEFON
  • 6 399 mots

  La déduction (qui consiste à former une conclusion nécessairement vraie à partir d'informations complètement certaines) a longtemps été considérée comme le raisonnement le plus typique. Par contraste, le raisonnement sous incertitude (tirer des conclusions probablement vraies à partir d'informations incertaines) était considéré comme un phénomène périphérique, une forme dégradée de déduction.

• GENTZEN GERHARD (1909-1945)

  • Écrit par Gabriel SABBAGH
  • 728 mots

  Gentzen a développé l'étude des systèmes de déduction naturelle et établi un théorème d'élimination des coupures. Gerhard Gentzen a également donné une démonstration de consistance de l'arithmétique du premier ordre fondée sur l'induction transfinie jusqu'au premier nombre ordinal inaccessible pour l'exponentiation (et strictement supérieur à Ω). Ses méthodes et ses résultats ont profondément influé sur la théorie de la démonstration depuis 1945 et ont été péniblement et considérablement étendus à divers systèmes d'ordre supérieur.

• HISTOIRES EXTRAORDINAIRES, Edgar Allan Poe Fiche de lecture

  • Écrit par Michel FABRE
  • 5 446 mots
  • 1 média

  Raisonnement et déduction La déduction est le ressort du « Scarabée d'or » où un gentilhomme trouve un trésor après avoir déchiffré un texte protégé par un code graphique secret. De même, dans « La Lettre volée », la police charge Auguste Dupin de retrouver une lettre grâce à laquelle un ministre – dont elle a fouillé en vain l'appartement – veut faire « chanter » la reine.