Александр Ивин - Искусство мыслить правильно

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

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

Парадокс в теории говорит о несовместимости допущений, лежащих в ее основе. Он выступает как своевременно обнаруженный симптом болезни, без которого ее можно было бы и проглядеть.

Разумеется, болезнь проявляется многообразно, и ее в конце концов удается раскрыть и без таких острых симптомов, как парадоксы. Скажем, основания теории множеств были бы проанализированы и уточнены, если бы даже никакие парадоксы в этой области не были обнаружены. Но не было бы той резкости и неотложности, с какой поставили проблему пересмотра теории множеств обнаруженные в ней парадоксы.

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

У Фреге, являющегося одним из основателей современной логики, был, к сожалению, очень скверный характер. Кроме того, он был безоговорочен и даже жесток в своей критике современников. Возможно, поэтому его вклад в логику и обоснование математики долго не получал признания. И вот когда оно начало приходить к нему, молодой английский логик Рассел написал ему, что в системе, опубликованной в первом томе его наиболее важной книги «Основные законы арифметики», возникает противоречие. Второй том этой книги был уже в печати и Фреге лишь добавил к нему специальное приложение, в котором изложил это противоречие («парадокс Рассела») и признал, что он не способен его устранить.

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

Фреге был типичным представителем логики конца XIX века, свободной от каких бы то ни было парадоксов, логики, уверенной в своих возможностях и претендующей на то, чтобы быть критерием строгости даже для математики. Парадоксы показали, что «абсолютная строгость», достигнутая якобы логикой, была не более чем иллюзией. Они бесспорно показали, что логика — в том интуитивном виде, какой она тогда имела, — нуждается в глубоком пересмотре.

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

И вместе с тем такое состояние вряд ли кому кажется теперь невыносимым. С течением времени отношение к парадоксам стало более спокойным и даже более терпимым, чем в момент их обнаружения.

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

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

Стало ясно, что абсолютная строгость, какой она рисовалась в конце прошлого века и даже иногда в начале нынешнего, — это в принципе недостижимый идеал.

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