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

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

Здесь A и В — некоторые высказывания; «либо A, либо В» и «A» — посылки; «неверно, что B» («не-В») — заключение; горизонталь­ная черта стоит вместо слова «следовательно». Другая запись:

Либо A, либо В. А. Следовательно, не-В. Либо A, либо В. В. Следовательно, не-А.

Посредством этих схем от утверждения двух взаимоисключа­ющих альтернатив и установления того, какая из них имеет мес­то, осуществляется переход к отрицанию второй альтернативы: либо первое, либо второе, но не оба вместе; есть первое, значит, второго нет. Напр.:

[208]

Достоевский родился либо в Москве, либо в Петербурге.

Он родился в Москве.______

Неверно, что Достоевский родился в Петербурге.

Дизъюнкция, входящая в М. п. т., является исключающей, она означает: истинно первое или истинно второе, но не оба вместе. Такое же рассуждение, но с неисключающей дизъюнкцией (пер­вое или второе, но возможно, что и первое, и второе), логически неправильно. От истинных посылок оно может вести к ложному заключению. Напр.:

На Южном полюсе был Амундсен или был Скотт.

На Южном полюсе был Амундсен.

Неверно, что там был Скотт.

Обе посылки истинны: и Амундсен, и Скотт достигли Южного полюса, заключение же ложно. Правильным является умозаклю­чение:

На Южном полюсе первым был Амундсен или Скотт.

На этом полюсе первым был Амундсен._______

Неверно, что там первым был Скотт.