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