Модус толленс(лат. Modus tollens)

- термин средневековой логики, обозначающий следующую схему рассуждения:

Если A, то В; неверно В.

Неверно А.

Здесь A и В — некоторые высказывания; «если А, то В» и «неверно, что В» («не-В») - посылки; «неверно, что A» («не-A») — заключе-

[211]

ние; горизонтальная черта стоит вместо слова «следовательно». Другая запись:

Если А, то В. Не-В. Следовательно, не-А.

Посредством этой схемы от утверждения условного высказывания и отрицания его следствия (консеквента) осуществляется переход к отрицанию основания (антецедента) данного высказывания. Напр.:

Если гелий — металл, он электропроводен.

Гелий неэлектропроводен.

Гелий — не металл.

Содержание