Le modus ponens et le modus tollens

Chapitre 10 : Raisonnement formel et synthèse · cours « Logique » · 7 questions

Deux règles d'inférence imparables : affirmer l'antécédent ou nier le conséquent.

Somme théologique

Modus Ponens et Tollens

Modus ponens et modus tollens

Le modus ponens (« mode qui pose ») et le modus tollens (« mode qui enlève ») sont les deux formes infaillibles du syllogisme hypothétique. Le modus ponens affirme la condition pour tirer la conséquence : « Si le Christ est ressuscité, notre foi n'est pas vaine ; or le Christ est ressuscité ; donc notre foi n'est pas vaine. » Le modus tollens nie la conséquence pour rejeter la condition : « Si Dieu n'existait pas, il n'y aurait pas de création ; or il y a une création ; donc Dieu existe. » C'est l'argument de Gamaliel (Ac 5, 38-39).

Modus ponens : affirmer la condition pour conclure. Modus tollens : nier la conséquence pour réfuter.

Testez-vous : 7 questions

1. Que signifie « modus ponens » en latin ?

  • Le mode qui nie
  • Le mode qui doute
  • Le mode qui enlève
  • Le mode qui pose
Voir la réponse

Réponse : Le mode qui pose

Modus ponens signifie « le mode qui pose » : si A alors B, or A, donc B.

2. Si P alors Q ; or P ; donc Q. De quel raisonnement s’agit-il ?

  • Négation de l’antécédent
  • Modus tollens
  • Affirmation du conséquent
  • Modus ponens
Voir la réponse

Réponse : Modus ponens

Le modus ponens : si P alors Q, or P, donc Q. Il pose l’antécédent pour poser le conséquent.

3. Si P alors Q ; or non Q ; donc non P. Comment appelle-t-on ce raisonnement ?

  • Affirmer le conséquent
  • Modus ponens direct
  • Modus tollens
  • Reductio ad absurdum
Voir la réponse

Réponse : Modus tollens

Le modus tollens : si P alors Q, or non Q, donc non P. Il nie le conséquent pour nier l’antécédent.

4. Comment appelle-t-on le sophisme qui conclut P à partir de « si P alors Q » et « Q » ?

  • Pétition de principe
  • Négation de l’antécédent
  • Modus tollens
  • Affirmation du conséquent
Voir la réponse

Réponse : Affirmation du conséquent

L’affirmation du conséquent est un sophisme : de « si P alors Q » et « Q », on ne peut conclure « P ».

5. Quel personnage des Actes des Apôtres utilise un modus tollens pour défendre les apôtres ?

  • Étienne
  • Pierre
  • Gamaliel
  • Paul
Voir la réponse

Réponse : Gamaliel

Gamaliel utilise un modus tollens : si cette oeuvre vient de Dieu, vous ne pourrez la détruire.

6. Dans la Somme théologique, quelle partie de l’article correspond typiquement à un modus tollens ?

  • Le sed contra
  • Le videtur quod
  • L’ad primum
  • Le respondeo
Voir la réponse

Réponse : Le sed contra

Le sed contra fonctionne souvent comme un modus tollens : il réfute la thèse adverse par ses conséquences.

7. L’affirmation du conséquent est un raisonnement valide.

  • Vrai
  • Faux
Voir la réponse

Réponse : Faux

L’affirmation du conséquent est un sophisme : de « si A alors B » et « B », on ne peut conclure « A ».

Faites cette leçon dans Apôtre : les questions en mode interactif, votre progression, des rappels pour ne rien oublier. Gratuit, sans publicité. Commencer la leçon ›

Dans ce chapitre : Raisonnement formel et synthèse

  1. Le modus ponens et le modus tollens
  2. Le carré des oppositions
  3. Éduction et raisonnements avancés
  4. Paradoxes et axiomes classiques
  5. Les dilemmes et la logique formelle