Законы логики и их истолкование

В таких случаях говорят об истинности и правильности мышления.

Связь логического основания и логического следствия являются отражением в мышлении объективных, в том числе и причинно-следственных связей, которые проявляются в том, что одно явление (причина) порождает другое явление (следствие).

Всем хорошо известны литературные герои писателей Агаты Кристи и А. Конан-Дойля — детективы: Пуаро и Шерлок Холмс, мастера распутывать самые загадочные преступления. Шаг за шагом, они восстанавливали причину преступления, путем построения стройных цепочек умозаключений от логического основания (реального следствия) к логическому следствию (реальной причине). И добивались истины, воссоздавая при этом преступление с большой степенью достоверности, если бы они сами при этом присутствовали.

Однако логическую обоснованность нельзя отождествлять с причинно-следственной связью. Отношение между основанием и следствием действует в сфере мыслительных процессов; причинно-следственные связи отражают отношения между вещами, явлениями, событиями. Логическое отношение и материальная зависимость не всегда могут совпасть. В отдельных случаях логическим основанием может служить простая последовательность по времени, например, («небо потемнело — сейчас будет дождь») или следствие в его обратном отношении к своей причине («Люди накинули куртки, следовательно, на улице похолодало»).

Закон достаточного основания несовместим с различными суевериями, и предрассудками, которые создаются по схеме «после этого — значит по причине этого». Эта логическая ошибка появляется и в случаях, когда причинная связь смешивается с простой последовательностью во времени, когда предыдущее явление принимается за его причину. Тем не менее, последовательность событий еще не свидетельствует об их причинной связи. Одно явление может предшествовать другому, но не быть его причиной.

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

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

2. Закон тождества — самый элементарный из всех логических законов: если утверждение истинно, то оно истинно, «если, А то А.

3. Законы контрапозиции — это общее название для ряда логических законов, позволяющих, с помощью отрицания менять местами основание и следствие условного высказывания.

Один из этих законов, именуемый законом простой контрапозиции, формулируется так: если первое влечет второе, то отрицание второго влечет отрицание первого.

Другой закон контрапозиции говорит: если верно, что если не —- первое, то не—- второе, то верно, что если второе, то первое.

Следующие два закона контрапозиции: если дело обстоит так, что если А, то не — В, то если В, то неА; если верно, что если неА, то В, то если неВ, то А;

4. Законы де Моргана связывают с помощью отрицания высказывания, образованные с помощью союзов «и» и «или».

отрицание высказывания «А и В». эквивалентно высказыванию «не — А или не — В».

неверно, что, А и В, если и только если неверно, А и неверно В.

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

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

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

Если у человека спортивный разряд по плаванию, он — хороший пловец.

У человека спортивный разряд по плаванию.

Человек — хороший пловец.

Закон предлагает вести ход рассуждения от подтверждения основания к подтверждению следствия, а не наоборот, т. к. можно придти к ложному выводу.

Модусом толленсом называется следующая схема рассуждения: Если А, то В; неверно В — Неверно, А Здесь высказывания «если А, то В» и «неверно В» являются посылками, а высказывание «неверно А» — заключением.

Например: «Если железо — металл, он электропроводен. Если железо — неэлектропроводно, следовательно, железо — не металл».

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

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

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

Либо А, либо В; А Неверно В Либо А, либо В;В Неверно А.

Например:

Эрмитаж находится либо в Санкт-Петербурге либо в Москве.

Эрмитаж находится в Санкт-Петербурге.

Неверно, что Эрмитаж находится в Москве.

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

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

Список литературы

Бочаров В. А., Маркин В. И. Основы логики. Учебник для вузов. — М.: Инфра-М, 2002.

Гетманова А. Д. Учебник по логике. — М.: Владос, 1995.

Войшвилло Е. К., Дегтярев М. Г. Логика, как часть теории и научной методологии. Кн. 1−2. — М.: Владос, 1994.

Ивин О. А. Логика — М.: 1998.

Кобзарь В. И. Основы логических знаний. Учебник для студентов гуманитарных вузов. — СПб.: СПбГУ, 1994.

Ивлев Ю. В. Логика — М, 1998.

Гетманова А. Д. Учебник по логике. — М.: Владос, 1995.

Кобзарь В. И. Основы логических знаний. Учебник для студентов гуманитарных вузов. — СПб.: СПбГУ, 1991.

Гетманова А. Д. Учебник по логике. — М.: Владос, 1995.

. Ивин О. А. Логика. — М.: 1998.

Войшвилло Е.К.,, Дегтярев М. Г .Логика, как часть теории и научнойметодологии.Кн.1−2 — М, 1994.