Modus Tollendo Ponens
Auch abgekürzt MTP. Einer der elementaren (gültigen) logischen Schlussfiguren. Er beruht auf einer Disjunktion und einer Negation der Konsequenz.
A ∨ B– A oder B
¬A– nicht A
∴ B– daraus folgt: B
Zum Beispiel ist das Folgende ein gültiger MTP:
Es gibt heute Regen oder es gibt Nebel.
Es gibt heute keinen Regen,
also gibt es heute Nebel.
Name
Der Name dieser Form kann frei als „Form der Bestimmung [einer Aussage] durch Zurückweisung [der Alternative]“ übersetzt werden.
Andere Namen
- Disjunktiver Syllogismus
Fehlschlüsse
Wie bei anderen logischen Schlussformen gibt es auch Fehlschlüsse, die auf einer unrichtigen Anwendung des MTP beruhen.
Die folgende Tabelle stellt den Modus tollendo ponens und dessen wichtigste Fehlschlüsse gegenüber:
| Modus tollendo ponens (gültiger Schluss) | Negation einer Konjunktion (Fehlschluss) | Affirmation einer Disjunktion (Fehlschluss) |
|||||
|---|---|---|---|---|---|---|---|
| Prämisse 1 | A ∨ B (A oder B) | A ⊻ B (A oder B, aber nicht beides) | A ∨ B (A oder B) |
||||
| Prämisse 2 | ⌐A (nicht A) | ⌐B (nicht B) | ⌐A (nicht A) | ⌐B (nicht B) | A | B | |
| Konklusion | B | A | B | A | ⌐B (nicht B) | ⌐A (nicht B) | |
Siehe auch
- Disjunktion – „oder“-Verknüpfung
- Modus Ponendo Tollens – verwandte Schlussform
Weitere Informationen
- Modus ponendo tollens auf Wikipedia