Eine grundlegende gültige Schlussregel, die besagt, dass aus den Prämissen A → B und A das B gefolgert werden kann; oft beschrieben als ‚wenn A dann B; A; also B.‘

Prinzip

Detachment des Konsequenten: wenn eine Implikation und ihr Antezedens innerhalb eines Beweises oder einer Menge von Aussagen vorliegen, kann das Konsequent als gesicherte Folgerung unter den Inferenzregeln des Systems abgeleitet werden.

Demonstration

Gegeben »Wenn der Alarm ausgelöst wird, dann ist das Gebäude alarmiert« und »Der Alarm ist ausgelöst«, folgt durch Modus Ponens direkt »Das Gebäude ist alarmiert«.

Fehlanwendung

Anwendung von Modus Ponens, wenn das Antezedens A nur hypothetisch oder defeasibel angenommen wurde, ohne im aktuellen Kontext etabliert zu sein, oder die Anwendung auf probabilistische Konditionale, wo A → B keine materielle Implikation ist.

Konsequenz

Bildet das Rückgrat deduktiven Denkens und regelbasierter Systeme: ermöglicht das Verketten von Implikationen, Vorwärtsableitung in Beweissystemen und ist in natürlich-deduktiven sowie Hilbert-Stilen verankert.

Umkehrung

Die Umkehrung (von B auf A schließen) ist nicht gültig; die verwandte Regel ‚Bestreiten des Antezedens‘ ist trügerisch, während Modus Tollens eine gültige komplementäre Regel ist, die die Negation des Konsequenten nutzt.

Abgrenzung

Gilt in nahezu allen Standard-Zwecksystemen, die materielle Implikation oder einen adäquaten Konditional und eine Detachierungsregel aufweisen; Nuancen treten in Logiken mit nicht-materiellen Konditionalen oder wo Assertion und Annahme unterschieden werden, auf.

Semantische Spannung

Spannung zwischen der Interpretation von Konditionalen als materielle Implikationen (wo Modus Ponens unmittelbar ist) und Interpretationen als kausale, normative oder probabilistische Konditionale, bei denen Detachment problematisch sein kann oder zusätzliche Prämissen verlangt.

Synthese

Modus Ponens setzt die Verbindung zwischen konditionalen Aussagen und bestätigten Antezedenzien um: er ist die kanonische Detachierungsregel zum Ziehen von Konsequenten, doch seine zulässige Anwendung hängt vom logischen Status des Konditionals und des Antezedens im System ab.