signifie, en latin, « qui ne suit pas les prémisses ». En logique formelle, un argument est un si la conclusion ne suit pas les prémisses.
Le terme de non sequitur a une application spéciale en droit, sous une définition juridique formelle.
Sophisme
Le peut désigner un sophisme. Bien que la conclusion puisse être soit vraie soit fausse, le raisonnement est fallacieux car il ne suit pas les prémisses. Tous les sophismes sont en fait des sortes différentes de non sequitur.
Dans ce cas, le est issu d'erreurs sur la notion logique d'implication (ou condition suffisante). L'affirmation « Si A est vraie, alors B est vraie » peut s'écrire « A implique B » (ou « A ⇒ B » en langage formel).
L'erreur de raisonnement (voulue ou non par son auteur) fait donner à cette implication plus de force qu'elle n'en a réellement, en lui attribuant par erreur la force d'une équivalence ou condition nécessaire et suffisante.
Formalisme Le peut s'exprimer sous les formes suivantes :
Si A est vraie, alors B est vraie. B est vraie. Donc, A doit être vraie.
Exemple :
Si je suis à Tokyo (A), alors je suis au Japon (B). Je suis au Japon. Donc, je dois être à Tokyo.
Alors qu'en réalité, je pourrais être n'importe où au Japon.
La forme suivante est également un non sequitur :
Si A est vraie, alors B est vraie. A est fausse. Donc, B est fausse.
Exemple :
Si je suis à Tokyo (A), alors je suis au Japon (B). Je ne suis pas à Tokyo. Donc, je ne suis pas au Japon. Alors qu'en réalité, Tokyo n'est qu'une ville parmi plusieurs autres villes japonaises, je peux donc être au Japon sans forcément être à Tokyo.
Voir aussi Articles connexes Affirmation du conséquent Quaternio terminorum Expression latine
Liens externes
Catégorie:Raisonnement fallacieux Catégorie:Expression latine utilisée en droit Catégorie:Logique formelle