Ad Hominem Info

Irrtümer und Trugschlüsse en gros und en detail

Benutzer-Werkzeuge

Webseiten-Werkzeuge


logik:schlussformen:modus_ponendo_tollens

Modus Ponendo Tollens

Auch abgekürzt MPT. Einer der elementaren (gültigen) logischen Schlussfiguren. Es beruht auf einer Kontravalenz und hat die Form:

A ⊻ B   –   A oder B, aber nicht beides
A   –   A ist wahr
∴ ¬B   –   daraus folgt: B ist nicht wahr

Zum Beispiel ist das Folgende ein gültiger MPT:

Eine Zahl ist entweder gerade oder ungerade (aber nicht beides)
x ist gerade.
also ist x nicht ungerade.

Da die Kontravalenz kommutativ ist, kann ebenso geschlossen werden:


x ist ungerade.
also ist x nicht gerade.

Aber Achtung: Zahlen können auch weder gerade noch ungerade sein (z.B. rationale Zahlen). Werden solche Möglichkeiten nicht ausgeschlossen (etwa indem man nur natürliche Zahlen betrachtet), kann man leicht den u.g. logischen Fehlschlüsse erliegen.

Name

Der Name dieser Form kann frei als „Form der Verneinung [einer Aussage] durch Affirmation [der Alternative]“ übersetzt werden.

Andere Namen

  • Konjunktiver Syllogismus

Fehlschlüsse

Wie bei anderen logischen Schlussformen gibt es auch hier Fehlschlüsse, die auf einer unrichtigen Anwendung des MPT basieren:

Die folgende Tabelle stellt den Modus ponendo tollens und die wichtigsten Fehlschlüsse gegenüber:

Modus ponendo tollens
(gültiger Schluss)
Negation einer Konjunktion
(Fehlschluss)
Affirmation einer Disjunktion
(Fehlschluss)
Prämisse 1 A ⊻ B
(A oder B, aber nicht beides)
⌐ (A ∧ B)
(nicht beides, A und B)
A ∨ B
(A oder B)
Prämisse 2 A B ⌐A ⌐B A B
Konklusion ⌐B ⌐A B A ⌐B ⌐A

Hinweis: Die Kontravalenz A ⊻ B (A oder B, aber nicht beides) sowie die negative Konjunktion ⌐(A ∨ B) (nicht beides, A und B) sind gleichwertig, d.h. es gilt: A ⊻ B = ⌐(A ∨ B).

Siehe auch

Weitere Informationen

Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Außerdem bestätigen Sie, dass Sie unsere Datenschutzbestimmungen gelesen und verstanden haben. Wenn Sie nicht einverstanden sind, bitte verlassen Sie die Website.Weitere Information
logik/schlussformen/modus_ponendo_tollens.txt · Zuletzt geändert: 2021/05/03 12:14 von sascha