Non sequitur
Un article de Wikipédia, l'encyclopédie libre.
  |
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
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:
- Si A est vraie, B est vraie.
- B est vraie.
- Donc, A doit etre 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.
Ce sophisme est issu d'erreurs sur la notion mathématique d'implication (ou condition suffisante)
L'affirmation : "Si A est vraie, alors B est vraie" peut se dire "A implique B" en mathématique (et en langage formel : " A => B " )
Être à Tokyo est une condition suffisante pour dire qu'on est au japon, mais elle n'est pas nécessaire, (quoi que puissent en dire certains guides touristiques). Ainsi on peut être au japon sans être à Tokyo, (ou autrement formulé : le fait de ne pas être à Tokyo ne signifie pas qu'on n'est pas au japon.)
L'erreur de raisonnement (voulu ou non par son auteur) nous fait donner à cette implication plus de force qu'elle n'en a réellement. Lui attribuant par erreur la force d'une équivalence, ou condition "nécessaire et suffisante". L'équivalence étant un lien logique bien plus fort et bien plus facile à utiliser entre deux affirmations.
Le terme de non sequitur a une application spéciale en droit, sous une définition juridique formelle.
