Модус поненс и модус толленс

«Модусом» в логике называется разновидность некоторой общей формы рассуждения. Далее будут перечислены четыре близких друг другу модуса, известных еще средневековым логикам.

Модус поненс, называемый иногда гипотетическим силлогизмом, позволяет от утверждения условного высказывания и утверждения его основания перейти к утверждению следствия этого высказывания:

Если А, то В; А

В

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

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

Благодаря этому модусу от посылки «если А, то В», используя посылку «А», мы как бы отделяем заключение «B». На этом основании данный модус иногда называется «правилом отделения».

Например:

Если у человека диабет, он болен.

У человека диабет.____________

Человек болен

Рассуждение по правилу отделения идет от утверждения основания истинного условного высказывания к утверждению его следствия. Это логически корректное движение мысли иногда путается со сходным, но логически неправильным ее движением от утверждения следствия истинного условного высказывания к утверждению его основания. Например, правильным является умозаключение:

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

Таллий – металл._________________________________

Таллий проводит электрический ток.

Но внешне сходное с ним умозаключение:

Если бы электролит был металлом, он проводил бы электрический ток.

Электролит проводит электрический ток._______________________

Электролит – металл.

логически некорректно. Рассуждая по последней схеме, можно прийти от истинных посылок к ложному заключению. Против смешения правила отделения с этой неправильной схемой рассуждения предостерегает совет: от подтверждения основания к подтверждению следствия рассуждать допустимо, от подтверждения следствия к подтверждению основания – нет.

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

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

Неверно А

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

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

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

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

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

Если А, то BНеверно А

Неверно В

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

Если бы глина была металлом, она была бы пластична.

Но глина не металл.

Неверно, что глина пластична.

Все металлы пластичны, и если бы глина была металлом, она также являлась бы пластичной. Однако глина не является металлом. Но из этого очевидным образом не вытекает, что глина не пластична. Кроме металлов, есть и другие пластичные вещества, и глина в их числе.

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

Утверждающе-отрицающий

И отрицающе-утверждающий модусы

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

Другая запись:

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

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

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

Лермонтов родился в Москве либо в Петербурге.

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

Неверно, что Лермонтов родился в Петербурге.

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

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

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

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

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

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

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

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

Отрицающе-утверждающим модусом называется разделительно-категорическое умозаключение: первое или второе; не-первое; значит, второе. Первая посылка – высказывание с «или»; вторая – категорическое высказывание, отрицающее один из членов первого сложного высказывания; заключением является второй член этого высказывания.

Другая форма записи:

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

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

Например:

Множество является конечным или оно бесконечно.

Множество не является конечным._______________

Множество бесконечно.

Средневековые логики называли утверждающе-отрицающий модус модусом понендо толленс, а отрицающе-утверждающий модус – модусом толлендо поненс.