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