## [Déduction](/fr/node/59906) Définition Le processus ou l'opération consistant à tirer des conclusions qui suivent nécessairement de prémisses données par l'application de règles d'inférence au sein d'un système logique ; la déduction produit des conclusions dont la vérité est entraînée par les prémisses et les règles. ## Principe Principe La déduction est régie par des règles d'inférence qui préservent la conséquence : si les prémisses sont vraies (ou dérivables) dans le système et que les règles sont appliquées correctement, alors les conclusions sont garanties vraies (ou dérivables) par rapport à la sémantique du système. ## Démonstration Démonstration Un pas déductif prototypique est le Modus Ponens : de 'Si P alors Q' et 'P' on déduit 'Q'. Dans un calcul des séquents, cela correspond à transformer un séquent portant P et P→Q à gauche en un séquent portant Q à droite via l'application d'une règle. ## Mauvaise application Mauvaise application Confondre les inférences abductives ou inductives (inférence à la meilleure explication ou généralisation à partir d'échantillons) avec des conclusions déductivement certaines ; commettre des sophismes logiques tels qu'affirmer le conséquent ou nier l'antécédent et croire que la conclusion est assurée déductivement. ## Conséquence Conséquence Un raisonnement déductif correct procure la certitude (relative aux prémisses et aux règles) et constitue l'épine dorsale des mathématiques formelles, de la vérification et des systèmes de raisonnement symbolique ; il permet de dériver toutes les conséquences d'un ensemble d'axiomes dans un système formel. ## Inversion Inversion Le contraste inverse est l'inférence inductive ou abductive : au lieu de tirer des conséquences nécessaires des prémisses, on infère des lois générales à partir d'observations ou on hypothétise des prémisses qui expliquent au mieux des conclusions observées — ces inférences n'ont pas la nécessité déductive. ## Limite Limite S'applique aux systèmes formels régis par des règles explicites ; elle ne couvre pas la généralisation empirique, l'inférence probabiliste qui produit des degrés de croyance, ni les sauts heuristiques/créatifs non justifiés par les règles du système. ## Tension sémantique Tension sémantique Tension entre la déduction et d'autres modes de raisonnement : la déduction exige des règles préservant la vérité et confère la certitude, tandis que l'induction et l'abduction échangent la certitude pour un pouvoir explicatif ou prédictif ampliatif ; les distinguer est crucial en méthodologie. ## Synthèse Synthèse La déduction est la transformation régie par des règles de prémisses en conclusions entraînées par ces prémisses au sein d'un système formel, fournissant une certitude relative aux axiomes et règles choisis et contrastant avec les modes d'inférence ampliatifs.