Неразрешимый спор. Парадокс «Еватл и Протагор»

Считается, что этот парадокс основан на реальных событиях. У софиста Протагора был ученик по имени Еватл (Эватл), обучавшийся у него искусству выступления в суде. По договору, который заключили между собой учитель и ученик, Еватл должен был заплатить за обучение в том случае, если выиграет свой первый судебный процесс. Такая постановка вопроса может показаться странной, но на самом деле для молодого адвоката действительно очень важно зарекомендовать себя, выиграв свое первое дело.

Сумма же, предполагавшаяся к уплате за обучение, 10 тысяч драхм, была весьма велика по тем временам. Но Еватл поступил совсем неординарно: он не стал участвовать в судебных тяжбах и соответственно ничего не платил Протагору. Возможно, у него были для такого решения и другие основания, а не только нежелание платить. Тем не менее, Протагор решил подать на ученика в суд. Он рассуждал при этом так: поскольку это будет для Еватла первым процессом, в котором он будет вынужден участвовать хотя бы в качестве обвиняемого и ответчика, то если Еватл выиграет тяжбу, он заплатит по договору, а если проиграет, то заплатит по решению суда.

Как ни странно, но и Еватл рассуждал точно так же: «Если я проиграю этот процесс, – говорил он, – то не буду платить по договору, а если выиграю, то не буду платить по решению суда».

Вопрос: должен ли платить Еватл или нет?

Оставим читателю возможность самостоятельно поразмышлять над парадоксом. Заинтересованных же отсылаем к специальным работам на этот счёт[25]. Советуем, в том числе обратить внимание и на парадокс «Крокодил и мать», схожий по своему логическому содержанию с изложенным выше.

Различие между парадоксом и противоречием

Приведём словарные определения парадоксов и противоречий:

«Парадокс: явление, кажущееся невероятным и неожиданным; cтранное, расходящееся с общепринятым мнением, высказывание, а также мнение, противоречащее, „иногда только на первый взгляд“, здравому смыслу»[26].

Парадоксы часто путают с и противоречиями.

«Противоречие: взаимодействие противопоставленных и взаимосвязанных сущностей как источников самодвижения и развития (диалектическое противоречие); противоположность интересов (классовые противоречия); положение, при котором одно „высказывание, мысль, поступок“ исключает другое, не совместимое с ним (впасть в противоречие, противоречие во взглядах); высказывание или поступок, направленные против кого-чего-нибудь (не терпит противоречий кто-нибудь, дух противоречия – „стремление во что бы то ни стало сделать не так, совсем иначе“»).

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

Итак, согласно С. И. Ожегову, парадоксом может быть явление, кажущееся неожиданным и невероятным. Как такое может быть? Рассмотрим «магический параллелепипед». Впрочем, ничего сверхъестественного в нём всё-таки нет.

ВОПРОС № 1

Требуется найти численно кратчайшее расстояние между точками А и Б, если отмерять его по поверхности параллелепипеда. Точки А и Б отстоят на 2 и 5 см, соответственно, от нижней и верхней граней, и на 5 см от боковых (то есть по центру).

Неразрешимый спор. Парадокс «Еватл и Протагор» - student2.ru

ВОПРОС № 2

Оскару Уайльду, которого называли «гением парадоксов», принадлежат такие высказывания: «Я не настолько молод, чтобы всё знать», «У меня непритязательный вкус: мне вполне достаточно самого лучшего»; «У женщин потрясающе острое зрение: они видят всё, кроме самого очевидного»; «Быть естественным – это такая, знаете ли… поза»; «Только поверхностный человек судит о людях не по их внешности»… Придумайте остроумное высказывание, подражая Оскару Уайльду. В качестве тематической области возьмите пару «учитель – ученик». Вспомните, что парадокс – это нарушение симметрии, порядка[27].

Для того чтобы дать читателю представление о парадоксах как о «мнении, противоречащем „иногда только на первый взгляд“ здравому смыслу», приведём простенькую задачку из курса средней школы. «Много раз, – вспоминает С. В. Ёлкин, – давал я эту задачу большим студенческим аудиториям и каждый раз неизменно мне предлагались ответы: 99 кг; 98,98(98) кг; 99,9 и т. д. Человеческий мозг находящийся „в плену здравого смысла“ раз за разом ходил по кругу, натыкаясь на психологический барьер, не позволяющий прийти к правильному ответу!» Попробуйте и вы найти правильный ответ!

ВОПРОС № 3

Пионеры собрали в лесу 100 кг грибов 99 % влажности. Пока они несли грибы в лагерь, влажность уменьшилась до 98 %. Сколько килограммов грибов принесли пионеры в лагерь?

Теперь вернёмся к противоречиям. Более остальных нас интересуют сейчас два типа противоречий:

1. Противоречие в понятиях как «взаимодействие противопоставленных и взаимосвязанных сущностей как источников самодвижения и развития»;

2. Противоречие в суждениях как «положение, при котором одно „высказывание, мысль, поступок“ исключает другое, не совместимое с ним».

Собственно всё остальное будет из них вытекать.

Технические и физические противоречия будут, так или иначе, формулироваться либо в понятиях, либо в суждениях. Например, для глажения белья нужно орудие (инструмент, устройство, приспособление), которое является горячим, чтобы ткань разглаживалась при нагревании, и одновременно холодным, чтобы его можно было держать в руках. Одно и тоже тело не может быть и горячим, и холодным одновременно. Это физическое противоречие! Но очевидно, такое устройство существует и называется утюг, а противоречие разрешается разнесением в пространстве его противоречивых свойств: гладящая поверхность горячая, а рукоятка холодная. Это очень простой и наглядный пример, но не всё бывает так просто.

ВОПРОС № 4

В одном из интервью прославленные цирковые артисты братья Аркадий и Александр Шатировы утверждают: «Дрессировать удава на самом деле просто невозможно. У него удивительно мало прирожденных, безусловных рефлексов, значит, и новые, условные, привить немыслимо. Так что удавов скорее не дрессируют, а просто приручают к человеку – к его запаху, теплу… Поначалу он на артиста кидается, причём весьма агрессивно. И его нужно всё время гладить, успокаивать, внушать, что никакой опасности нет. Ну, а дальше всё зависит от фантазии человека – куда он „повесит“ привыкшую к нему змеюку: самому удаву абсолютно безразлично, на шее, на руке или на ноге партнёра повисеть во время представления, лишь бы он был уверен, что никакая опасность ему и впрямь не грозит…» И всё-таки многие из наших читателей видели этот захватывающий номер, когда смертоносные объятия многометровой змеи вот-вот уже готовы сомкнуться на теле бесстрашного человека, но он успевает сбросить чудовищные кольца при всей невероятной силе удава и потрясающей реакции. Как же этот трюк удаётся артисту?

Какие бывают противоречия?

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

И каждое противоречие ждет, что кто-то его разрешит. Что значит «разрешит»? Это значит, найдётся такое решение проблемы, в котором противоречивые стороны как бы исчезнут, «скроются с глаз долой», вроде как в случае с утюгом.

Но, можно биться об заклад, найдется немало читателей, которые захотят поспорить. А как же непротиворечивость арифметики или математического анализа? Увы, и в них есть противоречия.

Конечно, на сегодня эти дисциплины сформулированы с такой тщательностью, что нам остается довольствоваться лишь противоречием в понятиях!

Так понятие числа внутренне противоречиво, поскольку всякое число одновременно является обозначением, как количества, так и номера единицы в ряду чисел. Например, число «пять»: это и пять единиц и пятая единица в ряду целых чисел, то есть и одно, и многое. А в математическом анализе главное противоречие упрятано в понятии бесконечно малой величины, которая всё время стремится к нулю, но никогда его не достигает, причем это стремление происходит вне времени, что само по себе совершенно непонятно.

Здесь, по опыту фактического автора этого раздела С. В. Ёлкина, «…читатели должны разделиться на примерно две равные группы. Одни могут принять такую позицию, а другие нет. С этим противоречием, противоречием во взглядах на противоречие, пока поделать ничего нельзя. Честно признаюсь, несмотря на весь мой опыт, я его разрешить не могу, и никто не может, вот уже несколько тысяч лет».

Но есть одно предложение – набраться терпения! Даже тот, кто с нами не согласен, всё равно приобретёт ценный опыт.

ВОПРОС № 5

Иван Грозный во время подготовки взятия Казани принял решение построить вблизи города опорную крепость. Он купил на берегу Волги в месте впадения в неё Свияги участок земли «не больше, чем можно охватить воловьей шкурой». Физическое противоречие: участок маленький, так как шкура мала, участок должен быть большим, чтобы можно было построить крепость. Как бы Вы решили эту задачу?

ВОПРОС № 6

В 1867 году был выдан патент на железобетон. Какое физическое противоречие разрешило данное изобретение?

Теперь снова обратимся к классику отечественного изобретательства Г. С. Альтшуллеру: «Техническое противоречие: „Одно свойство системы противоречит другому её свойству“. Или: „Улучшение одной части системы приводит к ухудшению другой её части“. Иногда, как мы видели, конфликтуют не части системы, а система и подсистема или система и надсистема. Но суть во всех случаях едина: выигрыш в чем-то одном приводит к проигрышу в другом. Например, повышение надежности приводит к увеличению веса. Сформулировать техническое противоречие – значит перейти от ситуации к задаче. Поэтому правильный переход от административного противоречия к техническому – это существенный сдвиг в решении задачи» (Альтшуллер, Селюцкий, 1980, С. 47).

ВОПРОС № 7

Если без изменения сельскохозяйственных орудий увеличить скорость обработки почвы в 1,5–2 раза, например, увеличив мощность двигателя трактора, то резко увеличится производительность труда. Что ухудшится?

Естественный язык не только средство формулировки парадоксов и противоречий, оказывается, он сам наполнен парадоксами и противоречиями. Да и как может быть иначе, если корень противоречия гнездится в понятии?

Изящный логический парадокс сформулирован в 1908 году немецким математиком Куртом Греллингом. Разберём определение автологичного (самоприменимого) имени прилагательного. Большинство прилагательных не обладает качеством, которое оно обозначает. Скажем, слово «красный» само по себе не имеет красного цвета, слово «ароматный» не пахнет. Зато прилагательное «русский» – действительно русского языкового корня, «трёхсложный» – трёхсложно, «абстрактный» – абстрактно и т. д.

Каждое из этих прилагательных, по терминологии Греллинга, автологично, то есть имеет силу применительно к самому себе, обладая тем же качеством, которым оно наделяет другие понятия. Иное дело – гетерологичные, то есть несамоприменимые прилагательные. Скажем слово «бесконечный» имеет конечные размеры, «конкретный» – по смыслу абстрактно. Парадокс Греллинга возникает из вопроса: к какому классу отнести прилагательное «несамоприменимый»?

Самоприменимо оно или же нет? Допустим, что прилагательное «несамоприменимый» несамоприменимо. Тогда оно (согласно приведенному определению Греллинга) самоприменимо! А раз оно самоприменимо, то на каком же основании оно названо нами «несамоприменимым»?! (Ивин, 1998).

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

Истина где-то рядом, но копать надо глубже!

Копай глубже! Именно так принуждала Интуиция в одном бородатом анекдоте незадачливого ковбоя к действию. Напомним, что наш герой, как и положено ему, скакал по степи. Вдруг лошадь остановилась, и внутренний голос сказал ему: «Копай!» Ковбой начал копать, а внутренний голос добавляет: «Копай глубже!» Ковбой копает, голос: «Глубже!» И вдруг лопата ударила о какой-то предмет. Ковбой выкопал сундук с сокровищами. А голос: «Вот это я пошутила…»

В нашем случае шутки в сторону, теперь будем анализировать парадоксы. Кто-нибудь спросит: «А зачем их анализировать?» Ну как же!

Ну как же понять, откуда они берутся, куда деваются, что полезного из этого можно для себя получить? Ведь не ради только одного любопытства читаете вы в наш прагматичный век эту книгу!

Вернёмся к «парадоксу лжеца». Если вы, уважаемый читатель, сформулируете некое утверждение, докажете его истинность, а затем из этого выведете его же ложность, то получите противоречие[28]. Чтобы получился парадокс, в данном случае необходимо организовать замкнутый круг. Конечно это не обязательное условие, но очень желательное. Ибо хождение по замкнутому кругу кого угодно может свести с ума! Именно поэтому, приняв некоторое утверждение истинным и исходя из его истинности, приходят к тому, что оно ложно, а затем, приняв его ложность, доказывают из этой посылки его истинность. (Не верите, что можете сами придумать парадокс? А зря!)

Но как же бороться с парадоксами? Может быть, запретить такой ход действий – выводить из истинности ложность, и дело с концом, нет парадокса – нет проблемы? Как бы ни так! Это дорого обойдется не только математике, физике, технике, но и всей цивилизации!

Действие высказывания на само высказывание, называемое в математике самоприменимостью, играет важную роль в очень многих случаях. И если лишить математику, этот универсальный, как мы говорили, язык науки такого важного приема, то её здание может начать рассыпаться на глазах, а потом и здание всех естественнонаучных дисциплин. Ведь свойство самоприменимости[29]используется не только для логического вывода. Например, умножение числа самого на себя это тоже самоприменимость. Как же нам остаться без «дважды два»? Тем не менее, введение некоторых ограничений в определения или действия, является распространенным приёмом борьбы с противоречиями. И иногда это бывает вполне оправдано.

В Средние века схоласты потратили немало сил в попытках разрешить «Парадокс лжеца», пока, в конце концов, не признали его «неразрешимым предложением». После это парадокс был на время забыт[30]. Как нам кажется, в наше время логика, наконец, достигла такого уровня развития, чтобы снова попытаться вскрыть проблемы, лежащие в основании парадокса. А может, и нет!?

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

В Средние века уже не раз нами упомянутый Уильям Оккам считал, что утверждение «всякое высказывание ложно» бессмысленно. Но на каком основании? Бессмысленными мы привыкли считать утверждения, не имеющие содержания, например, «если идёт дождь, то паровоз», или, иначе, не имеющие отношения к реальности.

Выражение «я лгу» (или «всякое высказывание ложно») имеет отношение к реальности и имеет содержание. Может быть, проблемой является способность выражения говорить о самом себе? Но и таких выражений предостаточно! Например, «это предложение написано по-русски» или «в этом предложении шесть слов». Первое является самоприменимым истинным, а второе самоприменимым ложным высказыванием. К тому же они оба вполне осмысленны.

И, наконец, вопрос, который ставит точку в наших сомнениях относительно позиции Оккама: «Если высказывание может говорить о самом себе (самоприменимо), то, что может запретить ему говорить об одном из своих свойств, например, о его истинности?»

С Оккамом (1280–1347) спорил его собственный ученик, другой известный философ и логик Жан Буридан (1300–1358)[31]. Он считал высказывание «всякое высказывание ложно» ложным, так как оно является сокращенной формой выражения утверждающего как свою истинность, так и ложность, а такие выражения, по его мнению, ложны. Некоторые до сих пор с ним согласны.

ВОПРОС № 8

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

ВОПРОС № 9

Докажите противоречивость отрицания «Парадокса лжеца»: «Всякое высказывание истинно».

В прошлом веке выдающийся польский логик Альфред Тарский отметил, что язык, на котором мы говорим (естественный язык), применяется как для описания окружающего мира, так и для описания самого языка. Такие языки А. Тарский назвал «семантически замкнутыми». В семантически замкнутых языках, по его мнению, неизбежно возникают противоречия. Это, так сказать, плата за мощь и выразительность. Чтобы избежать парадокса, необходимо разделить языки. На первом – следует говорить о материальном мире, на втором – нужно говорить о первом языке и его свойствах, на третьем – говорить о втором языке, ну и так далее. Возникает бесконечная иерархия языков. Подобная ситуация имеет место в искусственных языках, например, предназначенных для программирования, которые описывают свою заданную предметную область, но о них самих и их свойствах высказывания строятся на естественном языке.

С одной стороны это восхитительное открытие, ставящее А. Тарского в один ряд с Великими, а с другой стороны ситуация с построением бесконечной иерархии непротиворечивых языков чем-то очень напоминает нам Ахилла и черепаху…

Долгое время считалось, что предложение А. Тарского – единствен ный путь разрешения «Парадокса лжеца», но сейчас мнение изменилось.

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

Здесь нам самое время познакомиться с этими законами. Их три. Совсем недавно, лет эдак шестьдесят назад, каждый школьник знал эти законы, а сейчас и не всякий выпускник ВУЗа с ними знаком!

Дело в том, что раньше логику преподавали в школе, а теперь только в ВУЗах, в лучшем случае, в инженерно-технических (в рамках курса дискретной математики) да в некоторых юридических. И у кого не было «дискретки», тот понятия не имеет о трёх законах логики. Проверено!

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

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

Третий закон исключённого третьего («tertium non datur », то есть «третьего не дано») – закон классической логики: из двух высказываний – «А» или «не А» – одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными (либо истинными), одно из них необходимо истинно, а другое ложно.

ВОПРОС № 10

В одном учебнике «Концепции современного естествознания» из главы, посвящённой Общей теории относительности Альберта Эйнштейна, следует, что, по современным научным представлениям, пространство, время и материя не существуют друг без друга: без одного нет другого. А в главе, рассказывающей о происхождении Вселенной, говорится о том, что она появилась примерно 20 млрд. лет назад в результате Большого взрыва, во время которого родилась материя, заполнившая собой всё пространство. Нет ли здесь противоречия?

ВОПРОС № 11

Докажите, что известное высказывание Антона Павловича Чехова: «В детстве у меня не было детства» не содержит противоречия.

Вернемся к трёхзначной логике. Предложим логику, имеющую три значения: истинно, ложно, неистинно-неложно (или истинно-и-ложно). Есть ли примеры утверждений, которым можно приписать значение «неистинно-неложно»? Элементарно! Производители растительного масла часто пишут на бутылках, что «продукт не содержит холестерина». Что является то ли лживой истиной, то ли истинной ложью, то ли ещё чем-то. Комментируем. Холестерин является продуктом жизнедеятельности животного организма (печени) и представляет собою соединение в одной молекуле жироподобного и белковоподобного фрагментов. То есть в растительном масле никогда не было и не могло быть холестерина. Но на потребителей надпись действует магически!

ВОПРОС № 12

Придумайте утверждение не истинное и не ложное.

А вот что сам Г. В. Ф. Гегель пишет об этом пресловутом «Парадоксе лжеца»: «Одно опровержение носит название лжеца; в этом опровержении ставится вопрос: „если какой-нибудь человек говорит, что он лжет, то лжет ли он, или говорит правду?“ Требуется простой ответ, ибо простое, которым исключается другое, считается истинным. Если ответят: он говорит правду, то это противоречит содержанию его речи, ибо он ведь сознается, что он лжет. Если же будут утверждать, что он лжет, то на это утверждение нужно возразить, что его признание является, наоборот, правдой. Он, следовательно, лжет и вместе с тем и не лжет, простого же ответа на заданный вопрос никак нельзя дать, ибо здесь положено соединение двух противоположностей – истины и лжи, – и их непосредственное противоречие; это и выступало снова и снова в различных формах и занимало умы людей во все эпохи. Хризипп, знаменитый стоик, написал об этом вопросе шесть книг. Другой – Филет Косский – умер от чахотки, которую от нажил благодаря чрезмерным трудам, положенным им на разрешение этой двусмысленности. Нечто совершенно похожее мы видим в наши дни у людей, истощающихся в усилиях найти квадратуру круга, вопрос, который почти стал бессмертным. Они ищут простого отношения между тем, что несоизмеримо друг с другом, то есть они также впадают в ошибку требовать простого ответа, тогда как содержание, с которым они имеют дело, противоречиво».

Мы вечно забываем, что нет на самом деле простых и однозначных отношений – ни между людьми, ни между техническими системами, также и между истиной и ложью их нет. В любой правде есть ложь и наоборот. Помните, как в детском фильме «Отроки во Вселенной» робот-исполнитель сгорел, пытаясь ответить на вопрос ребят «Кто остался на трубе?» Логика машинная и человеческая – это «две большие разницы»[32].

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

Наши рекомендации