Логика. Учебное пособие. Издание 2-е
Шрифт:
Модусом толленсом называется следующая схема рассуждения:
Если A, то B; неверно B
Неверно A
Здесь высказывания «если А, то В» и «неверно В» являются посылками, а высказывание «неверно А» – заключением. Другая запись:
Если А, то В. Не-В. Следовательно, не-А.
Посредством этой схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания. Например: «Если гелий – металл, он электропроводен. Гелий неэлектропроводен. Следовательно, гелий –
По схеме модус толленс идет процесс фальсификации, установления ложности теории или гипотезы в результате ее эмпирической проверки. Из проверяемой теории Т выводится некоторое эмпирическое утверждение А, то есть устанавливается условное высказывание «если Т, то А». Посредством эмпирических методов познания (наблюдения, измерения или эксперимента) предложение А сопоставляется с реальным положением дел. Выясняется, что А ложно и истинно предложение не-А. Из посылок «если Т, то А» и «не-А» следует «не-Т», то есть ложность теории Т.
С модусом толленсом нередко смешивается внешне сходное с ним умозаключение:
Если А, то В; неверно А
Неверно В
В последнем умозаключении от утверждения условного высказывания и отрицания его основания осуществляется переход к отрицанию его следствия, что является логически некорректным шагом. Рассуждение по такой схеме может привести от истинных посылок к ложному заключению. Например:
Если бы глина была металлом, она была бы пластична. Но глина – не металл.
Неверно, что глина пластична.
Все металлы пластичны, и если бы глина была металлом, она также являлась бы пластичной. Однако глина не является металлом. Но из этого очевидным образом не вытекает, что глина не пластична. Кроме металлов, есть и другие пластичные вещества, и глина в их числе.
Против смешения модуса толленса с данной некорректной схемой рассуждения предостерегает совет: от отрицания следствия условного высказывания заключать к отрицанию основания этого высказывания можно, а от отрицания основания к отрицанию следствия – нет.
Утверждающе-отрицающим модусом именуются следующие схемы рассуждения:
Либо А, либо В; А Неверно В и
Либо А, либо В; В
Неверно А
Другая запись:
Либо А, либо В. А. Следовательно, не-В.
Либо А, либо В. В. Следовательно, не-А.
Посредством этих схем от утверждения двух взаимоисключающих альтернатив и установления того, какая из них имеет место, осуществляется переход к отрицанию второй альтернативы: либо первое, либо второе, но не оба вместе; есть первое; значит, нет второго. Например:
Лермонтов родился в Москве либо в Петербурге.
Он родился в Москве.
Неверно, что Лермонтов родился в Петербурге.
Связка «либо, либо», входящая в утверждающе-отрицающий
На Южном полюсе был Амундсен или был Скотт.
На Южном полюсе был Амундсен.
Неверно, что там был Скотт.
Обе посылки истинны: и Амундсен, и Скотт достигли Южного полюса, заключение же ложно. Правильным является умозаключение:
На Южном полюсе первым был Амундсен или Скотт.
На этом полюсе первым был Амундсен.
Неверно, что там первым был Скотт.
Отрицающе-утверждающим модусом называется разделительно-категорическое умозаключение: первое или второе; не-первое; значит, второе. Первая посылка – высказывание с «или»; вторая – категорическое высказывание, отрицающее один из членов первого сложного высказывания; заключением является второй член этого высказывания:
А или В; неверно А
В
или
А или В; неверно В
А
Другая форма записи:
А или В. Не-А. Следовательно, В.
А или В. Не-В. Следовательно, А.
Например:
Множество является конечным или оно бесконечною.
Множество не является конечным.
Множество бесконечно.
Средневековые логики называли утверждающе-отрицающий модус модусом понендо толленс, а отрицающе-утверждающий модус модусом толлендо поненс.
Дилеммами называются рассуждения, посылками которых являются по меньшей мере два условных высказывания (высказывания с «если, то») и одно разделительное высказывание (высказывание с «или»).
Выделяются следующие разновидности дилеммы.
Простая конструктивная (утверждающая) дилемма:
Если А, то С.
Если В, то С.
А или В.
С
Например: «Если прочту детектив Агаты Кристи, то хорошо проведу вечер; если прочту детектив Жоржа Сименона, тоже хорошо проведу вечер; прочту детектив Кристи или прочту детектив Сименона; значит, хорошо проведу вечер».
Рассуждение этого типа в математике принято называть доказательством по случаям. Однако число случаев, перебираемых последовательно в математическом доказательстве, обычно превышает два, так что дилемма приобретает вид:
Если бы было справедливо первое допущение, теорема была бы верна;
при справедливости второго допущения теорема также была бы верна;
при верном третьем допущении теорема верна;
если верно четвертое допущение, теорема верна;
справедливо или первое, или второе, или третье, или четвертое допущение.