Modus tollens

Le modus tollens est une règle d'inférence de la logique : si P implique Q, or que Q est nié, alors P doit également être nié. Formalisé par Aristote dans les Premiers Analytiques et repris dans les traités scolastiques, il fonde notamment la preuve par contraposition. Cet outil démonstratif permet d'établir la fausseté d'une thèse en montrant que ses conséquences nécessaires sont elles-mêmes fausses.

Type

Notion de logique

Nom latin

Modus Tollens

Description

Règle d'inférence : si P alors Q, or non Q, donc non P (Aristote, Premiers Analytiques II ; traités scolastiques).

Fiches liées

• Affirmation du conséquent
• Saint Thomas d'Aquin
• Contraposition
• Conséquence

Dans les cours

• Logique
• Rhétorique
• Le modus ponens et le modus tollens (Logique)
• Éduction et raisonnements avancés (Logique)
• Le pathos : les émotions selon Aristote (Rhétorique)

Catégorie : Notion