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

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

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

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

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

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

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 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

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.