Modus Tolens - stadopedia
Tehát a középkori logika az érvelés következő rendjének nevezte:
Ha A, akkor B. He-B. Következésképpen, nem A.
Ezt a sémát gyakran a hamisítás elveinek nevezik: ha valamilyen kijelentés következménye hamis, akkor azt jelenti, hogy maga az állítás hamis. A feltételes nyilatkozat kimutatásából és a hatásának elutasításából származó rendszer segítségével átmenetre kerül az e beszéd alapja negációjára. Például:
Ha a hélium fém, akkor elektromosan vezető.
A helium nem fém.
MODUS PONENDO TOLLENS
Ezzel a névvel a középkori logika az érvelés következő rendjeit jelöli:
Érvénytelen a hamis
Vagy A vagy VA A. Következésképpen nem B.
Vagy A, vagy B. V. Következésképpen nem A
E két módszer segítségével két egymást kölcsönösen kizáró alternatíva jóváhagyásával és annak meghatározásával, hogy melyik történik, a második alternatíva negálására való áttérés:
vagy az első vagy a második, de nem mindkettő; ott van az első; akkor nincs másodperc. Például:
Dosztojevszkij Moszkvában vagy Pietaristában született.
Moszkvában született
Nem igaz, hogy Dosztojevszkij született Péterváron.
A rendszerben szereplő diszjunkció kizárólagos, ez azt jelenti: igaz első vagy igaz második, de nem mindkettő. Ugyanez az érvelés, de nem kizárólagos diszjunkcióval (az első vagy a második, de lehetséges, hogy mind az első, mind a második) logikailag hibás. Az igazi helyiségből hamis következtetéshez vezethet:
A déli pálya Amundsen volt, vagy Scott volt.
A déli pálya Amundsen volt.
Nem igaz, hogy Scott volt.
Mindkét helyiség igaz: mind Amundsen, mind Scott elérte a Déli-sarkot, a következtetés hamis, a helyes következtetés:
A déli póluson Amundsen vagy Scott volt az első.
Ezen a póluson Amundsen volt az első.
Nem helyes, hogy Scott ott volt először.