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