Основные законы формальной логики

Предварительные замечания

Среди специалистов по логике достаточно популярно понимание каждого тождественно-истинного высказывания (тавтологии) как закона логики. Так, в учебнике, адресовавшемся в середине 90-х гг. XX в. учащимся средних школ, отмечалось: «Множество тавтологий бесконечно. Построение таблиц истинности является той простой процедурой, с помощью которой можно отличать тавтологии от всех иных формул, не являющихся тавтологиями. Понятие закона логики совпадает с понятием тавтологии. Значит, используя таблицы истинности, можно определить понятие закона логики и отличить логические законы от тех формул, которые законами не являются. Определение закона логики является той конечной целью, которую с самого начала преследовало введение таблиц истинности». С таких позиций основные законы формальной логики, которым посвящена данная тема, — это лишь «некоторые наиболее интересные законы из бесконечного числа законов логики высказываний»^[1].

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

Мы придерживаемся этой позиции. Только ее мы считаем правильной и заслуживающей широкой пропаганды в современных учебниках логики. Она соответствует версии формальной логики как специфически опытной науки. Эта версия восходит к Ф. Бэкону, в то время как противоположная находится в русле преувеличения возможностей формальной логики, неучета того, что наука логики не имеет концептуальной опоры внутри себя. Темы 7 и 8 показали «основательность» тождественно-истинных высказываний, способных через случайные игры промежуточных материальных импликаций скомбинировать сплошные «единицы» даже из сплошных «нулей». Тождественно-истинных формул действительно можно найти (а главное — придумать!) бесконечное многообразие. Но те законы логики, которым посвящена данная тема, на этом фоне представляются отнюдь не некоторыми наиболее интересными и известными, отнюдь не «равными среди равных».

• [1] Ивин А. А. Логика: пособие для учащихся. — М., 1996. — С. 96.