Règle d'inférence fondamentale : à partir de « Si P alors Q » (P → Q) et de « P », on infère « Q ». C'est la règle de détachement principale utilisée pour appliquer des conditionnels afin d'obtenir des conséquents.

Principe

L'idée organisatrice est le détachement : un conditionnel avec un antécédent vrai habilite le conséquent sous la relation de conséquence de la logique considérée.

Démonstration

Scénario illustratif : si « S'il pleut alors le sol est mouillé » et « Il pleut » sont tous deux admis, on infère « Le sol est mouillé ». En calcul propositionnel, il s'agit d'une règle valide en un seul pas.

Mauvaise application

Confondre modus ponens avec l'affirmation du conséquent (à partir de « Si P alors Q » et « Q » inférer « P ») ou l'appliquer quand le conditionnel n'est pas utilisé comme implication matérielle (par ex. conditionnels causals, probabilistes ou contrefactuels) conduit à des conclusions invalides.

Conséquence

Le modus ponens soutient une grande partie du raisonnement déductif et de l'application des règles : il permet d'enchaîner des conditionnels pour déduire des résultats, soutient la construction de preuves et constitue l'armature de nombreux systèmes formels.

Inversion

L'inversion n'est pas une règle valide : l'affirmation du conséquent est l'inversion erronée courante. Un contraste légitime est le modus tollens, qui infère ¬P à partir de P → Q et ¬Q.

Limite

Valide dans la plupart des logiques classiques et de nombreuses logiques non classiques qui adoptent des conditionnels de type implication matérielle ; il faut être prudent dans les systèmes avec des règles conditionnelles restreintes (logiques de pertinence, certains logiques modales ou sous-structurelles) ou quand les conditionnels expriment des relations causales/explicatives.

Tension sémantique

Tension entre traiter « si...alors » comme implication matérielle (où le modus ponens s'applique directement) et le traiter comme expression de causalité, pertinence ou probabilité (où la règle peut encore être acceptable mais avec des nuances).

Synthèse

Le modus ponens est la règle canonique de détachement : lorsque l'on tient un conditionnel et son antécédent, le conséquent suit ; il est central en déduction classique mais doit être appliqué en tenant compte de l'interprétation des conditionnels.