Une règle fondamentale d'inférence valable qui affirme que, à partir des prémisses A → B et A, on peut déduire B ; souvent exprimée «si A alors B ; A ; donc B».

Principe

Détachement du conséquent : lorsqu'un conditionnel et son antécédent sont disponibles dans une preuve ou un ensemble d'assertions, le conséquent peut être inféré comme conséquence garantie selon les règles d'inférence du système.

Démonstration

Étant donné «Si l'alarme est déclenchée alors le bâtiment est en alerte» et «L'alarme est déclenchée», le modus ponens donne comme conclusion directe «Le bâtiment est en alerte».

Mauvaise application

Employer le modus ponens lorsque l'antécédent A n'est que supposé de façon hypothétique ou défaillible sans être établi dans le contexte actuel, ou l'appliquer à des conditionnels probabilistes où A → B n'est pas une implication matérielle.

Conséquence

Constitue l'épine dorsale du raisonnement déductif et des systèmes à règles : il permet l'enchaînement des implications, l'inférence descendante dans les systèmes de preuves et figure dans la déduction naturelle et les calculs de Hilbert.

Inversion

La règle de conversion (de B déduire A) n'est pas valide ; la règle connexe de «nier l'antécédent» est fallacieuse, tandis que le modus tollens est une règle complémentaire valable utilisant la négation du conséquent.

Limite

Valable dans pratiquement tous les systèmes déductifs standard qui comportent l'implication matérielle ou un conditionnel approprié et une règle de détachement ; des nuances apparaissent dans les logiques de conditionnels non matériels ou qui distinguent assertion et supposition.

Tension sémantique

Tension entre la lecture des conditionnels comme implications matérielles (où le modus ponens est direct) et des lectures causales, normatives ou probabilistes où le détachement peut être problématique ou nécessiter des prémisses supplémentaires.

Synthèse

Le Modus Ponens concrétise le lien entre les conditionnels et les antécédents affirmés : c'est la règle canonique de détachement permettant d'extraire des conséquences, mais son usage légitime dépend du statut logique du conditionnel et de l'antécédent dans le système.