Modus ponendo ponens

Modus ponendo ponens

Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird.

Der Modus ponens erlaubt es, aus zwei Aussagen der Form Wenn A, dann B und A (den beiden Prämissen der Schlussfigur) eine Aussage der Form B (die Konklusion der Schlussfigur) herzuleiten.

Die eigentliche Bezeichnung für den Modus ponens ist – in Abgrenzung zum Modus tollendo ponens – Modus ponendo ponens. Synonym werden unter anderem die Ausdrücke Abtrennungsregel oder Implikationsbeseitigung verwandt.

Abgekürzt wird die Schlussregel vielfach mit MP beziehungsweise MPP.

Inhaltsverzeichnis

Etymologie

Der Ausdruck Modus ponens leitet sich aus den lateinischen Wörtern modus (hier: Schlussfigur) und ponere (stellen, setzen) ab und bedeutet setzende Schlussfigur, d.h. Schlussfigur, bei der eine positive Aussage hergeleitet wird.

Der vollständige lateinische Name, Modus ponendo ponens, "Schlussfigur (modus), die durch das Setzen (ponendo) einer Aussage eine andere Aussage setzt (ponens)", lässt sich so erklären, dass bei gegebener erster Prämisse, "Wenn A, dann B", durch das "Setzen" (Annehmen) der zweiten Prämisse, A, der aus beiden folgende Satz B "gesetzt" (hergeleitet) wird.

Formulierung

Aus den Prämissen

A →B

und

A

folgt die Conclusio

B

Beispiel:

Aus den Voraussetzungen „Wenn es regnet, wird die Straße nass“ und „Es regnet“ folgt logisch: „Die Straße wird nass“.

Logische Formen des Modus Ponens

Als Aussage

Obwohl der Modus ponendo ponens eine Schlussregel, also ein metasprachliches Konzept ist, wird die Bezeichnung "Modus ponens" gelegentlich auch für objektsprachliche Ausdrücke mit der folgenden Gestalt verwendet:

(A ∧ (A → B)) → B

Da aber Schlussregeln und Aussagen ganz unterschiedliche Konzepte sind, ist es wissenschaftlich eher unglücklich, sie mit derselben Bezeichnung zu benennen. Generell ist die Vermischung von Objekt- und Metasprache problematisch und sollte normalerweise unterbleiben.

Als Subjunktionsbeseitigungsregel

Als Abtrennungsregel in logischen Kalkülen (auch: Beseitigungsregel der Subjunktion (Implikation) in den Systemen des natürlichen Schließens) lautet er so:

→ B: (A → B), A ⇒ B

Als Schnittregel

In metalogischer Fassung ist es die Schnittregel:

\qquad\frac{\Gamma\| A\qquad A, \Delta\| B}{\Gamma, \Delta\| B}

(Hier wird der Doppelstrich || für die Abschließbarkeit von Dialogstellungen benutzt.)

Dass die Schnittregel in den Gentzentypkalkülen gültig ist, besagt der Gentzensche Hauptsatz.

Siehe auch

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Modus ponendo ponens — En lógica, modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma: Si A, entonces B A Por lo tanto, B Por ejemplo, un… …   Wikipedia Español

  • Modus tollendo ponens — (literally: mode which, by denying, affirms ) [Stone, Jon R. 1996. Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language . London, UK: Routledge: 60.] , or MTP, is a valid, simple argument form that is today known as disjunctive… …   Wikipedia

  • Modus tollendo ponens — Der Modus tollendo ponens oder Disjunktive Syllogismus ist eine Schlussfigur der klassischen Aussagenlogik bzw. eine Schlussregel vieler logischer Kalküle, die es erlaubt, aus einem Satz der Form A oder B und einem Satz der Form Nicht A auf einen …   Deutsch Wikipedia

  • Modus tollendo ponens — En lógica, el silogismo disyuntivo, históricamente conocido como modus tollendo ponens (en latín, modo que negando afirma) o MTP, es una forma válida de argumento: es el caso que A, o es el caso que B No A Por lo tanto, B o exclusivo: O es el… …   Wikipedia Español

  • Modus ponendo tollens — Der Modus ponendo tollens ist eine Schlussfigur der klassischen Aussagenlogik bzw. eine Schlussregel vieler logischer Kalküle, die es erlaubt, aus einem Satz der Form nicht (A und B) und einem Satz der Form A auf einen Satz der Form nicht B zu… …   Deutsch Wikipedia

  • Modus ponendo tollens — En lógica, el modus ponendo tollens (en latín, modo que afirmando niega) o MPT es una forma válida de argumento que dice: O bien A, o bien B A Por lo tanto, no B Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podría ser …   Wikipedia Español

  • Modus ponendo tollens — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) …   Wikipedia

  • Modus Tollens — (lat. für: Modus des Aufhebens, wörtlich: aufhebender Modus), eigentlich Modus tollendo tollens (in Abgrenzung zum Modus ponendo tollens) ist eine Schlussfigur, die auch in etlichen Kalkülen der klassischen Logik als Schlussregel verwendet wird.… …   Deutsch Wikipedia

  • Modus tollendo tollens — Modus tollens (lat. für: Modus des Aufhebens, wörtlich: aufhebender Modus), eigentlich Modus tollendo tollens (in Abgrenzung zum Modus ponendo tollens) ist eine Schlussfigur, die auch in etlichen Kalkülen der klassischen Logik als Schlussregel… …   Deutsch Wikipedia

  • Modus tollens — (lat. für: Modus des Aufhebens, wörtlich: aufhebender Modus), eigentlich Modus tollendo tollens (in Abgrenzung zum Modus ponendo tollens) ist eine Schlussfigur, die auch in etlichen Kalkülen der klassischen Logik als Schlussregel verwendet wird.… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”