Глава 8

ЗАКОНЫ ЛОГИКИ

§ 1. Общая характеристика

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

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

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

Закон логики — сложное суждение, которое во всех строках построенной для него таблицы принимает значение «истина».

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

Если вспомнить материал, который мы с вами изучали в § 3 главы 6, то получится, что определение закона логики совпадает с определением логически истинного суждения. А это означает, что понятия логического закона и логически истинного суждения равнозначны. Таким образом смотрит на законы логики классическая логика XX века. Однако есть еще более традиционный взгляд на законы логики, который дошел к нам из глубины веков, но не утратил до сих пор своего интереса. Я имею в виду взгляд на законы логики как на выражение существенных свойств человеческого мышления. Этот взгляд под названием психологизма был подвергнут жесткой критике в философии логики XX века, однако до сих пор большинство людей полагает ценность логики в том, что она способна помочь правильно мыслить, т.е. мыслить в соответствии с логическими законами. Поэтому мы рассмотрим этот более традиционный взгляд на логические законы.

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

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

Каковы же основные требования к мышлению, которые предъявляются логическими законами? Перечислим их:

1. Непротиворечивость.

2. Последовательность.

3. Определенность.

4. Обоснованность.

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

Рассмотрим эти свойства по отдельности.