лат. modus tollens)
- термин средневековой логики, обозначающий следующую схему рассуждения:
(Если A, то В; неверно В. = Неверно А).
Здесь A и В - некоторые высказывания; "если А, то В" и "неверно, что В" ("не-В") - посылки; "неверно, что A" ("не-A") - заключение; горизонтальная черта стоит вместо слова "следовательно". Другая запись:
Если А, то В. Не-В. Следовательно, не-А.
Посредством этой схемы от утверждения условного высказывания и отрицания его следствия (консеквента) осуществляется переход к отрицанию основания (антецедента) данного высказывания.
МОДУС ТОЛЛЕНС
МОДУС ТОЛЛЕНС
Источник: Словарь по логике
Modus Tollens
Верное заключение, приводящее к выводу о ложности посылки исходя из ложности по меньшей мере одного из ее следствий и принимающее форму: если р, то q; однако не q, следовательно, не р. Например: если Сократ бог, то он бессмертен; однако Сократ не бессмертен, следовательно, он не бог. По мнению Поппера, именно такое дедуктивное заключение составляет сердцевину фальсификации, а следовательно, вообще метода экспериментальных наук. Если предположение q есть необходимое следствие теории (или гипотезы) р, достаточно всего одного факта, свидетельствующего о ложности q, чтобы прийти к выводу о ложности р.
Источник: Философский словарь.