Никакого исчерпывающего перечня логических парадоксов не существует.

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

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

Логические парадоксы не отделяются жестко от всех иных парадоксов, подобно тому как последние не отграничиваются ясно от всего непарадоксального и согласующегося с господствующими представлениями.

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

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

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

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

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

1. Тот, кто говорит: «Я ничего не знаю», высказывает как будто парадоксальное, внутренне противоречивое утверждение. Он заявляет в сущности: «Я знаю, что я ничего не знаю». Но знание того, что никакого знания нет, есть все-таки знание. Значит, говорящий, с одной стороны, уверяет, что никакого знания у него нет, а с другой — самим утверждением этого сообщает, что некоторое знание у него все-таки есть. В чем здесь дело?

Размышляя над этим затруднением, можно вспомнить, что Сократ выражал сходную мысль более осторожно. Он говорил: «Я знаю только то, что ничего не знаю». Зато другой древний грек, Метродор, с полной убежденностью утверждал: «Ничего не знаю и не знаю даже того, что я ничего не знаю». Нет ли в этом утверждении парадокса?

2. Исторические события уникальны. История, если она и повторяется, то, по известному выражению, первый раз как трагедия, а второй — как фарс. Из неповторимости исторических событий иногда выводится идея, что история ничему не учит. «Быть может, величайший урок истории, — пишет О.Хаксли, — действительно состоит в том, что никто никогда и ничему не научился из истории».

Вряд ли эта идея верна. Прошлое как раз и исследуется главным образом для того, чтобы лучше понимать настоящее и будущее. Другое дело, что «уроки» прошлого, как правило, неоднозначны.

Не является ли убеждение, будто история ничему не учит, внутренне противоречивым? Ведь само оно вытекает из истории в качестве одного из ее уроков? Не лучше ли сторонникам этой идеи сформулировать ее так, чтобы она не распространялась на себя: «История учит единственному — из нее ничему нельзя научиться», или «История ничему не учит, кроме этого ее урока»? *

3. Испанский писатель Ф. Кеведо озаглавил свою сатиру: «Книга обо всем и еще о многом другом». Его не смутило то, что если книга охватывает «все», то для «многого другого» уже не остается места.

Шутливый афоризм «Не каждый человек, которому известно все, знает об этом», скорее всего внутренне противоречив. Не так ли?

Нет ли противоречия в утверждении «Простая истина в том, что все чрезвычайно сложно»? Если все без исключения сложно, то и знание этого не может быть простым.

4. «Доказано, что доказательств не существует». Это, как кажется, внутренне противоречивое высказывание: оно является доказательством или предполагает уже проведенное доказательство («доказано, что...») и одновременно утверждает, что ни одного доказательства нет.

Известный древний скептик Секст Эмпирик предлагал такой выход: вместо приведенного высказывания принять высказывание «Доказано, что никакого доказательства, кроме этого, не существует» (или: «Доказано, что ничего доказанного, кроме этого, нет»). Но не является ли этот выход иллюзорным? Ведь утверждается, по сути дела, что есть только одно-единственное доказательство -доказательство несуществования каких-либо доказательств («Существует одно-единственное доказательство: доказательство того, что никаких иных доказательств нет»). Чем тогда является сама операция доказательства, если ее удалось провести, судя по данному утверждению, только один раз? Во всяком случае, мнение самого Секста о ценности доказательств было не очень высоким. Он писал, в частности: «Так же, как правы те, кто обходится без доказательства, правы и те, кто, будучи склонным сомневаться, голословно выдвигает противоположное мнение».

5. Самый известный из древнегреческих софистов, Протагор, учил, что истинно все то, что кому-либо приходит в голову. Другой известный древнегреческий философ, Демокрит, обратил против Протагора его же собственный тезис. Если истинно всякое высказывание, то истинно и отрицание того, что утверждает Протагор. Истинно, значит, не только положение «Каждое высказывание истинно», но и положение «Не все высказывания истинны». А истинность последнего означает, что мнение о всеобщей истинности просто ложно.

Демокрит пытался, таким образом, выявить внутреннюю противоречивость позиции Протагора. Сходный ход мысли использовал и Аристотель, который говорил: «Кто объявляет все истинным, тем самым делает истинным и утверждение, противоположное его собственному».

Является ли обоснованным рассуждение Демокрита, направленное против тезиса Протагора: «Если всякое мнение истинно, то истинно и мнение, что некоторое мнение ложно; значит, не всякое мнение истинно»?

Другой древний софист, Ксениад, пришел к убеждению, что все мнения ложны и истинных мнений мет.

Парадоксально ли это убеждение? Можно ли опровергнуть его, рассуждая так: если все ложно, то ложно и то, что все ложно; следовательно, не каждое мнение ложно? Кажется, что этот ход мысли совпадает с тем, который был применен для доказательства ложности тезиса Протагора. Так ли это?

6. «Ни одно высказывание не является отрицательным», или проще: «Нет отрицательных высказывании».

Однако само это выражение представляет собой высказывание и является как раз отрицательным. Явный парадокс. С помощью какой переформулировки данного утверждения можно было бы избежать парадокса?

Средневековый философ и логик Ж. Буридан известен широкому читателю рассуждением об осле, который, стоя между двумя одинаковыми охапками сена, обязательно умрет с голоду. Осел, как и всякое животное, стремится выбрать из двух вещей лучшую. Две охапки совершенно не отличаются друг от друга, и потому он не может предпочесть ни одну из них. Однако этого «буриданова осла» в сочинениях самого Буридана нет. В логике Буридан хорошо известен, и в частности своей книгой о софизмах. В ней приводится такое умозаключение, относящееся к нашей теме: ни одно высказывание не является отрицательным; следовательно, существует отрицательное высказывание. Является ли этот вывод обоснованным?