Недостатки стандартного истолкования софизмов
Таково стандартное истолкование софизмов, подкупающее своей простотой. За ним стоит многовековая традиция. Однако, несмотря на кажущуюся очевидность, слишком многое оно оставляет недосказанным и неясным.
Прежде всего РѕРЅРѕ совершенно отвлекается РѕС‚ тех исторических обстоятельств, РІ которых рождались софизмы Рё РІ которых протекала РёС… последующая, нередко богатая событиями жизнь. Рсследование софизмов, вырванных РёР· среды РёС… обитания, РїРѕРґРѕР±РЅРѕ попытке составить полное представление Рѕ растениях, пользуясь РїСЂРё этом только гербариями.
Софизмы существуют и обсуждаются более двух тысячелетий, причем острота их обсуждения не снижается с годами. Если софизмы – всего лишь хитрости и словесные уловки, выведенные на чистую воду еще Аристотелем, то долгая их история и устойчивый интерес к ним непонятны.
Рмеются, конечно, случаи, Рё, возможно, нередкие, РєРѕРіРґР° ошибки РІ рассуждении используются СЃ намерением ввести РєРѕРіРѕ-то РІ заблуждение. РќРѕ это СЏРІРЅРѕ РЅРµ относится Рє большинству древних софизмов.
РљРѕРіРґР° были сформулированы первые софизмы, Рѕ правилах логики РЅРµ было известно. Говорить РІ этой ситуации РѕР± умышленном нарушении законов Рё правил логики можно только СЃ натяжкой. РўСѓС‚ что-то, РґСЂСѓРіРѕРµ. Ведь несерьезно предполагать, что СЃ помощью софизма В«Рогатый» можно убедить человека, что РѕРЅ рогат. Сомнительно также, что СЃ помощью софизма «Лысый» кто-то надеялся уверить окружающих, что лысых людей нет. Невероятно, что софистическое рассуждение СЃРїРѕСЃРѕР±РЅРѕ заставить РєРѕРіРѕ-то поверить, что его отец – пес. Речь здесь, очевидно, идет РЅРµ Рѕ «рогатых», «лысых» Рё С‚.Рї., Р° Рѕ чем-то совершенно РёРЅРѕРј Рё более значительном. Ркак раз, чтобы подчеркнуть это обстоятельство, софизм формулируется так, что его заключение является заведомо ложным, РїСЂСЏРјРѕ Рё резко противоречащим фактам.
Возникновение софизмов обычно связывается СЃ философией софистов (Древняя Греция, V-IV РІРІ. РґРѕ РЅРѕРІРѕР№ СЌСЂС‹), которая РёС… обосновывала Рё оправдывала. Однако софизмы существовали задолго РґРѕ философов-софистов, Р° наиболее известные Рё интересные были сформулированы позднее РІ сложившихся РїРѕРґ влиянием Сократа философских школах. Термин «софизм» впервые ввел Аристотель, охарактеризовавший софистику как РјРЅРёРјСѓСЋ, Р° РЅРµ действительную мудрость. Рљ софизмам РёРј были отнесены Рё апории Зенона, направленные против движения Рё множественности вещей, Рё рассуждения собственно софистов, Рё РІСЃРµ те софизмы, которые открывались РІ РґСЂСѓРіРёС… философских школах. Рто РіРѕРІРѕСЂРёС‚ Рѕ том, что софизмы РЅРµ были изобретением РѕРґРЅРёС… софистов, Р° являлись скорее чем-то обычным для РјРЅРѕРіРёС… школ античной философии.
Характерно, что для широкой публики софистами были также Сократ, Платон и сам Аристотель. Не случайно Аристофан в комедии «Облака» представил Сократа типичным софистом. В ряде диалогов Платона человеком, старающимся запутать своего противника тонкими вопросами, выглядит иногда в большей мере Сократ, чем Протагор.
Широкую распространенность софизмов в Древней Греции можно понять, только предположив, что они как-то выражали дух своего времени и являлись одной из особенностей античного стиля мышления.
Отношения между софизмами и парадоксами – еще одна тема, не получающая своего развития в рамках обычного истолкования софизмов.
В отличие от софизмов парадоксы трактуются со всей серьезностью: наличие в теории парадокса говорит о явном несовершенстве допущений, лежащих в ее основе.
Однако очевидно, что грань между софизмами и парадоксами не является сколь-нибудь определенной. В случае многих конкретных рассуждений невозможно решить на основе стандартных определений софизма и парадокса, к какому из этих двух классов следует отнести данные рассуждения.
Отделение софизмов от парадоксов является настолько неопределенным, что о целом ряде конкретных рассуждений нередко прямо говорится как о софизмах, не являющихся пока парадоксами или не относимых еще к парадоксам. Так обстоит дело, в частности, с рассматриваемыми далее софизмами «Медимн зерна», «Покрытый», «Протагор и Еватл» и целым рядом других.
Уже из одних общих соображений ясно, что с софизмами дело обстоит далеко не так просто, как это принято обычно представлять. Стандартное их истолкование сложилось, конечно, не случайно. Но оно очевидным образом не исчерпывает всего существа дела. Необходим специальный, и притом конкретно-исторический анализ, который только и способен показать узость и ограниченность этого истолкования. Одновременно он должен выявить роль софизмов как в развитии теоретического мышления, так и, в частности, в развитии формальной логики.
2. Апории Зенона
Обратимся теперь к конкретным софизмам и тем проблемам, которые стоят за ними.
Знаменитые рассуждения древнегреческого философа Зенона «Ахиллес и черепаха», «Дихотомия» и др., называемые обычно апориями (затруднениями), были направлены будто бы против движения и существования многих вещей. Сама идея доказать, что мир – это одна-единственная и к тому же неподвижная вещь, нам сегодня кажется странной. Странной она казалась и древним. Настолько странной, что доказательства, приводившиеся Зеноном, сразу же были отнесены к простым уловкам, причем лишенным в общем-то особой хитрости. Такими они и считались две с лишним тысячи лет, а иногда считаются и теперь. Посмотрим, как они формулируются, и обратим внимание на их внешнюю простоту и незамысловатость.
«Ахиллес и черепаха», «Дихотомия»
Самое быстрое существо не способно догнать самое медленное, быстроногий Ахиллес никогда не настигнет медлительную черепаху. Пока Ахиллес добежит до черепахи, она продвинется немного вперед. Он быстро преодолеет и это расстояние, но черепаха уйдет еще чуточку вперед.
Ртак до бесконечности. Всякий раз, когда Ахиллес будет достигать места, где была перед этим черепаха, она будет оказываться хотя бы немного, но впереди.
В «Дихотомии» обращается внимание на то, что движущийся предмет должен дойти до половины своего пути прежде, чем он достигнет его конца. Затем он должен пройти половину оставшейся половины, затем половину этой четвертой части и т.д. до бесконечности. Предмет будет постоянно приближаться к конечной точке, но так никогда ее не достигнет.
Рто рассуждение можно несколько переиначить. Чтобы пройти половину пути, предмет должен пройти половину этой половины, Р° для этого нужно пройти половину этой четверти Рё С‚.Рґ. Предмет РІ итоге так Рё РЅРµ сдвинется СЃ места.
Ртим простеньким РЅР° РІРёРґ рассуждениям посвящены сотни философских Рё научных работ. Р’ РЅРёС… десятками разных СЃРїРѕСЃРѕР±РѕРІ доказывается, что допущение возможности движения РЅРµ ведет Рє абсурду, что наука геометрия СЃРІРѕР±РѕРґРЅР° РѕС‚ парадоксов Рё что математика СЃРїРѕСЃРѕР±РЅР° описать движение без противоречия.
Обилие опровержений доводов Зенона показательно. Не вполне ясно, в чем именно состоят эти доводы, что они доказывают. Не ясно, как это «что-то» доказывается и есть ли здесь вообще доказательство? Чувствуется только, что какие-то проблемы или затруднения все-таки есть. Рпрежде чем опровергать Зенона, нужно выяснить, что именно он намеревался сказать и как он обосновывал свои тезисы. Сам он не формулировал прямо ни проблем, ни своих решений этих проблем. Есть, в частности, только коротенький рассказ, как Ахиллес безуспешно пытается догнать черепаху.
Рзвлекаемая РёР· этого описания мораль зависит, естественно, РѕС‚ того более широкого фона, РЅР° котором РѕРЅРѕ рассматривается Рё меняется СЃ изменением этого фона.
Рассуждения Зенона сейчас, надо думать, окончательно выведены РёР· разряда хитроумных уловок. РћРЅРё, РїРѕ словам Р‘.Рассела, «в той или РёРЅРѕР№ форме затрагивают основания почти всех теорий пространства, времени Рё бесконечности, предлагавшихся СЃ его времени РґРѕ наших дней».
Общность этих рассуждений СЃ РґСЂСѓРіРёРјРё софизмами древних несомненна. Рте Рё РґСЂСѓРіРёРµ имеют форму краткого рассказа или описания простой РІ своей РѕСЃРЅРѕРІРµ ситуации, Р·Р° которой РЅРµ стоит как будто никаких особых проблем. Однако описание преподносит явление так, что РѕРЅРѕ оказывается СЏРІРЅРѕ несовместимым СЃ устоявшимися представлениями Рѕ нем. Между этими обычными представлениями Рѕ явлении Рё описанием его РІ апории или софизме возникает резкое расхождение, даже противоречие. Как только РѕРЅРѕ замечается, рассказ теряет видимость простой Рё безобидной констатации. Р—Р° РЅРёРј открывается неожиданная Рё неясная глубина, РІ которой смутно угадывается какой-то РІРѕРїСЂРѕСЃ или даже РјРЅРѕРіРёРµ РІРѕРїСЂРѕСЃС‹. РўСЂСѓРґРЅРѕ сказать СЃ определенностью, РІ чем именно состоят эти РІРѕРїСЂРѕСЃС‹, РёС… еще предстоит уяснить Рё сформулировать, РЅРѕ очевидно, что РѕРЅРё есть. РС… надо извлечь РёР· рассказа РїРѕРґРѕР±РЅРѕ тому, как извлекается мораль РёР· житейской притчи. Ркак РІ случае притчи, результаты размышления над рассказом важным образом зависят РЅРµ только РѕС‚ него самого, РЅРѕ Рё РѕС‚ того контекста, РІ котором этот рассказ рассматривается. Р’ силу этого РІРѕРїСЂРѕСЃС‹ оказываются РЅРµ столько поставленными, сколько навеянными рассказом. РћРЅРё меняются РѕС‚ человека Рє человеку Рё РѕС‚ времени Рє времени. Рнет полной уверенности РІ том, что очередная пара «вопрос – ответ» исчерпала РІСЃРµ содержание рассказа.
Апория «Медимн зерна»
Зенон предложил еще один софизм – «Медимн зерна» (примерно мешок зерна), послуживший прототипом для знаменитых софизмов Евбулида «Куча» и «Лысый».
Большая масса мелких, просяных, например, зерен при падении на землю всегда производит шум. Он складывается из шума отдельных зерен, и, значит, каждое зерно и каждая малейшая часть зерна должны, падая, производить шум. Однако отдельное зерно падает на землю совершенно бесшумно. Значит, и падающий на землю медимн зерна не должен был бы производить шум, ведь он состоит из множества зерен, каждое из которых падает бесшумно. Но все-таки медимн зерна падает с шумом!
Р’ прошлом веке начала складываться экспериментальная психология. «Медимн зерна» стал истолковываться как первое неясное указание РЅР° существование только что открытых РїРѕСЂРѕРіРѕРІ восприятия. Рто истолкование РјРЅРѕРіРёРј кажется убедительным Рё сегодня.
Человек слышит не все звуки, а только достигающие определенной силы. Падение отдельного зерна производит шум, но он настолько слаб, что лежит за пределами человеческого слуха. Падение же многих зерен дает шум, улавливаемый человеком. «Если бы Зенон был знаком с теорией звука, – писал тогда немецкий философ Т.Брентано, – он не измыслил бы, конечно, своего аргумента».
При таком объяснении совершенно не замечалось одно простое, но меняющее все дело обстоятельство: софизм «Медимн зерна» строго аналогичен софизмам «Куча» и «Лысый». Но последние не имеют никакого отношения ни к теории звука, ни к психологии слуха.
Значит, для них нужны какие-то другие и притом разные объяснения. А это уже кажется явно непоследовательным: однотипные софизмы должны решаться одинаково. Кроме того, раз уловлен принцип построения подобных софизмов, их можно формулировать сколько заблагорассудится. Было бы наивно, однако, для каждого из них искать какое-то свое решение.
Ясно, что ссылки на психологию восприятия не отражают существа того затруднения, которое обыгрывается рассматриваемыми софизмами.
Гораздо более глубоким является их анализ, данный Гегелем. Вопросы: «Создает ли прибавление одного зерна кучу?», «Становится ли хвост лошади голым, если вырвать из него один волос?» – кажутся наивными. Но в них находит свое выражение попытка древних греков представить наглядно противоречивость всякого изменения.
Постепенное, незаметное, чисто количественное изменение какого-то объекта не может продолжаться бесконечно. В определенный момент оно достигает своего предела, происходит резкое качественное изменение, и объект переходит в другое качество. Например, при температуре от 0° до 100°С вода представляет собой жидкость. Постепенное нагревание ее заканчивается тем, что при 100°С она закипает и резко, скачком, переходит в другое качественное состояние – превращается в пар. «Когда происходит количественное изменение, – писал Гегель, – оно кажется сначала совершенно невинным, но за этим изменением скрывается еще и нечто другое, и это кажущееся невинным изменение количественного представляет собой как бы хитрость, посредством которой улавливается качественное».
Софизмы типа «Медимн зерна», «Куча», «Лысый» являются также наглядным примером тех трудностей, к которым ведет употребление неточных или «размытых» понятий. Но об этом будет говорится в следующей главе.
«Неопредмеченное знание»
Софизмы В«Рлектра» Рё «Покрытый» РґРѕ СЃРёС… РїРѕСЂ приводятся РІ качестве характерных образцов РјРЅРёРјРѕР№ мудрости.
Р’ РѕРґРЅРѕР№ РёР· трагедий Еврипида есть сцена, РІ которой Рлектра Рё Орест, брат Рё сестра, встречаются после очень долгой разлуки. Знает ли Рлектра своего брата? Да, РѕРЅР° знает Ореста. РќРѕ РІРѕС‚ РѕРЅ стоит перед нею, непохожий РЅР° того, которого РѕРЅР° видела последний раз, Рё РѕРЅР° РЅРµ знает, что этот человек – Орест. Значит, РѕРЅР° знает то, что РѕРЅР° РЅРµ знает?
Близкой вариацией РЅР° эту же тему является «Покрытый». РЇ знаю, скажем, РЎРёРґРѕСЂРѕРІР°, РЅРѕ РЅРµ знаю, что СЂСЏРґРѕРј СЃРѕ РјРЅРѕР№, чем-то накрывшись, стоит именно РѕРЅ. Меня спрашивают: «Знаете ли РІС‹ РЎРёРґРѕСЂРѕРІР°?В» РњРѕР№ убедительный ответ будет Рё верным Рё неверным, так как СЏ РЅРµ знаю, что Р·Р° человек СЂСЏРґРѕРј СЃРѕ РјРЅРѕР№. Если Р±С‹ РѕРЅ открылся, СЏ РјРѕРі Р±С‹ сказать, что всего лишь РЅРµ узнал его. РРЅРѕРіРґР° этому софизму придают форму, РІ которой, как кажется, его пустота Рё беспомощность становятся особенно наглядными.
– Знаете ли вы, о чем я сейчас хочу вас спросить?
– Нет.
– Неужели вы не знаете, что лгать – нехорошо?
– Конечно, знаю.
– Но именно об этом я и собирался вас спросить, а вы ответили, что не знаете.
Дело, однако, не в форме изложения, сколь бы пустой она ни казалась. Дело в том, что такие ситуации «незнающего» знания обычны в познании, и притом не только в абстрактной, увлекшейся теоретизированием науке, но и в самых элементарных актах познания. Читателю такая мысль может показаться, пожалуй, странной. Но не стоит торопиться с возражениями, в дальнейшем простые примеры наглядно покажут, что это действительно так.
Аристотель пытался разрешать подобные софизмы, ссылаясь на двусмысленность глагола «знать». Действительно, момент двусмысленности здесь есть. Можно знать, что ложь предосудительна, и не знать, что именно об этом вас хотят спросить.
Но ограничиться здесь простой ссылкой на двусмысленность – значит не понять глубины самой двусмысленности и упустить самое важное и интересное.
РњРѕРіСѓС‚ ли считаться истинными знания Рѕ предмете, если РёС… РЅРµ удается поставить РІ соответствие СЃ самим предметом? Рта проблема непосредственно стоит Р·Р° рассматриваемыми софизмами. РћРЅРё фиксируют живое противоречие между наличием знания Рѕ предмете Рё опознанием этого предмета. Рћ том, насколько важным является такое противоречие, РіРѕРІРѕСЂРёС‚ РІСЃСЏ история теоретической науки Рё РІ особенности развитие современной, обычно высокоабстрактной науки.
Рстина является бесконечным приближением Рє своему объекту. Отождествляя наши знания Рѕ некотором предмете СЃ конкретным предметом, РјС‹ тем самым изменяем Рё углубляем РёС…. Очевидно, что конкретное применение знаний требует узнавания предмета, Рё неудивительно, что узнавание является важной составляющей познавательной деятельности.
Всегда имеется расхождение между сложившимися представлениями об исследуемом фрагменте действительности и самим этим фрагментом. В случае научной теории это расхождение или рассогласование между теоретическими представлениями об изучаемых объектах и самими эмпирическими данными в опыте объектами. Такое расхождение особенно велико на начальных этапах исследования, когда целому ряду теоретических выводов еще не удается поставить в соответствие никаких эмпирических данных.
Хорошим примером здесь может служить предсказание выдающимся русским химиком Д.Менделеевым существования новых химических элементов. Поскольку эмпирически они не были еще открыты и существовали только в «теоретическом пространстве», которое само еще не устоялось и не имело отчетливых очертаний, Д.Менделеев несколько лет не решался обнародовать свое предсказание.
Характерным примером, относящимся уже к современной физике, является предсказание в начале 30-х годов английским физиком П.Дираком существования элементарной частицы нейтрино. Физики сразу же согласились, что введение этой «высокотеоретической» частицы было полезным и, возможно, даже необходимым с точки зрения теории. Но только спустя примерно два десятилетия непосредственные следы нейтрино удалось обнаружить в сцинтилляционных камерах. Теория давала определенное знание об этой частице, но понадобился сравнительно, большой промежуток времени, пока оно было наконец дополнено опознанием самой частицы. Чисто теоретическое до той поры знание было с этого момента связано с эмпирическими явлениями и тем самым «опредмечено».
Несовпадение теоретического вывода и эмпирического результата всегда означает существование «неопредмеченного» знания или знания о «неопознанных» объектах, которое было образно названо «незнающим» знанием. Софизмы, подобные «Покрытому», как раз и обращают внимание на возможность и в общем-то обычность такого знания.
Они ставят также вопрос о том, что является критерием истинности теоретических утверждений, объекты которых еще не обнаружены в действительности или вообще не существуют реально, подобно абсолютно черному телу или идеальному газу.
Рстинной является мысль, соответствующая описываемому ею объекту. РќРѕ если этот объект неизвестен, СЃ чем тогда должна сопоставляться мысль для суждения Рѕ ее истинности? Ответ РЅР° этот РІРѕРїСЂРѕСЃ сложен Рё вызывает немало СЃРїРѕСЂРѕРІ РІ современной методологии науки.
Рта Рё РґСЂСѓРіРёРµ проблемы РјРѕРіСѓС‚ быть вычитаны РёР· обсуждаемых софизмов только РїСЂРё достаточно высоком СѓСЂРѕРІРЅРµ научного знания Рё знания Рѕ самом этом знании. РќРѕ эти проблемы, пусть РІ самой «зародышевой» Рё иносказательной форме, РІСЃРµ-таки поднимались данными софизмами.
Что касается двусмысленности слова «знать», как Рё двусмысленности вообще, то нужно заметить, что РѕРЅР° далеко РЅРµ всегда является досадной ошибкой отдельного, недостаточно последовательного СѓРјР°. Двусмысленность может носить РЅРµ только субъективный характер, являясь выражением некоторой логической нетренированности. Расхождение теоретического Рё эмпирического – постоянный Рё вполне объективный источник неопределенности Рё двусмысленности.