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

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

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

• такие рассуждения всегда ведут от истинных посылок к истинному заключению;

• следствие вытекает из посылок с логической необходимостью. Логический закон принято называть также логической тавтологией. Логическая тавтология – выражение, остающееся истинным, независимо от того, о каких объектах идет речь, или «всегда истинное» выражение.

Например, все результаты подстановок в логический закон двойного отрицания «Если А, то неверно, что не-А» являются истинными высказываниями: «Если сажа черная, то неверно, что она не является черной», «Если человек дрожит от страха, то неверно, что он не дрожит от страха» и т. д.

Как уже говорилось, понятие логического закона непосредственно связано с понятием логического следования: заключение логически следует из принятых посылок, если оно связано с ними логическим законом. К примеру, из посылок «Если А, то В» и «Если В, то С» логически следует заключение «Если А, то С», поскольку выражение «Если А, то В, и если В, то С, то если А, то С» представляет собой логический закон, а именно закон транзитивности (переходности). Скажем, из посылок «Если человек отец, то он родитель» и «Если человек родитель, то он отец или мать» по этому закону вытекает следствие «Если человек отец, то он отец или мать».

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

Поскольку связь логического следования опирается на логический закон, для нее характерны две особенности:

• логическое следование ведет от истинных посылок только к истинному заключению;

• заключение, следующее из посылок, вытекает из них с логической необходимостью.

Не все логические законы непосредственно определяют понятие логического следования. Имеются законы, описывающие другие логические связи: «и», «или», «неверно, что» и т. д. и только косвенно связанные с отношением логического следования. Таков, в частности, рассматриваемый далее закон противоречия: «Неверно, что произвольно взятое высказывание и его отрицание одновременно истинны». Этот закон характеризует логическое противоречие, и с понятием логического следования он связан лишь опосредствованно.

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

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

С развитием современной логики это направление в логике, путающее ее с поверхностно понятой методологией и пронизанное психологизмом, постепенно захирело.

Одним из отголосков идей «расширенной» логики является, в частности, разговор о так называемых «основных» законах мышления, или «основных» законах логики, иногда возникающий и сейчас.

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

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

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

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

Несостоятельна также подмена логических законов расплывчатыми методологическими советами. Никакого фундамента в виде короткого перечня основополагающих принципов в науке логике нет. В этом она не отличается от всех других научных дисциплин.

Есть еще один предрассудок, культивировавшийся «расширенной» логикой и доживший до наших дней. Это обсуждение законов логики в полном отрыве их от всех иных ее важных тем и понятий и даже в изоляции их друг от друга.

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

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

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

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

Идея, выражаемая законом противоречия, проста: высказывание и его отрицание не могут быть одновременно истинными.

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

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