Став логическим термином, оно получило строгие определения применительно к отдельным разделам логики. В общем случае логическая тавтология — это выражение, остающееся истинным независимо от того, о какой области объектов идет речь, или «всегда истинное выражение».
Все законы логики являются логическими тавтологиями. Если в формуле, представляющей закон, заменить переменные любыми постоянными выражениями соответствующей категории, эта формула превратится в истинное высказывание.
Например, в формулу «
Аналогично в случае формул, представляющих закон противоречия, закон тождества, закон двойного отрицания и т. д. «Неверно, что бог существует и не существует; что дождь идет и не идет; что я иду быстро и не иду быстро» — все это высказывания, полученные из формулы «Неверно, что
Тавтологический характер законов логики послужил отправным пунктом для многих неверных рассуждений по их поводу.
Из тавтологии «Дождь идет или не идет» мы ничего не можем узнать о погоде. Тавтология «Неверно, что бог есть и его нет» ровным счетом ничего не говорит о существовании бога. Ни одна тавтология не несет содержательной информации о мире.
Тавтология не описывает никакого реального положения вещей. Она совместима с любым таким положением. Немыслима ситуация, сопоставлением с которой можно было бы опровергнуть тавтологию.
Эти специфические особенности тавтологий были истолкованы как несомненное доказательство отсутствия какой-либо связи законов логики с действительностью.
Такое исключительное положение законов логики среди всех положений науки подразумевает прежде всего, что законы логики представляют собой априорные, известные до всякого опыта истины. Они не являются бессмысленными, но вместе с тем не имеют и содержательного смысла. Их невозможно ни подтвердить, ни опровергнуть ссылкой на опыт.
Действительно ли законы логики не несут никакой информации?
Если бы это было так, они по самой своей природе решительно отличались бы от законов других наук, описывающих действительность и что-то говорящих о ней.
Мысль об информационной пустоте логических законов является, конечно, ошибочной. В основе ее лежит крайне узкое истолкование опыта, способного подтверждать научные утверждения и законы. Этот опыт сводится к фрагментарным, изолированным ситуациям или фактам. Они достаточны для проверки истинности элементарных описательных утверждений типа «Идет дождь» или «Я иду быстро». Но явно недостаточны для суждения об истинности абстрактных теоретических обобщений, опирающихся не на отдельные, разрозненные факты, а на совокупный, систематический опыт. Даже законы опытных наук, подобных биологии или физике, нельзя обосновать простой ссылкой на факты и конкретику. Тем более это невозможно сделать в случае самых абстрактных из всех законов — законов логики. Они должны черпать свое обоснование из предельно широкого опыта мыслительной, теоретической деятельности. За законами логики стоит, конечно, опыт, и в этом они сходны со всеми иными научными законами. Но опыт не в форме каких-то изолированных, доступных наблюдению ситуаций, а конденсированный опыт всей истории человеческого познания.
Тавтологии обычного языка нередко наполняются содержанием, пришедшим со стороны, и светят отраженным светом. Так же обстоит дело и с логическими тавтологиями.
Изолированная от других тавтологий, оторванная от языка и от истории познания, логическая тавтология блекнет и создает впечатление отсутствия всякого содержания.
Это еще раз подтверждает мысль, что рассуждения о смысле и значении отдельных выражений языка, изъятых из среды своего существования, допустимы и справедливы только в ограниченных пределах. Нужно постоянно иметь в виду, что язык — это единый, целостный организм, части которого взаимосвязаны, взаимобусловлены и не способны действовать вне единого целого.
Кроме того, сам язык не является некой самодостаточной системой. Он погружен в более широкую среду — среду познания и социальной жизни, когда-то создавшей его и с тех пор постоянно его воссоздающей.
7. Возможные миры
Законы логики, подобно всем иным научным законам, являются универсальными и необходимыми.