От софизмов следует отличать логические парадоксы (греч. paradoxos - неожиданный, странный). Парадокс в широком смысле слова - это нечто необычное и удивительное, то, что расходится с привычными ожиданиями, здравым смыслом и жизненным опытом. Логический парадокс - это такая необычная и удивительная ситуация, когда два противоречащих суждения не только являются одновременно истинными (что невозможно в силу логических законов противоречия и исключенного третьего), но еще и вытекают друг из друга, друг друга обуславливают. Если софизм - это всегда какая-либо уловка, преднамеренная логическая ошибка, которую в любом случае можно обнаружить, разоблачить и устранить, то парадокс представляет собой неразрешимую ситуацию, своего рода мыслительный тупик, «камень преткновения» в логике: за всю ее историю было предложено множество разнообразных способов преодоления и устранения парадоксов, однако ни один из них, до сих пор, не является исчерпывающим, окончательным и общепризнанным.
Наиболее известный логический парадокс - это парадокс «лжеца». Часто его называют «королем логических парадоксов». Он был открыт еще в Древней Греции. По преданию, философ Диодор Кронос дал обет не принимать пищи до тех пор, пока не разрешит этот парадокс и умер от голода, так ничего и не добившись; а другой мыслитель - Филет Косский впал в отчаяние от невозможности найти решение парадокса «лжеца» и покончил с собой, бросившись со скалы в море. Существует несколько различных формулировок данного парадокса. Наиболее коротко и просто он формулируется в ситуации, когда человек произносит простую фразу: «Я лжец». Анализ этого элементарного и бесхитростного на первый взгляд высказывания приводит к ошеломляющему результату. Как известно, любое высказывание (в том числе и вышеприведенное) может быть истинным или ложным. Рассмотрим последовательно оба случая, в первом из которых высказывание «Я лжец» является истинным, а во втором - ложным.
- Допустим, что фраза «Я лжец» истинна, т. е. человек, который произнес ее, сказал правду, но в этом случае он действительно лжец, следовательно, произнеся данную фразу, он солгал.
- Допустим, что фраза «Я лжец» ложна, т. е. человек, который произнес ее, солгал, но в этом случае он не лжец, а правдолюб, следовательно, произнеся данную фразу, он сказал правду. Получается нечто удивительное и даже невозможное: если человек сказал правду, то он солгал; а если он солгал, то он сказал правду (два противоречащих суждения не только одновременно истинны, но и вытекают друг из друга).
Другой известный логический парадокс, обнаруженный в начале XX века английским логиком и философом Бертраном Расселом, - это парадокс «деревенского парикмахера». Представим себе, что в некой деревне есть только один парикмахер, бреющий тех ее жителей, которые не бреются сами. Анализ этой незамысловатой ситуации приводит к необыкновенному выводу. Зададимся вопросом: может ли деревенский парикмахер брить самого себя? Рассмотрим оба варианта, в первом из которых он сам себя бреет, а во втором - не бреет.
- Допустим, что деревенский парикмахер сам себя бреет, но тогда он относится к тем жителям деревни, которые бреются сами и которых не бреет парикмахер, следовательно, в этом случае, он сам себя не бреет.
- Допустим, что деревенский парикмахер сам себя не бреет, но тогда он относится к тем жителям деревни, которые не бреются сами и которых бреет парикмахер, следовательно, в этом случае, он сам себя бреет. Как видим, получается невероятное: если деревенский парикмахер сам себя бреет, то он сам себя не бреет; а если он сам себя не бреет, то он сам себя бреет (два противоречащих суждения являются одновременно истинными и взаимообуславливают друг друга).
Парадоксы «лжеца» и «деревенского парикмахера» вместе с другими подобными им парадоксами также называют антиномиями (греч. antinomia - противоречие в законе), т. е. рассуждениями, в которых доказывается, что два высказывания, отрицающие друг друга, вытекают одно из другого. Считается, что антиномии представляют собой наиболее резкую форму парадоксов. Однако, довольно часто термины «логический парадокс» и «антиномия» рассматриваются как синонимы.
Парадокс «Протагор и Эватл»
Менее удивительную формулировку, но не меньшую известность, чем парадоксы «лжеца» и «деревенского парикмахера» имеет парадокс «Протагор и Эватл», появившийся, как и «лжец», еще в Древней Греции. В его основе лежит незатейливая, на первый взгляд, история, которая заключается в том, что у софиста Протагора был ученик Эватл, бравший у него уроки логики и особенно риторики (в данном случае -политического и судебного красноречия). Учитель и ученик договорились таким образом, что Эватл заплатит Протагору гонорар за обучение только в том случае, если выиграет свой первый судебный процесс. Однако по завершении обучения Эватл не стал участвовать ни в одном процессе и денег учителю, разумеется, не платил. Протагор пригрозил ему, что подаст на него в суд и тогда Эватлу в любом случае придется заплатить. «Тебя или присудят к уплате гонорара, или не присудят, - сказал ему Протагор, - если тебя присудят к уплате, ты должен будешь заплатить по приговору суда; если же тебя не присудят к уплате, то ты, как выигравший свой первый судебный процесс, должен будешь заплатить по нашему уговору». На это Эватл ему ответил: «Все правильно: меня или присудят к уплате гонорара, или не присудят; если меня присудят к уплате, то я, как проигравший свой первый судебный процесс, не заплачу по нашему уговору; если же меня не присудят к уплате, то я не заплачу по приговору суда». Таким образом, вопрос о том, должен Эватл заплатить Протагору гонорар или нет, является неразрешимым. Договор учителя и ученика, несмотря на его вполне невинный внешний вид, является внутренне, или логически противоречивым, т. к. он требует выполнения невозможного действия: Эватл должен и заплатить за обучение, и не заплатить одновременно. В силу этого сам договор между Протагором и Эватлом, а также вопрос об их тяжбе представляет собой не что иное, как логический парадокс.
В отличие от парадоксов-антиномий («лжеца» и «деревенского парикмахера») парадокс «Протагор и Эватл» имеет менее резкую форму, так как в нем два противоречащих суждения («Эватл должен заплатить» и «Эватл не должен заплатить») являются одновременно истинными, но не вытекают друг из друга, как в случае с парадоксами-антиномиями.
Как уже отмечалось, в логике было создано много способов разрешения и преодоления парадоксов. Однако ни один из них не лишен возражений и не является общепризнанным. Рассмотрение этих способов - долгая и утомительная теоретическая процедура, которая остается в данном случае за пределами нашего внимания. Любознательный читатель сможет познакомиться с разнообразными подходами к решению проблемы логических парадоксов по дополнительной литературе. Логические парадоксы представляют собой свидетельство в пользу того, что логика, как впрочем и любая другая наука, является не завершенной, а постоянно развивающейся. По всей видимости, парадоксы указывают на какие-то глубокие проблемы логической теории, приоткрывают завесу над чем-то еще не вполне известным и понятным, намечают новые горизонты в развитии логики.