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