Eine grundlegende Schlussregel: aus 'Wenn P dann Q' (P → Q) und 'P' folgt 'Q'. Sie ist die primäre Detachierungsregel, mit der man Bedingungsaussagen anwendet, um Konsequenzen zu gewinnen.

Prinzip

Die organisierende Idee ist Detachierung: Ein Konditional zusammen mit einem wahren Antezedens erlaubt das Ziehen der Konsequenz unter der Folgerungsrelation der betreffenden Logik.

Demonstration

Illustratives Szenario: Wenn 'Wenn es regnet, ist der Boden nass' und 'Es regnet' beide angenommen werden, folgt 'Der Boden ist nass'. In der Aussagenkalkül ist dies eine einstufige gültige Regel.

Fehlanwendung

Die Verwechslung von Modus ponens mit der Bestätigung des Konsequens (aus 'Wenn P dann Q' und 'Q' folgert 'P') oder die Anwendung, wenn das Konditional nicht als materielle Implikation verwendet wird (z. B. kausale, probabilistische oder kontrafaktische Konditionale), führt zu ungültigen Schlüssen.

Konsequenz

Modus ponens bildet die Grundlage vieler deduktiver Schlüsse und Regelanwendungen: er erlaubt das Verketteln von Konditionalen zur Ableitung von Ergebnissen, stützt Beweiskonstruktionen und ist das Rückgrat vieler formaler Systeme.

Umkehrung

Die Umkehrung ist keine gültige Regel: Die Bestätigung des Konsequens ist die häufige fehlerhafte Umkehrung. Ein legitimer Gegensatz ist Modus tollens, der aus P → Q und ¬Q ¬P ableitet.

Abgrenzung

Gültig in den meisten klassischen und vielen nicht-klassischen Logiken, die materielle oder implikationsartige Konditionale annehmen; Vorsicht ist geboten in Systemen mit eingeschränkten Konditionalregeln (Relevanzlogiken, bestimmte modale oder substrukturelle Logiken) oder wenn Konditionale kausale/erklärende Beziehungen ausdrücken.

Semantische Spannung

Spannung zwischen der Behandlung von 'wenn...dann' als materielle Implikation (wo Modus ponens direkt anwendbar ist) und der Behandlung als Ausdruck von Kausalität, Relevanz oder Wahrscheinlichkeit (wo die Regel mit Vorbehalten gelten kann).

Synthese

Modus ponens ist die kanonische Detachierungsregel: wenn ein Konditional und sein Antezedens gehalten werden, folgt das Konsequens; sie ist zentral für klassische Deduktion, muss aber unter Berücksichtigung der Interpretation von Konditionalen angewandt werden.