Affirmation du conséquent

Carte Commune · n° 347486

L'affirmation du conséquent est un sophisme formel par lequel on considère une condition suffisante comme une condition nécessaire. On traite alors une implication logique comme si elle était une équivalence logique. En langage naturel, l'affirmation du conséquent s'exprime : Si P alors Q Q Donc, P Le conséquent Q de l'énoncé conditionnel Si P alors Q peut être réalisé même si l'antécédent P ne l'est pas. On nomme ainsi ce sophisme « affirmation du conséquent », car il consiste à affirmer que le conséquent est réalisé pour en inférer que son antécédent l'est aussi. En logique, ce raisonnement invalide prend la forme : ((P ⇒ Q) ∧ Q) ⇒ P. C'est en quelque sorte une confusion entre la possibilité et la nécessité. La possibilité implique que plusieurs causes peuvent avoir la même conséquence. Il faut pour cela s'assurer des interactions entre les causes pour la même conséquence. Pour que l'affirmation du conséquent soit valide, il faut que la cause et la conséquence soient non-seulement liées...

Lire sur Wikipédia · Image Auteur inconnuUnknown author, Public domain