Логика. Учебное пособие. Издание 2-е   ::   Ивин Александр Архипович

Модусом толленсом называется следующая схема рассуждения:

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

Неверно A

Здесь высказывания «если А, то В» и «неверно В» являются посылками, а высказывание «неверно А» – заключением. Другая запись:

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

Посредством этой схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания. Например: «Если гелий – металл, он электропроводен. Гелий неэлектропроводен. Следовательно, гелий – не металл».

По схеме модус толленс идет процесс фальсификации, установления ложности теории или гипотезы в результате ее эмпирической проверки. Из проверяемой теории Т выводится некоторое эмпирическое утверждение А, то есть устанавливается условное высказывание «если Т, то А». Посредством эмпирических методов познания (наблюдения, измерения или эксперимента) предложение А сопоставляется с реальным положением дел. Выясняется, что А ложно и истинно предложение не-А. Из посылок «если Т, то А» и «не-А» следует «не-Т», то есть ложность теории Т.

С модусом толленсом нередко смешивается внешне сходное с ним умозаключение:

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

Неверно В

В последнем умозаключении от утверждения условного высказывания и отрицания его основания осуществляется переход к отрицанию его следствия, что является логически некорректным шагом. Рассуждение по такой схеме может привести от истинных посылок к ложному заключению.