Логика Кош Алекс
Обилие опровержений доводов Зенона показательно. Не вполне ясно, в чем именно состоят эти доводы, что они доказывают. Не ясно, как это «что-то» доказывается и есть ли здесь вообще доказательство? Чувствуется только, что какие-то проблемы или затруднения все-таки есть. И прежде чем опровергать Зенона, нужно выяснить, что именно он намеревался сказать и как он обосновывал свои тезисы. Сам он не формулировал прямо ни проблем, ни своих решений этих проблем. Есть, в частности, только коротенький рассказ, как Ахиллес безуспешно пытается догнать черепаху.
Извлекаемая из этого описания мораль зависит, естественно, от того более широкого фона, на котором оно рассматривается и меняется с изменением этого фона.
Рассуждения Зенона сейчас, надо думать, окончательно выведены из разряда хитроумных уловок. Они, по словам Б.Рассела, «в той или иной форме затрагивают основания почти всех теорий пространства, времени и бесконечности, предлагавшихся с его времени до наших дней».
Общность этих рассуждений с другими софизмами древних несомненна. И те и другие имеют форму краткого рассказа или описания простой в своей основе ситуации, за которой не стоит как будто никаких особых проблем. Однако описание преподносит явление так, что оно оказывается явно несовместимым с устоявшимися представлениями о нем. Между этими обычными представлениями о явлении и описанием его в апории или софизме возникает резкое расхождение, даже противоречие. Как только оно замечается, рассказ теряет видимость простой и безобидной констатации. За ним открывается неожиданная и неясная глубина, в которой смутно угадывается какой-то вопрос или даже многие вопросы. Трудно сказать с определенностью, в чем именно состоят эти вопросы, их еще предстоит уяснить и сформулировать, но очевидно, что они есть. Их надо извлечь из рассказа подобно тому, как извлекается мораль из житейской притчи. И как в случае притчи, результаты размышления над рассказом важным образом зависят не только от него самого, но и от того контекста, в котором этот рассказ рассматривается. В силу этого вопросы оказываются не столько поставленными, сколько навеянными рассказом. Они меняются от человека к человеку и от времени к времени. И нет полной уверенности в том, что очередная пара «вопрос – ответ» исчерпала все содержание рассказа.
Зенон предложил еще один софизм – «Медимн зерна» (примерно мешок зерна), послуживший прототипом для знаменитых софизмов Евбулида «Куча» и «Лысый».
Большая масса мелких, просяных, например, зерен при падении на землю всегда производит шум. Он складывается из шума отдельных зерен, и, значит, каждое зерно и каждая малейшая часть зерна должны, падая, производить шум. Однако отдельное зерно падает на землю совершенно бесшумно. Значит, и падающий на землю медимн зерна не должен был бы производить шум, ведь он состоит из множества зерен, каждое из которых падает бесшумно. Но все-таки медимн зерна падает с шумом!
В прошлом веке начала складываться экспериментальная психология. «Медимн зерна» стал истолковываться как первое неясное указание на существование только что открытых порогов восприятия. Это истолкование многим кажется убедительным и сегодня.
Человек слышит не все звуки, а только достигающие определенной силы. Падение отдельного зерна производит шум, но он настолько слаб, что лежит за пределами человеческого слуха. Падение же многих зерен дает шум, улавливаемый человеком. «Если бы Зенон был знаком с теорией звука, – писал тогда немецкий философ Т.Брентано, – он не измыслил бы, конечно, своего аргумента».
При таком объяснении совершенно не замечалось одно простое, но меняющее все дело обстоятельство: софизм «Медимн зерна» строго аналогичен софизмам «Куча» и «Лысый». Но последние не имеют никакого отношения ни к теории звука, ни к психологии слуха.
Значит, для них нужны какие-то другие и притом разные объяснения. А это уже кажется явно непоследовательным: однотипные софизмы должны решаться одинаково. Кроме того, раз уловлен принцип построения подобных софизмов, их можно формулировать сколько заблагорассудится. Было бы наивно, однако, для каждого из них искать какое-то свое решение.
Ясно, что ссылки на психологию восприятия не отражают существа того затруднения, которое обыгрывается рассматриваемыми софизмами.
Гораздо более глубоким является их анализ, данный Гегелем. Вопросы: «Создает ли прибавление одного зерна кучу?», «Становится ли хвост лошади голым, если вырвать из него один волос?» – кажутся наивными. Но в них находит свое выражение попытка древних греков представить наглядно противоречивость всякого изменения.
Постепенное, незаметное, чисто количественное изменение какого-то объекта не может продолжаться бесконечно. В определенный момент оно достигает своего предела, происходит резкое качественное изменение, и объект переходит в другое качество. Например, при температуре от 0° до 100°С вода представляет собой жидкость. Постепенное нагревание ее заканчивается тем, что при 100°С она закипает и резко, скачком, переходит в другое качественное состояние – превращается в пар. «Когда происходит количественное изменение, – писал Гегель, – оно кажется сначала совершенно невинным, но за этим изменением скрывается еще и нечто другое, и это кажущееся невинным изменение количественного представляет собой как бы хитрость, посредством которой улавливается качественное».
Софизмы типа «Медимн зерна», «Куча», «Лысый» являются также наглядным примером тех трудностей, к которым ведет употребление неточных или «размытых» понятий. Но об этом будет говорится в следующей главе.
Софизмы «Электра» и «Покрытый» до сих пор приводятся в качестве характерных образцов мнимой мудрости.
В одной из трагедий Еврипида есть сцена, в которой Электра и Орест, брат и сестра, встречаются после очень долгой разлуки. Знает ли Электра своего брата? Да, она знает Ореста. Но вот он стоит перед нею, непохожий на того, которого она видела последний раз, и она не знает, что этот человек – Орест. Значит, она знает то, что она не знает?
Близкой вариацией на эту же тему является «Покрытый». Я знаю, скажем, Сидорова, но не знаю, что рядом со мной, чем-то накрывшись, стоит именно он. Меня спрашивают: «Знаете ли вы Сидорова?» Мой убедительный ответ будет и верным и неверным, так как я не знаю, что за человек рядом со мной. Если бы он открылся, я мог бы сказать, что всего лишь не узнал его. Иногда этому софизму придают форму, в которой, как кажется, его пустота и беспомощность становятся особенно наглядными.
– Знаете ли вы, о чем я сейчас хочу вас спросить?
– Нет.
– Неужели вы не знаете, что лгать – нехорошо?
– Конечно, знаю.
– Но именно об этом я и собирался вас спросить, а вы ответили, что не знаете.
Дело, однако, не в форме изложения, сколь бы пустой она ни казалась. Дело в том, что такие ситуации «незнающего» знания обычны в познании, и притом не только в абстрактной, увлекшейся теоретизированием науке, но и в самых элементарных актах познания. Читателю такая мысль может показаться, пожалуй, странной. Но не стоит торопиться с возражениями, в дальнейшем простые примеры наглядно покажут, что это действительно так.
Аристотель пытался разрешать подобные софизмы, ссылаясь на двусмысленность глагола «знать». Действительно, момент двусмысленности здесь есть. Можно знать, что ложь предосудительна, и не знать, что именно об этом вас хотят спросить.
Но ограничиться здесь простой ссылкой на двусмысленность – значит не понять глубины самой двусмысленности и упустить самое важное и интересное.
Могут ли считаться истинными знания о предмете, если их не удается поставить в соответствие с самим предметом? Эта проблема непосредственно стоит за рассматриваемыми софизмами. Они фиксируют живое противоречие между наличием знания о предмете и опознанием этого предмета. О том, насколько важным является такое противоречие, говорит вся история теоретической науки и в особенности развитие современной, обычно высокоабстрактной науки.
Истина является бесконечным приближением к своему объекту. Отождествляя наши знания о некотором предмете с конкретным предметом, мы тем самым изменяем и углубляем их. Очевидно, что конкретное применение знаний требует узнавания предмета, и неудивительно, что узнавание является важной составляющей познавательной деятельности.
Всегда имеется расхождение между сложившимися представлениями об исследуемом фрагменте действительности и самим этим фрагментом. В случае научной теории это расхождение или рассогласование между теоретическими представлениями об изучаемых объектах и самими эмпирическими данными в опыте объектами. Такое расхождение особенно велико на начальных этапах исследования, когда целому ряду теоретических выводов еще не удается поставить в соответствие никаких эмпирических данных.
Хорошим примером здесь может служить предсказание выдающимся русским химиком Д.Менделеевым существования новых химических элементов. Поскольку эмпирически они не были еще открыты и существовали только в «теоретическом пространстве», которое само еще не устоялось и не имело отчетливых очертаний, Д.Менделеев несколько лет не решался обнародовать свое предсказание.
Характерным примером, относящимся уже к современной физике, является предсказание в начале 30-х годов английским физиком П.Дираком существования элементарной частицы нейтрино. Физики сразу же согласились, что введение этой «высокотеоретической» частицы было полезным и, возможно, даже необходимым с точки зрения теории. Но только спустя примерно два десятилетия непосредственные следы нейтрино удалось обнаружить в сцинтилляционных камерах. Теория давала определенное знание об этой частице, но понадобился сравнительно, большой промежуток времени, пока оно было наконец дополнено опознанием самой частицы. Чисто теоретическое до той поры знание было с этого момента связано с эмпирическими явлениями и тем самым «опредмечено».
Несовпадение теоретического вывода и эмпирического результата всегда означает существование «неопредмеченного» знания или знания о «неопознанных» объектах, которое было образно названо «незнающим» знанием. Софизмы, подобные «Покрытому», как раз и обращают внимание на возможность и в общем-то обычность такого знания.
Они ставят также вопрос о том, что является критерием истинности теоретических утверждений, объекты которых еще не обнаружены в действительности или вообще не существуют реально, подобно абсолютно черному телу или идеальному газу.
Истинной является мысль, соответствующая описываемому ею объекту. Но если этот объект неизвестен, с чем тогда должна сопоставляться мысль для суждения о ее истинности? Ответ на этот вопрос сложен и вызывает немало споров в современной методологии науки.
Эта и другие проблемы могут быть вычитаны из обсуждаемых софизмов только при достаточно высоком уровне научного знания и знания о самом этом знании. Но эти проблемы, пусть в самой «зародышевой» и иносказательной форме, все-таки поднимались данными софизмами.
Что касается двусмысленности слова «знать», как и двусмысленности вообще, то нужно заметить, что она далеко не всегда является досадной ошибкой отдельного, недостаточно последовательного ума. Двусмысленность может носить не только субъективный характер, являясь выражением некоторой логической нетренированности. Расхождение теоретического и эмпирического – постоянный и вполне объективный источник неопределенности и двусмысленности.
Софизм «Покрытый» можно переформулировать так, что обнаружится еще одна сторона скрывающейся за ним проблемы.
Допустим, что рядом со мной стоит, накрывшись, не Сидоров, а какой-то другой человек, но я не знаю об этом. Знаю ли я Сидорова? Конечно, знаю. Но рядом со мной кто-то неизвестный. А вдруг это как раз Сидоров?
Отвечая «знаю», я в какой-то мере рискую, ибо опять могу оказаться в положении, когда, зная Сидорова, я не узнал его, пока он не раскрылся.
Можно даже упростить ситуацию. Рядом со мной, не прячась, стоит Сидоров. Знаю ли я его? Да, знаю и узнаю. А знаю ли я, что у Сидорова пятеро детей? Нет, этого я как раз и не знаю. Но без знания такого важного факта, определяющего скорее всего все остальное в жизни Сидорова, чего стоят имеющиеся у меня разрозненные сведения о нем?
Эти упрощенные до предела и звучащие наивно примеры намекают, однако, на важные моменты, касающиеся знания. Оно всегда является в определенном смысле неполным и никогда не приобретает окончательных, окостеневших очертаний. Элементы знания многообразно связаны между собой. Сомнение в каких-то из них непременно иррадиирует на другие области и элементы, и неясность даже на окраинах системы знания легкой дымкой растекается по всей системе. Введение новых элементов, особенно если они выглядят существенными с точки зрения данной системы, нередко заставляет перестроить ее всю.
Научная теория как система утверждений напоминает в этом плане здание, которое приходится перестраивать снизу доверху, надстраивая каждый новый этаж.
Все эти намеки на неполноту, системность и постоянную перестройку знаний тоже можно – при большом, правда, желании – усмотреть в софизмах типа «Покрытый».
Многое из сказанного здесь о научном знании приложимо и ко всем другим формам знания.
Имеется знание о Гамлете, принце датском, описанном в трагедии В.Шекспира. Но сколько талантливых актеров, столько и разных Гамлетов. Известный русский актер В.Качалов изображал в своем Гамлете почти и исключительно одну сыновнюю любовь к матери. Во всей трагедии он подчеркивал прежде всего слова, выражающие эту любовь. Другие актеры выдвигают на первый план одиночество, покинутость, беспомощность, крайнее отчаяние и полное бессилие Гамлета. Иногда, наоборот, в нем видятся воля, сила и мощь, и всем его поступкам придается характер запланированности и заранее замысленного зла. Существовали Гамлеты-философы, абстрактные мыслители, не столько действующие и чувствующие, сколько над всем рефлектирующие и все анализирующие. Были Гамлеты, потерявшиеся в дворцовом окружении.
Гамлет в описании В.Шекспира – это только литературный персонаж, так сказать, теоретический, «не-опредмеченный» Гамлет. Гамлет в спектакле по Шекспиру – это «опредмечивание» литературного Гамлета. Полное знание Гамлета требует единства теоретического и предметного, литературного и сценического. При совсем уж плохом исполнении пьесы можно сказать: «Знаю Гамлета, но не узнаю его».
Рассматриваемые софизмы затрагивают, помимо общих вопросов, и собственно логические проблемы. Они обращают, в частности, внимание на различие между экстенсиональными и интенсиональными контекстами, имеющее важное значение в современной логике. Особенность вторых в том, что они не допускают замены друг на друга разных имен, обозначающих один и тот же предмет. Форма «Электра знает, что X – ее брат» является как раз частным случаем интенсиональных выражений. Подстановка в эту форму вместо примененной X имени «Орест» дает истинное высказывание. Но, подставив имя «этот покрытый человек», обозначающее того же человека, что и имя «Орест», получим уже ложное высказывание.
Конечно, теперь это различие является хорошо известным в логике. Но в седой античности, когда еще и логики как науки не существовало, удалось все-таки если и не выразить его явно и отчетливо, то хотя бы почувствовать. Это и сделали «Электра» и «Покрытый». Они указали, сверх того, на опасности, связанные с пренебрежением данным различием.
3. Софизмы и зарождение логики
Очень многие софизмы выглядят как лишенная смысла и цели игра с языком; игра, опирающаяся на многозначность языковых выражений, их неполноту, недосказанность, зависимость их значений от контекста и т.д. Эти софизмы кажутся особенно наивными и несерьезными.
Платон описывает, как два софиста запутывают простодушного человека по имени Ктесипп.
– Скажи-ка, есть ли у тебя собака?
– И очень злая, – отвечал Ктесипп.
– А есть ли у нее щенята?
– Да, тоже злые.
– А их отец, конечно, собака же?
– Я даже видел, как он занимается с самкой.
– И этот отец тоже твой?
– Конечно.
– Значит, ты утверждаешь, что твой отец – собака и ты брат щенят!
Смешно, если и не Ктесиппу, то всем окружающим, ведь такие беседы обычно проходили при большом стечении народа. Но только ли смешно?
Или доказательство того, что глаза не нужны для зрения, поскольку, закрыв любой из них, мы продолжаем видеть. Только ли комичная ерунда здесь?
Или такое рассуждение:
«Тот, кто лжет, говорит о деле; о котором идет речь, или не говорит о нем; если он говорит о деле, он не лжет; если он не говорит о деле, он говорит о чем-то несуществующем, а о нем невозможно ни мыслить, ни говорить».
Эту игру понятиями Платон представлял просто как смешное злоупотребление языком и сам, придумывая софизмы, не раз показывал софистам, насколько легко подражать их искусству играть словами. Но нет ли здесь и второго, более глубокого и серьезного плана? Не вытекает ли отсюда интересная для логики мораль?
И, как это ни кажется поначалу странным, такой план здесь определенно есть и такую мораль, несомненно, можно извлечь. Нужно только помнить, что эти и подобные им рассуждения велись очень давно. Так давно, что не было даже намеков на существование особой науки о доказательстве и опровержении, не были открыты ни законы логики, ни сама идея таких законов.
Все эти софистические игры и шутки, несерьезность и увертливость в споре, склонность отстаивать самое нелепое положение и с одинаковой легкостью говорить «за» и «против» любого тезиса, словесная эквилибристика, являющаяся вызовом как обычному употреблению языка, так и здравому смыслу, – все это только поверхность, за которой скрывается глубокое и серьезное содержание. Оно не осознавалось ни самими софистами, ни их противниками, включая Платона и Аристотеля, но оно очевидно сейчас.
В софистике угас интерес к вопросу, как устроен мир, но осталась та же мощь абстрагирующей деятельности, какая была у предшествующих философов. И одним из объектов этой деятельности стал язык. В софистических рассуждениях он подвергается всестороннему испытанию, осматривается, ощупывается, переворачивается с ног на голову и т.д. Это испытание языка действительно напоминает игру, нередко комичную и нелепую для стороннего наблюдателя, но в основе своей подобную играм подрастающих хищников, отрабатывающих в них приемы будущей охоты. В словесных упражнениях, какими были софистические рассуждения, неосознанно отрабатывались первые, конечно, еще неловкие приемы логического анализа языка и мышления.
Обычно Аристотеля, создавшего первую последовательную логическую теорию, рисуют как прямого и недвусмысленного противника софистов во всех аспектах. В общем это так. Однако в отношении логического анализа языка он был прямым продолжателем начатого ими дела. И можно сказать, что, если бы не было Сократа и софистов, не создалось бы почвы для научного подвига создания логики.
Софисты придавали исключительное значение человеческому слову и первыми не только подчеркнули, но и показали на деле его силу. «Слово, – говорил софист Горгий, – есть великий властелин, который, обладая весьма малым и совершенно незаметным телом, совершает чудеснейшие дела. Ибо оно может и страх изгнать, и печаль уничтожить, и радость вселить, и сострадание пробудить… То же самое значение имеет сила слова в отношении к настроению души, какую сила лекарства относительно природы тел. Ибо подобно тому, как из лекарств одни изгоняют из тела одни соки, другие иные, и одни из них устраняют болезнь, а другие прекращают жизнь, точно так же и из речей одни печалят, другие радуют, третьи устрашают, четвертые ободряют, некоторые же отравляют и околдовывают душу, склоняя ее к чему-нибудь дурному».
Язык, являвшийся до софистов только незаметным стеклом, через которое рассматривается мир, со времени софистов впервые стал непрозрачным. Чтобы сделать его таким, а тем самым превратить его в объект исследования, необходимо было дерзко и грубо обращаться с устоявшимися и инстинктивными правилами его употребления. Превращение языка в серьезный предмет особого анализа, в объект систематического исследования было первым шагом в направлении создания науки логики.
Важным является также типичное для софистов подчеркнуто формальное отношение к языку. Отрывая мысль от ее объекта, они отодвигают в сторону вопрос о соответствии ее этому объекту и замыкают мысль, потерявшую интерес к действительности и истине, только на слове. Как раз на этом пути, на пути преимущественного структурного восприятия языка и отвлечения от выражаемого им содержания, и возникло центральное понятие логики, понятие о чистой, или логической, форме мысли.
«…О чем бы ни шла речь, – говорит о софистах Платон, – об истинном или ложном, они опровергали все совершенно одинаково». Со всех, пожалуй, точек зрения такое поведение предосудительно, кроме одной, именно той, что связана с логической формой. Выявление этой формы требует как раз полного отвлечения от конкретного содержания и, таким образом, от вопроса об истине. В идее аргументации с равной силой «за» и «против» любого положения, идее, проводимой сознательно и последовательно, можно усматривать зародыш основного принципа формальной логики: правильность рассуждения зависит только от его формы, и ни от чего иного. Она не зависит, в частности, от существования или несуществования обсуждаемого объекта, от его ценности или никчемности и т.д. Она не зависит и от истинности или ложности входящих в рассуждение утверждений, эта мысль смутно просматривается как будто за вольным обращением софистов с истиной и ложью.
В софизмах есть смутное предвосхищение многих конкретных законов логики, открытых гораздо позднее. Особенно часто обыгрывается в них тема недопустимости противоречий в мышлении.
– Скажи, – обращается софист к молодому любителю споров, – может одна и та же вещь иметь какое-то свойство и не иметь его?
– Очевидно, нет.
– Посмотрим. Мед сладкий?
– Да.
– И желтый тоже?
– Да, мед сладкий и желтый. Но что из этого?
– Значит, мед сладкий и желтый одновременно. Но желтый – это сладкий или нет?
– Конечно, нет. Желтый – это желтый, а не сладкий.
– Значит, желтый – это не сладкий?
– Конечно.
– О меде ты сказал, что он сладкий и желтый, а потом согласился, что желтый значит не сладкий, и потому как бы сказал, что мед является сладким и не сладким одновременно. А ведь вначале ты твердо говорил, что ни одна вещь не может и обладать и не обладать каким-то свойством.
Конечно, софисту не удалось доказать, что мед имеет противоречащие друг другу свойства, являясь сладким и несладким вместе. Подобные утверждения невозможно доказать: они несовместимы с логическим законом противоречия, говорящим, что высказывание и его отрицание («мед сладкий» и «мед не является сладким») не могут быть истинными одновременно.
И вряд ли софист всерьез стремится опровергнуть данный закон. Он только делает вид, что нападает на него, ведь он упрекает собеседника, что тот путается и противоречит себе. Такая попытка оспорить закон противоречия выглядит скорее защитой его. Ясной формулировки закона здесь, разумеется, нет, речь идет только о приложении его к частному случаю.
«Софисты, – пишет французский историк философии Э.Гратри, – это те, которые не допускают ни в умозрении, ни в практике той основной и необходимой аксиомы разума, что невозможно и утверждать и отрицать одно и то же, в одно и то же время, в одном и том же смысле и в одном и том же отношении».
Очевидно, что это совершенно несправедливое обвинение. Актерство софистов, разыгрывание ими сомнения в справедливости приложений закона противоречия принимаются Э.Гратри за чистую монету. Когда софист говорит от себя, а не по роли, что, впрочем, бывает крайне редко, он вовсе не кажется защитником противоречивого мышления. В диалоге «Софист» Платон замечает, что испытание мыслей на противоречивость является несомненным требованием справедливости. Эта мысль Платона является только повторением утверждения софиста Горгия.
Таким образом, софизмы древних, сформулированные еще в тот период, когда логики как теории правильного рассуждения еще не было, в большинстве своем прямо ставят вопрос о необходимости ее построения. Прямо в той мере, в какой это вообще возможно для софистического способа постановки проблем. Именно с софистов началось осмысление и изучение доказательства и опровержения. И в этом плане они явились прямыми предшественниками Аристотеля.
Чаще всего анализ софизма не может быть завершен раскрытием логической или фактической ошибки, допущенной в нем. Это как раз самая простая часть дела. Сложнее уяснить проблемы, стоящие за софизмом, и тем самым раскрыть источник недоумения и беспокойства, вызываемого им, и объяснить, что придает ему видимость убедительного рассуждения.
В обычном представлении и в специальных работах, касающихся развития науки, общим местом является положение, что всякое исследование начинается с постановки проблемы. Последовательность «проблема – исследование – решение» считается приложимой ко всем стадиям развития научных теорий и ко всем видам человеческой деятельности. Хорошая, то есть ясная и отчетливая, формулировка задачи рассматривается как непременное условие успеха предстоящего исследования или иной деятельности.
Все это ясно, но лишь применительно к развитым научным теориям и достаточно стабилизировавшейся и отработанной деятельности. В теориях, находящихся на начальных этапах своего развития и только нащупывающих свои основные принципы, выдвижение и уяснение проблем во многом совпадает и переплетается с самим процессом исследования и не может быть однозначно отделено от него. Аналогично в случае других видов человеческой деятельности.
В обстановке, когда нет еще связной, единой и принятой большинством исследователей теории, твердой в своем ядре и развитой в деталях, проблемы ставятся во многом в расчете на будущую теорию. И они являются столь же расплывчатыми и неопределенными, как и те теоретические построения и сведения, в рамках которых они возникают.
Эту особую форму выдвижения проблем можно назвать парадоксальной, или софистической. Она подобна в своем существе тому способу, каким в античности поднимались первые проблемы, касающиеся языка и логики.
Отличительной особенностью софизма является его двойственность, наличие, помимо внешнего, еще и определенного внутреннего содержания. В этом он подобен символу и притче.
Подобно притче, внешне софизм говорит о хорошо известных вещах. При этом рассказ обычно строится так, чтобы поверхность не привлекала самостоятельного внимания и тем или иным способом – чаще всего путем противоречия здравому смыслу – намекала на иное, лежащее в глубине содержание. Последнее, как правило, неясно и многозначно. Оно содержит в неразвёрнутом виде, как бы в зародыше, проблему, которая чувствуется, но не может быть сколь-нибудь ясно сформулирована до тех пор, пока софизм не помещен в достаточно широкий и глубокий контекст. Только в нем она обнаруживается в сравнительно отчетливой форме. С изменением контекста и рассмотрением софизма под углом зрения иного теоретического построения обычно оказывается, что в том же софизме скрыта совершенно иная проблема.
В русских сказках встречается мотив очень неопределенного задания. «Пойди туда, не знаю куда, принеси то, не знаю что». Как это ни удивительно, однако герой, отправляясь «неизвестно куда», находит именно то, что нужно. Задача, которую ставит софизм, подобна этому заданию, хотя и является намного более определенной.
В притче «Перед параболами» Ф.Кафка пишет: «Слова мудрецов подобны параболам. Когда мудрец говорит: „Иди туда“, то он не имеет в виду, что ты должен перейти на другую сторону. Нет, он имеет в виду некое легендарное „Там“, нечто, чего мы не знаем, что и он сам не мог бы точнее обозначить». Это точная характеристика софизма как разновидности притчи. Нельзя только согласиться с Кафкой, что «все эти параболы означают только одно – непостижимое непостижимо». Содержание софизмов разностороннее и глубже, и оно, как показывает опыт их исследования, вполне постижимо. В заключение обсуждения проблем, связанных с софизмами, необходимо подчеркнуть, что не может быть и речи о реабилитации или каком-то оправдании тех рассуждений, которые преследуют цель выдать ложь за истину, используя для этого логические или семантические ошибки.
Речь идет только о том, что слово «софизм» имеет, кроме этого современного и хорошо устоявшегося смысла, еще и иной смысл. В этом другом смысле софизм представляет собой неизбежную на определенном этапе развития теоретического мышления форму постановки проблем. Сходным образом и само слово «софист» означает не только «интеллектуального мошенника», но и философа, впервые задумавшегося над проблемами языка и логики.
Все в истории повторяется, появляясь в первый раз как трагедия, а во второй – как фарс. Перефразируя этот афоризм, можно сказать, что софизм, впервые выдвигающий некоторую проблему, является, в сущности, трагедией недостаточно зрелого и недостаточно знающего ума, пытающегося как-то понять то, что он пока не способен выразить даже в форме вопроса. Софизм, вуалирующий известную и, возможно, уже решенную проблему, повторяющий тем самым то, что уже пройдено, является, конечно, фарсом.
Аристотель. Риторика//Античные риторики. – М.: 1978.
Ивин А.А. Искусство правильно мыслить. – М.: 1990.
Поварнин С.И. Спор. О теории и практике спора. – Пг.: 1918.
Попов П.С., Стяжкин Н.И. Развитие логических идей от античности до эпохи Возрождения. – М.: 1974.
Уемов А.И. Логические ошибки. – М.: 1957.
Чернышев Б.С. Софистика. – М.: 1951.
Шопенгауэр А. Эристика, или Искусство побеждать в спорах. – СПб.: 1900.
Какие логические ошибки лежат в основе софизмов? В чем недостатки стандартного истолкования софизмов? Какие решения предлагались для апорий Зенона? Какие проблемы могут стоять за этими апориями?
Какую роль сыграли софизмы в становлении логики?
В чем особенность софизма как формы постановки проблемы?
Софизм как интеллектуальное мошенничество
Софизмы как особая форма постановки проблем
Софизмы в античной философии и логике
Роль софизмов в становлении логики
Логические ошибки в софизмах
Апории Зенона и их современное истолкование
Глава 8
Логические парадоксы
1. Король логических парадоксов
Известно, что сформулировать проблему часто важнее и труднее, чем решить ее. «В науке, – писал английский химик Ф. Содди, – задача, надлежащим образом поставленная, более чем наполовину решена. Процесс умственной подготовки, необходимый для выяснения того, что существует определенная задача, часто отнимает больше времени, чем само решение задачи».
Формы, в которых проявляется и осознается проблемная ситуация, очень разнообразны. Далеко не всегда она обнаруживает себя в виде прямого вопроса, вставшего в самом начале исследования. Мир проблем так же сложен, как и порождающий их процесс познания. Выявление проблем связано с самой сутью творческого, мышления. Парадоксы представляют собой наиболее интересный случай неявных, безвопросных способов постановки проблем. Парадоксы обычны на ранних стадиях развития научных теорий, когда делаются первые шаги в еще неизученной области и нащупываются самые общие принципы подхода к ней.
В широком смысле парадокс – это положение, резко расходящееся с общепринятыми, устоявшимися, ортодоксальными мнениями. «Общепризнанные мнения и то, что считают делом давно решенным, чаще всего заслуживают исследования» (Г.Лихтенберг). Парадокс – начало такого исследования.
Парадокс в более узком и специальном значении – это два противоположных, несовместимых утверждения, для каждого из которых имеются кажущиеся убедительными аргументы.
Наиболее резкая форма парадокса – антиномия, рассуждение, доказывающее эквивалентность двух утверждений, одно из которых является отрицанием другого.
Особой известностью пользуются парадоксы в самых строгих и точных науках – математике и логике. И это не случайно.
Логика – абстрактная наука. В ней нет экспериментов, нет даже фактов в обычном смысле этого слова. Строя свои системы, логика исходит в конечном счете из анализа реального мышления. Но результаты этого анализа носят синтетический, нерасчленённый характер. Они не являются констатациями каких-либо отдельных процессов или событий, которые должна была бы объяснить теория. Такой анализ нельзя, очевидно, назвать наблюдением: наблюдается всегда конкретное явление.
Конструируя новую теорию, ученый обычно отправляется от фактов, от того, что можно наблюдать в опыте. Как бы ни была свободна его творческая фантазия, она должна считаться с одним непременным обстоятельством: теория имеет смысл только в том случае, когда она согласуется с относящимися к ней фактами. Теория, расходящаяся с фактами и наблюдениями, является надуманной и ценности не имеет.
Но если в логике нет экспериментов, нет фактов и нет самого наблюдения, то чем сдерживается логическая фантазия? Какие если не факты, то факторы принимаются во внимание при создании новых логических теорий?
Расхождение логической теории с практикой действительного мышления нередко обнаруживается в форме более или менее острого логического парадокса, а иногда даже в форме логической антиномии, говорящей о внутренней противоречивости теории. Этим как раз объясняется то значение, которое придается парадоксам в логике, и то большое внимание, которым они в ней пользуются.
Наиболее известным и, пожалуй, самым интересным из всех логических парадоксов является парадокс «Лжец». Он-то главным образом и прославил имя открывшего его Евбулида из Милета.
Имеются варианты этого парадокса, или антиномии, многие из которых являются только по видимости парадоксальными.
В простейшем варианте «Лжеца» человек произносит всего одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно».
Если высказывание ложно, то говорящий сказал правду, и значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то это его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
В средние века распространенной была такая формулировка:
– Сказанное Платоном – ложно, – говорит Сократ.
– То, что сказал Сократ, – истина, – говорит Платон.
Возникает вопрос, кто из них высказывает истину, а кто ложь?
А вот современная перефразировка этого парадокса. Допустим, что на лицевой стороне карточки написаны только слова: «На другой стороне этой карточки написано истинное высказывание». Ясно, что эти слова представляют собой осмысленное утверждение. Перевернув карточку, мы должны либо обнаружить обещанное высказывание, либо его нет. Если оно написано на обороте, то оно является либо истинным, либо нет. Однако на обороте стоят слова: «На другой стороне этой карточки написано ложное высказывание» – и ничего более. Допустим, что утверждение на лицевой стороне истинно. Тогда утверждение на обороте должно быть истинным и, значит, утверждение на лицевой стороне должно быть ложным. Но если утверждение на лицевой стороне ложно, тогда утверждение на обороте также должно быть ложным, и, следовательно, утверждение на лицевой стороне должно быть истинным. В итоге – парадокс.
Парадокс «Лжец» произвел громадное впечатление на греков. И легко понять почему. Вопрос, который в нем ставится, с первого взгляда кажется совсем простым: лжет ли тот, кто говорит только то, что он лжет? Но ответ «да» приводит к ответу «нет», и наоборот. И размышление ничуть не проясняет ситуацию. За простотой и даже обыденностью вопроса оно открывает какую-то неясную и неизмеримую глубину.
Ходит даже легенда, что некий Филит Косский, отчаявшись разрешить этот парадокс, покончил с собой. Говорят также, что один из известных древнегреческих логиков, Диодор Кронос, уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдет решение «Лжеца», и вскоре умер, так ничего и не добившись.
В средние века этот парадокс был отнесен к так называемым неразрешимым предложениям и сделался объектом систематического анализа.
В новое время «Лжец» долго не привлекал никакого внимания. В нем не видели никаких, даже малозначительных затруднений, касающихся употребления языка. И только в наше, так называемое новейшее время развитие логики достигло наконец уровня, когда проблемы, стоящие, как представляется, за этим парадоксом, стало возможным формулировать уже в строгих терминах.
Теперь «Лжец» – этот типичный бывший софизм – нередко именуется королем логических парадоксов. Ему посвящена обширная научная литература. И тем не менее, как и в случае многих других парадоксов, остается не вполне ясным, какие именно проблемы скрываются за ним и как следует избавляться от него.
Сейчас «Лжец» обычно считается характерным примером тех трудностей, к которым ведет смешение двух языков: языка, на котором говорится о лежащей вне его действительности, и языка, на котором говорят о самом первом языке.
В повседневном языке нет различия между этими уровнями: и о действительности, и о языке мы говорим на одном и том же языке. Например, человек, родным языком которого является русский язык, не видит никакой особой разницы между утверждениями: «Стекло прозрачно» и «Верно, что стекло прозрачно», хотя одно из них говорит о стекле, а другое – о высказывании относительно стекла.
Если бы у кого-то возникла мысль о необходимости говорить о мире на одном языке, а о свойствах этого языка – на другом, он мог бы воспользоваться двумя разными существующими языками, допустим русским и английским. Вместо того, чтобы просто сказать: «Корова – это существительное», сказал бы «Корова is a noun», а вместо: «Утверждение „Стекло не прозрачно“ ложно» произнес бы «The assertion „Стекло не прозрачно“ is false». При таком использовании двух разных языков сказанное о мире ясно отличалось бы от сказанного о языке, с помощью которого говорят о мире. В самом деле, первые высказывания относились бы к русскому языку, в то время как вторые – к английскому.
Если бы далее нашему знатоку языков захотелось высказаться по поводу каких-то обстоятельств, касающихся уже английского языка, он мог бы воспользоваться еще одним языком. Допустим немецким. Для разговора об этом последнем можно было бы прибегнуть, положим, к испанскому языку и т.д.
Получается, таким образом, своеобразная лесенка, или иерархия, языков, каждый из которых используется для вполне определенной цели: на первом говорят о предметном мире, на втором – об этом первом языке, на третьем – о втором языке и т.д. Такое разграничение языков по области их применения – редкое явление в обычной жизни. Но в науках, специально занимающихся, подобно логике, языками, оно иногда оказывается весьма полезным. Язык, на котором рассуждают о мире, обычно называют предметным языком. Язык, используемый для описания предметного языка, именуют метаязыком.
Ясно, что, если язык и метаязык разграничиваются указанным образом, утверждение «Я лгу» уже не может быть сформулировано. Оно говорит о ложности того, что сказано на русском языке, и, значит, относится к метаязыку и должно быть высказано на английском языке. Конкретно оно должно звучать так: «Everything I speak in Russian is false» («Все сказанное мной по-русски ложно»); в этом английском утверждении ничего не говорится о нем самом, и никакого парадокса не возникает.
Различение языка и метаязыка позволяет устранить парадокс «Лжеца». Тем самым появляется возможность корректно, без противоречия определить классическое понятие истины: истинным является высказывание, соответствующее описываемой им действительности.
Понятие истины, как и все иные семантические понятия, имеет относительный характер: оно всегда может быть отнесено к определенному языку.
Как показал польский логик А.Тарский, классическое определение истины должно формулироваться в языке более широком, чем тот язык, для которого оно предназначено. Иными словами, если мы хотим указать, что означает оборот «высказывание, истинное в данном языке», нужно, помимо выражений этого языка, пользоваться также выражениями, которых в нем нет.
Тарский ввел понятие семантически замкнутого языка. Такой язык включает, помимо своих выражений, их имена, а также, что важно подчеркнуть, высказывания об истинности формулируемых в нем предложений.
Границы между языком и метаязыком в семантически замкнутом языке не существует. Средства его настолько богаты, что позволяют не только что-то утверждать о внеязыковой реальности, но и оценивать истинность таких утверждений. Этих средств достаточно, в частности, для того, чтобы воспроизвести в языке антиномию «Лжец». Семантически замкнутый язык оказывается, таким образом, внутренне противоречивым. Каждый естественный язык является, очевидно, семантически замкнутым.
Единственно приемлемый путь для устранения антиномии, а значит, и внутренней противоречивости, согласно Тарскому, – отказ от употребления семантически замкнутого языка. Этот путь приемлем, конечно, только в случае искусственных, формализованных языков, допускающих ясное подразделение на язык и метаязык. В естественных же языках с их неясной структурой и возможностью говорить обо всем на одном и том же языке такой подход не очень реален. Ставить вопрос о внутренней непротиворечивости этих языков не имеет смысла. Их богатые выразительные возможности имеют и свою обратную сторону – парадоксы.
Итак, существуют высказывания, говорящие о своей собственной истинности или ложности. Идея, что такого рода высказывания не являются осмысленными, очень стара. Ее отстаивал еще древнегреческий логик Хрисипп.
В средние века английский философ и логик У.Оккам заявлял, что утверждение «Всякое высказывание ложно» бессмысленно, поскольку оно говорит в числе прочего и о своей собственной ложности. Из этого утверждения прямо следует противоречие. Если всякое высказывание ложно, то это относится и к самому данному утверждению; но то, что оно ложно, означает, что не всякое высказывание является ложным. Аналогично обстоит дело и с утверждением «Всякое высказывание истинно». Оно также должно быть отнесено к бессмысленным и также ведет к противоречию: если каждое высказывание истинно, то истинным является и отрицание самого этого высказывания, то есть высказывание, что не всякое высказывание истинно.
Почему, однако, высказывание не может осмысленно говорить о своей собственной истинности или ложности?
Уже современник Оккама, французский философ XIV в. Ж. Буридан, не был согласен с его решением. С точки зрения обычных представлений о бессмысленности, выражения типа «Я лгу», «Всякое высказывание истинно (ложно)» и т.п. вполне осмысленны. О чем можно подумать, о том можно высказаться, – таков общий принцип Буридана. Человек может думать об истинности утверждения, которое он произносит, значит, он может и высказаться об этом. Не все утверждения, говорящие о самих себе, относятся к бессмысленным. Например, утверждение «Это предложение написано по-русски» является истинным, а утверждение «В этом предложении десять слов» ложно. И оба они совершенно осмысленны. Если допускается, что утверждение может говорить и о самом себе, то почему оно не способно со смыслом говорить и о таком своем свойстве, как истинность?
Сам Буридан считал высказывание «Я лгу» не бессмысленным, а ложным. Он обосновывал это так. Когда человек утверждает какое-то предложение, он утверждает тем самым, что оно истинно. Если же предложение говорит о себе, что оно само является ложным, то оно представляет собой только сокращенную формулировку более сложного выражения, утверждающего одновременно и свою истинность, и свою ложность. Это выражение противоречиво и, следовательно, ложно. Но оно никак не бессмысленно.
Аргументация Буридана и сейчас иногда считается убедительной.
Имеются и другие направления критики того решения парадокса «Лжец», которое было в деталях развито Тарским. Действительно ли в семантически замкнутых языках – а таковы ведь все естественные языки – нет никакого противоядия против парадоксов этого типа?
Если бы это было так, то понятие истины можно было бы определить строгим образом только в формализованных языках. Только в них удается разграничить предметный язык, на котором рассуждают об окружающем мире, и метаязык, на котором говорят об этом языке. Эта иерархия языков строится по образцу усвоения иностранного языка с помощью родного. Изучение такой иерархии привело ко многим интересным выводам, и в определенных случаях она существенна. Но ее нет в естественном языке. Дискредитирует ли это его? И если да, то в какой именно мере? Ведь в нем понятие истины все-таки употребляется, и обычно без всяких осложнений. Является ли введение иерархии единственным способом исключения парадоксов, подобных «Лжецу?»
В 30-е годы ответы на эти вопросы представлялись несомненно утвердительными. Однако сейчас былого единодушия уже нет, хотя традиция устранять парадоксы данного типа путем «расслаивания» языка остается господствующей.
В последнее время все больше внимания привлекают эгоцентрические выражения. В них встречаются слова, подобные «я», «это», «здесь», «теперь», и их истинность зависит от того, когда, кем, где они употребляются.
В утверждении «Это высказывание является ложным» встречается слово «это». К какому именно объекту оно относится? «Лжец» может говорить о том, что слово «это» не относится к смыслу данного утверждения. Но тогда к чему оно относится, что обозначает? И почему данный смысл не может быть все-таки обозначен словом «это»?
Не вдаваясь здесь в детали, стоит отметить только, что в контексте анализа эгоцентрических выражений «Лжец» наполняется совершенно иным содержанием, чем ранее. Оказывается, он уже не предостерегает от смешения языка и метаязыка, а указывает на опасности, связанные с неправильным употреблением слова «это» и подобных ему эгоцентрических слов.
Проблемы, связывавшие на протяжении веков с «Лжецом», радикально менялись в зависимости от того, рассматривался ли он как пример двусмысленности, или же как выражение, внешне представляющееся как образец смешения языка и метаязыка, или же, наконец, как типичный пример неверного употребления эгоцентрических выражений. И нет уверенности в том, что с этим парадоксом не окажутся связанными в будущем и другие проблемы.
Известный современный финский логик и философ Г. фон Вригт писал в своей работе, посвященной «Лжецу», что данный парадокс ни в коем случае не должен пониматься как локальное, изолированное препятствие, устранимое одним изобретательным движением мысли. «Лжец» затрагивает многие наиболее важные темы логики и семантики. Это и определение истины, и истолкование противоречия и доказательства, и целая серия важных различий: между предложением и выражаемой им мыслью, между употреблением выражения и его упоминанием, между смыслом имени и обозначаемым им объектом.
Аналогично обстоит дело и с другими логическими парадоксами. «Антиномии логики, – пишет фон Вригт, – озадачили с момента своего открытия и, вероятно, будут озадачивать нас всегда. Мы должны, я думаю, рассматривать их не столько как проблемы, ожидающие решения, сколько как неисчерпаемый сырой материал для размышления. Они важны, поскольку размышление о них затрагивает наиболее фундаментальные вопросы всей логики, а значит, и всего мышления».
В заключение этого разговора о «Лжеце» можно вспомнить курьезный эпизод из того времени, когда формальная логика еще преподавалась в школе. В учебнике логики, изданном в конце 40-х годов, школьникам восьмого класса предлагалось в качестве домашнего задания – в порядке, так сказать, разминки – найти ошибку, допущенную в этом простеньком на вид утверждении: «Я лгу». И, пусть это не покажется странным, считалось, что школьники в большинстве своем успешно справлялись с таким заданием.
2. Парадокс Рассела
Самым знаменитым из открытых уже в нашем веке парадоксов является антиномия, обнаруженная Б. Расселом и сообщенная им в письме к Г. Ферге. Эту же антиномию обсуждали одновременно в Геттингене немецкие математики 3. Цермело и Д. Гильберт.
Идея носилась в воздухе, и ее опубликование произвело впечатление разорвавшейся бомбы. Этот парадокс вызвал в математике, по мнению Гильберта, эффект полной катастрофы. Нависла угроза над самыми простыми и важными логическими методами, самыми обыкновенными и полезными понятиями.
Сразу же стало очевидным, что ни в логике, ни в математике за всю долгую историю их существования не было выработано решительно ничего, что могло бы послужить основой для устранения антиномии. Явно оказался необходимым отход от привычных способов мышления. Но из какого места и в каком направлении? Насколько радикальным должен был стать отказ от устоявшихся способов теоретизирования?
С дальнейшим исследованием антиномии убеждение в необходимости принципиально нового подхода неуклонно росло. Спустя полвека после ее открытия специалисты по основаниям логики и математики Л. Френкель и И.Бар-Хиллел уже без всяких оговорок утверждали: «Мы полагаем, что любые попытки выйти из положения с помощью традиционных (то есть имевших хождение до XX столетия) способов мышления, до сих пор неизменно проваливавшихся, заведомо недостаточны для этой цели».
Современный американский логик X. Карри писал немного позднее об этом парадоксе: «В терминах логики, известной в XIX в., положение просто не поддавалось объяснению, хотя, конечно, в наш образованный век могут найтись люди, которые увидят (или подумают, что увидят), в чем же состоит ошибка».
Парадокс Рассела в первоначальной его форме связан с понятием множества, или класса.
Можно говорить о множествах различных объектов, например, о множестве всех людей или о множестве натуральных чисел. Элементом первого множества будет всякий отдельный человек, элементом второго – каждое натуральное число. Допустимо также сами множества рассматривать как некоторые объекты и говорить о множествах множеств. Можно ввести даже такие понятия, как множество всех множеств или множество всех понятий.
Относительно любого произвольно взятого множества представляется осмысленным спросить, является оно своим собственным элементом или нет. Множества, не содержащие себя в качестве элемента, назовем обычными. Например, множество всех людей не является человеком, так же как множество атомов – это не атом. Необычными будут множества, являющиеся собственными элементами. Например, множество, объединяющее все множества, представляет собой множество и, значит, содержит само себя в качестве элемента.
Рассмотрим теперь множество всех обычных множеств. Поскольку оно множество, о нем тоже можно спрашивать, обычное оно или необычное. Ответ, однако, оказывается обескураживающим. Если оно обычное, то, согласно своему определению, должно содержать само себя в качестве элемента, поскольку содержит все обычные множества. Но это означает, что оно является необычным множеством. Допущение, что наше множество представляет собой обычное множество, приводит, таким образом, к противоречию. Значит, оно не может быть обычным. С другой стороны, оно не может быть также необычным: необычное множество содержит само себя в качестве элемента, а элементами нашего множества являются только обычные множества. В итоге приходим к заключению, что множество всех обычных множеств не может быть ни обычным, ни необычным множеством.
Итак, множество всех множеств, не являющихся собственными элементами, есть свой элемент в том и только том случае, когда оно не является таким элементом. Это явное противоречие. И получено оно на основе самых правдоподобных предположений и с помощью бесспорных как будто шагов.
Противоречие говорит о том, что такого множества просто не существует. Но почему оно не может существовать? Ведь оно состоит из объектов, удовлетворяющих четко определенному условию, причем само условие не кажется каким-то исключительным или неясным. Если столь просто и ясно заданное множество не может существовать, то в чем, собственно, заключается различие между возможными и невозможными множествами? Вывод о несуществовании рассматриваемого множества звучит неожиданно и внушает беспокойство. Он делает наше общее понятие множества аморфным и хаотичным, и нет гарантии, что оно не способно породить какие-то новые парадоксы.
Парадокс Рассела замечателен своей крайней общностью. Для его построения не нужны какие-либо сложные технические понятия, как в случае некоторых других парадоксов, достаточно понятий «множество» и «элемент множества». Но эта простота как раз и говорит о его фундаментальности: он затрагивает самые глубокие основания наших рассуждений о множествах, поскольку говорит не о каких-то специальных случаях, а о множествах вообще.
Парадокс Рассела не имеет специфически математического характера. В нем используется понятие множества, но не затрагиваются какие-то особые, связанные именно с математикой его свойства.
Это становится очевидным, если переформулировать парадокс в чисто логических терминах.
О каждом свойстве можно, по всей вероятности, спрашивать, приложимо оно к самому себе или нет.
Свойство быть горячим, например, неприложимо к самому себе, поскольку само не является горячим; свойство быть конкретным тоже не относится к самому себе, ибо это абстрактное свойство. Но вот свойство быть абстрактным, являясь абстрактным, приложимо к самому себе. Назовем эти неприменимые к самим себе свойства неприложимыми. Применимо ли свойство быть неприложимым к самому себе? Оказывается, неприложимость является неприложимой только в том случае, если она не является таковой. Это, конечно, парадоксально.
Логическая, касающаяся свойств разновидность антиномии Рассела, столь же парадоксальна, как и математическая, относящаяся к множествам, ее разновидность.
Рассел предложил также следующий популярный вариант открытого им парадокса.
Представим, что совет одной деревни так определил обязанности парикмахера: брить всех мужчин деревни, которые не бреются сами, и только этих мужчин. Должен ли он брить самого себя? Если да, то он будет относиться к тем, кто бреется сам, а тех, кто бреется сам, он не должен брить. Если нет, он будет принадлежать к тем, кто не бреется сам, и, значит, он должен будет брить себя. Мы приходим, таким образом, к заключению, что этот парикмахер бреет себя в том и только том случае, когда он не бреет себя. Это, разумеется, невозможно.
Рассуждение о парикмахере опирается на допущение, что такой парикмахер существует. Полученное противоречие означает, что это допущение ложно, и нет такого жителя деревни, который брил бы всех тех и только тех ее жителей, которые не бреются сами.
Обязанности парикмахера не кажутся на первый взгляд противоречивыми, поэтому вывод, что его не может быть, звучит несколько неожиданно. Но этот вывод не является все-таки парадоксальным. Условие, которому должен удовлетворять деревенский брадобрей, на самом деле внутренне противоречиво и, следовательно, невыполнимо. Подобного парикмахера не может быть в деревне по той же причине, по какой в ней нет человека, который был бы старше самого себя или который родился бы до своего рождения.
Рассуждение о парикмахере может быть названо псевдопарадоксом. По своему ходу оно строго аналогично парадоксу Рассела и этим интересно. Но оно все-таки не является подлинным парадоксом.
Другой пример такого же псевдопарадокса представляет собой известное рассуждение о каталоге.
Некая библиотека решила составить библиографический каталог, в который входили бы все те и только те библиографические каталоги, которые не содержат ссылки на самих себя. Должен ли такой каталог включать ссылку на себя?
Нетрудно показать, что идея создания такого каталога неосуществима; он просто не может существовать, поскольку должен одновременно и включать ссылку на себя и не включать.
Интересно отметить, что составление каталога всех каталогов, не содержащих ссылки на самих себя, можно представить как бесконечный, никогда не завершающийся процесс. Допустим, что в какой-то момент был составлен каталог, скажем К1, включающий, все отличные от него каталоги, не содержащие ссылки на себя. С созданием К1 появился еще один каталог, не содержащий ссылки на себя. Так как задача заключается в том, чтобы составить полный каталог всех каталогов, не упоминающих себя, то очевидно, что К1 не является ее решением. Он не упоминает один из таких каталогов – самого себя. Включив в К1 это упоминание о нем самом, получим каталог К2. В нем упоминается К1, но не сам К2. Добавив к К2 такое упоминание, получим КЗ, который опять-таки не полон из-за того, что не упоминает самого себя. И далее без конца.
3. Парадоксы Греллинга и Берри
Интересный логический парадокс был открыт немецкими логиками К. Греллингом и Л. Нельсоном (парадокс Греллинга). Этот парадокс можно сформулировать очень просто.
Читать бесплатно другие книги:
