МОДУС ТОЛЛЕНС
МОДУС ТОЛЛЕНС (лат.
modus tollens)
-
термин средневековой логики, обозначающий следующую схему рассуждения:
| Если A, то В; неверно В. |
| Неверно А. |
Здесь
A и
В — некоторые высказывания; "если
А,
то
В"
и "неверно, что В" ("
не-
В")
-
посылки; "неверно, что
A" ("не-
A") — заключение; горизонтальная черта стоит вместо слова "следовательно". Другая запись: Если
А,
то
В.
Не-
В.
Следовательно,
не-
А. Посредством этой схемы от утверждения условного высказывания и отрицания его следствия (
консеквента)
осуществляется переход к отрицанию основания (
антецедента)
данного высказывания. Напр.:
| Если гелий — металл, он электропроводен. Гелий неэлектропроводен. |
| Гелий — не металл. |
Смотреть больше слов в «Словаре по логике»
МЫШЛЕНИЕ →← МОДУС ТОЛЛЕНДО ПОНЕНС