Non sequitur

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

Non sequitur signifie, en latin, « qui ne suit pas les prémisses ». En logique formelle, un argument est un non sequitur si la conclusion ne suit pas les prémisses. Il est notable que dans un non sequitur, la conclusion peut être soit vraie soit fausse, mais l'argument est un sophisme, car la conclusion ne suit pas les prémisses. Tous les sophismes sont en fait des sortes différentes de non sequiturs.

N'importe quel argument qui prend la forme suivante est un non sequitur:

1. Si A est vraie, B est vraie.
2. B est vraie.
3. Donc, A doit etre vraie.

Exemple:

1. Si je suis à Tokyo (A), alors je suis au Japon(B).
2. Je suis au Japon.
3. 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 :

1. Si A est vraie, alors B est vraie.
2. A est fausse.
3. Donc, B est fausse.

Exemple:

1. Si je suis à Tokyo (A), alors je suis au Japon (B).
2. Je ne suis pas à Tokyo.
3. Donc, je ne suis pas au Japon.

Le terme a une application spéciale en droit, sous une définition juridique formelle.

[modifier] Voir aussi

• Sophisme
• Quaternio terminorum