##  [Modus Tollens](/fr/node/59244) 

 Définition

Règle d'inférence : à partir de « Si P alors Q » (P → Q) et de « non Q » (¬Q), inférer « non P » (¬P). C'est la manière standard de rejeter un antécédent par l'échec d'un conséquent.

 

 

 

 

 

 





## Principe

Principe

L'idée organisatrice est le rejet fondé sur la contraposition : un conditionnel qui garantit Q lorsque P tient autorise la négation de P lorsque Q échoue, dans les logiques qui permettent un raisonnement contraposé.

 

 

 

 

 





## Démonstration

Démonstration

Scénario illustratif : si « Si l'alarme détecte de la fumée alors l'alarme sonne » et « L'alarme n'a pas sonné » sont admis, le modus tollens permet d'inférer « L'alarme n'a pas détecté de fumée ». En contexte de test scientifique, l'absence du conséquent attendu affaiblit ou réfute l'hypothèse.

 

 

 

 

## Mauvaise application

Mauvaise application

Appliquer le modus tollens là où le conditionnel est probabiliste, réfragable, causal ou sensible au contexte (p. ex. « Si P alors généralement Q ») sans qualifier l'inférence conduit à des rejets d'hypothèses trop confiants ou incorrects.

 

 

 

 

 





## Conséquence

Conséquence

Permet un raisonnement de type falsification : c'est un outil fondamental pour réfuter des hypothèses, éliminer des candidats et construire des preuves par contraposition dans de nombreux systèmes formels.

 

 

 

 

## Inversion

Inversion

L'inversion incorrecte est le déni de l'antécédent (à partir de P → Q et ¬P inférer ¬Q), qui est invalide. Le modus ponens est son pendant affirmatif.

 

 

 

 

 





## Limite

Limite

Dépend du fait que le conditionnel soit suffisamment fort (matériel ou plus fort) pour soutenir la contraposition ; dans les logiques qui ne valident pas la contraposition ou lorsque les conditionnels sont non matériels, le modus tollens peut échouer ou nécessiter une reformulation.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Tension entre la validité contraposée et des contextes où les conséquents peuvent échouer pour des raisons indépendantes de l'antécédent (causes multiples, conditions d'arrière-plan) ; la tension est à la fois pratique et formelle.

 

 

 

 

 





## Synthèse

Synthèse

Le modus tollens est l'inférence basée sur la contraposition : quand un conditionnel est accepté et que son conséquent est faux, l'antécédent peut être rejeté ; il fonde la falsification mais doit être appliqué en tenant compte de la nature du conditionnel.