Александр Ивин - Логика. Элементарный курс. Учебное пособие

Известно, что сформулировать проблему часто важнее и труднее, чем решить её. «В науке, – писал английский химик Ф. Содди, – задача, надлежащим образом поставленная, более чем наполовину решена. Процесс умственной подготовки, необходимый для выяснения того, что существует определённая задача, часто отнимает больше времени, чем само решение задачи».

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

В широком смысле парадокс – это положение, резко расходящееся с общепринятыми, устоявшимися, ортодоксальными мнениями. «Общепризнанные мнения и то, что считают делом давно решённым, чаще всего заслуживают исследования» (Г.Лихтенберг). Парадокс – начало такого исследования.

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

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

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

Логика – абстрактная наука. В ней нет экспериментов, нет даже фактов в обычном смысле этого слова. Строя свои системы, логика исходит в конечном счёте из анализа реального мышления. Но результаты этого анализа носят синтетический, нерасчлененный характер. Они не являются констатациями каких-либо отдельных процессов или событий, которые должна была бы объяснить теория. Такой анализ нельзя, очевидно, назвать наблюдением: наблюдается всегда конкретное явление.

Конструируя новую теорию, учёный обычно отправляется от фактов, от того, что можно наблюдать в опыте. Как бы ни была свободна его творческая фантазия, она должна считаться с одним непременным обстоятельством: теория имеет смысл только в том случае, когда она согласуется с относящимися к ней фактами. Теория, расходящаяся с фактами и наблюдениями, является надуманной и ценности не имеет.

Но если в логике нет экспериментов, нет фактов и нет самого наблюдения, то чем сдерживается логическая фантазия? Какие если не факты, то факторы принимаются во внимание при создании новых логических теорий?

Расхождение логической теории с практикой действительного мышления нередко обнаруживается в форме более или менее острого логического парадокса, а иногда даже в форме логической антиномии, говорящей о внутренней противоречивости теории. Этим как раз объясняется то значение, которое придаётся парадоксам в логике, и то большое внимание, которым они в ней пользуются.

Наиболее известным и, пожалуй, самым интересным из всех логических парадоксов является парадокс «Лжец». Он-то главным образом и прославил имя открывшего его Евбулида из Милета.

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

В простейшем варианте «Лжеца» человек произносит всего одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно».

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

В средние века распространённой была такая формулировка:

– Сказанное Платоном – ложно, – говорит Сократ.

– То, что сказал Сократ, – истина, – говорит Платон.

Возникает вопрос, кто из них высказывает истину, а кто ложь?

А вот современная перефразировка этого парадокса. Допустим, что на лицевой стороне карточки написаны только слова: «На другой стороне этой карточки написано истинное высказывание». Ясно, что эти слова представляют собой осмысленное утверждение. Перевернув карточку, мы должны либо обнаружить обещанное высказывание, либо его нет. Если оно написано на обороте, то оно является либо истинным, либо нет. Однако на обороте стоят слова: «На другой стороне этой карточки написано ложное высказывание» – и ничего более. Допустим, что утверждение на лицевой стороне истинно. Тогда утверждение на обороте должно быть истинным и, значит, утверждение на лицевой стороне должно быть ложным. Но если утверждение на лицевой стороне ложно, тогда утверждение на обороте также должно быть ложным, и, следовательно, утверждение на лицевой стороне должно быть истинным. В итоге – парадокс.

Парадокс «Лжец» произвёл громадное впечатление на греков. И легко понять почему. Вопрос, который в нём ставится, с первого взгляда кажется совсем простым: лжёт ли тот, кто говорит только то, что он лжёт? Но ответ «да» приводит к ответу «нет», и наоборот. И размышление ничуть не проясняет ситуацию. За простотой и даже обыденностью вопроса оно открывает какую-то неясную и неизмеримую глубину.

Ходит даже легенда, что некий Филит Косский, отчаявшись разрешить этот парадокс, покончил с собой. Говорят также, что один из известных древнегреческих логиков, Диодор Кронос, уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдёт решение «Лжеца», и вскоре умер, так ничего и не добившись.

В средние века этот парадокс был отнесён к так называемым неразрешимым предложениям и сделался объектом систематического анализа.

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

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