Понятие логического закона

Прежде чем ввести общее понятие логического закона, приведем несколько примеров схем рассуждения, представляющих собой логические законы. Вместо переменных А, В, С, …, используемых обычно для обозначения высказываний, воспользуемся, как это делалось еще в античности, словами «первое» и «второе», заменяющими переменные.

«Если есть первое, то есть второе; есть первое; следовательно, есть второе». Эта схема рассуждения позволяет от утверждения условного высказывания («Если есть первое, то есть второе») и утверждения его основания («Есть первое») перейти к утверждению следствия («Есть второе»). По этой схеме протекает, в частности, рассуждение: «Если лед нагревают, он тает; лед нагревают; следовательно, он тает».

Еще одна схема правильного рассуждения: «Либо имеет место первое, либо второе; есть первое; значит, нет второго». Посредством этой схемы от двух взаимоисключающих альтернатив и установления того, какая из них имеет место, осуществляется переход к отрицанию второй альтернативы. Например: «Либо Достоевский родился в Москве, либо он родился в Петербурге. Достоевский родился в Москве. Значит, неверно, что он родился в Петербурге». В американском вестерне «Хороший, плохой и злой» один отрицательный герой говорит другому: «Запомни, мир делится на две части: на тех, кто держит револьвер, и тех, кто копает. Револьвер сейчас у меня, так что бери лопату». Это рассуждение также опирается на указанную схему.

И последний предварительный пример логического закона, или общей схемы правильного рассуждения: «Имеет место первое или второе. Но первого нет. Значит, имеет место второе». Подставим вместо выражения «первое» высказывание «Сейчас день», а вместо «второго » — высказывание «Сейчас ночь». Из абстрактной схемы получаем рассуждение: «Сейчас день или сейчас ночь. Но неверно, что сейчас день. Значит, сейчас ночь».

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

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

Возьмем в качестве примера выражения, состоящего только из переменных и логических постоянных, выражение: «Если А, то В; значит, если не-А, то не-В». Логическими постоянными здесь являются пропозициональные связки «если, то» и «не». Переменные А и В представляют какие-то высказывания. Допустим, А — это высказывание «Имеется причина», а В — высказывание «Есть следствие». С данным конкретным содержанием получаем рассуждение: «Если имеется причина, то есть следствие; значит, если нет следствия, то нет и причины». Предположим, далее, что вместо А подставляется высказывание «Число делится на шесть», а вместо В — высказывание «Число делится на три». С этим конкретным содержанием на основе рассматриваемой схемы получаем рассуждение: «Если число делится на шесть, оно делится на три. Следовательно, если число не делится на три, оно не делится на шесть». Какие бы иные высказывания ни подставлялись вместо переменных А и В, если эти высказывания истинны, то и выводимое из них заключение будет истинным.